第六章程序对的测试.pptVIP

第六章、程序的测试 程序设计强调的是过程的实现。如何评价一个程序，首要的是看这个程序能否得出正确的结果。在保证正确性的前提下，看它执行程序的计算工作量（时间效率）和所占用的内存（空间效率）。 在联赛的评分测试中，评分者一般采用的是黑箱测试，即不看你的程序编得如何，而是看你的程序是否完成了试题给出的任务。评分者不仅在编程者最有可能失误的环节上设置了测试数据，以考核程序的正确性，而且对编程者可能采用的各种算法也作了效率分析，通过设定时间槛值来判定算法的优劣。由此可见，选手测试程序和优化效率的能力是联赛考核的重要内容。 正确性是考察程序质量永恒的准则，谁也不想设计一个得不出正确结果的程序，这是显而易见的事。然而错误的程序比比皆是，甚至被多数人认为是正确的题解，还在不断地发现小的程序错误。这是因为： (1)正确性是指程序本身具备且仅具备问题所列举的全部功能。至于验证这些功能的背景条件（例如试题描述）是否正确，不是正确性考核的范畴。 (2)检验程序正确性的基本手段是测试，但测试只能指出程序的错误，而不能证明程序完全没有错误。因为要想把一个不太复杂的程序所有可能发生的值验算一遍，即便是频率为每秒千万次的计算机几十年也做不完，然而舍此又无法验证它的完全正确性。 由上可知，测试是检验程序是否具备问题所列举的全部功能的途径。通过测试发