oo作业总结(四)

测试与正确性论证 　　测试是通过构造一系列测试数据，通过对比程序的实际运行结果和预期输出结果来判断程序是否有bug的一种手段。同时，在测试的时候是默认看不到程序的具体实现的，即进行黑盒测试，例如每次OO作业的互测阶段。测试的具体方法是将输入进行划分，通过构造一个错误分支树，然后每个分支构造一个或多个测试样例来对程序进行测试。其手段简单，易于实现，通常情况下可以覆盖大多数情况。但也可以看到通过测试的

>>阅读原文<<