2018年6月25日
OO最后一次总结
摘要： 测试与正确性论证 Dijkstra说过：“程序测试只能证明程序有错，不能证明程序正确。”所谓程序测试，实际上是测试者特意挑出一批检查数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。正确性证明是论证程序达到预期目的的一般性陈述，该论证不与程序输入的特定值有关，但能够代表穷举性测试 阅读全文
posted @ 2018-06-25 19:19 Autobot 阅读(153) 评论(0) 推荐(0) 编辑