lvba

摘要： 关于测试和正确性论证两种方法的比较，两者各有其优缺点。首先，测试能够较为直观地显示程序是否出错，只要给定相应的输入，确定相应的正确输出，只要程序的实际输出与预定的正确输出不符是即可判定程序错误，操作起来较为方便。但是，它也存在一些缺点，比如，对于中型或者大型的程序，是很难用输入数据穷尽程序所有的运行 阅读全文