摘要: 论述测试与正确性论证的效果差异,比较其优缺点 程序的正确性论证通过需求规格,论证所写的程序程序是否符合规格的过程。 缺点是不如代码和测试数据直观,且工作量巨大。好处是对代码整体进行了具体的剖析,可以在一定程度上保证程序的正确性。 测试是指通过输入特定数据,检查程序运行结果是否和预期相同。 缺点是只能 阅读全文
posted @ 2018-06-25 19:41 clatisus 阅读(204) 评论(0) 推荐(0) 编辑