摘要: 测试与正确性论证 测试是通过构造一系列测试数据,通过对比程序的实际运行结果和预期输出结果来判断程序是否有bug的一种手段。同时,在测试的时候是默认看不到程序的具体实现的,即进行黑盒测试,例如每次OO作业的互测阶段。测试的具体方法是将输入进行划分,通过构造一个错误分支树,然后每个分支构造一个或多个测试 阅读全文
posted @ 2018-06-25 17:15 ignautics 阅读(254) 评论(0) 推荐(0) 编辑