2018年6月25日
OO第四次博客总结
摘要： 一、程序测试是指测试者特意挑出一批输入数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。 正确性证明是论证程序达到预期目的的一般性陈述，而该论证与程序输入数据的特定值无关，能够代表穷举性测试。 而Dijkstra说过“程序测试只能证明程序有错，不能说明程序正确”。除非进行穷举行测 阅读全文
posted @ 2018-06-25 12:49 暖透流年 阅读(147) 评论(0) 推荐(0) 编辑