2018 年 6月 25 日随笔档案 - MyLife'

2018年6月25日

摘要： 1.测试与论证测试是通过尽可能多而全的构建样例，让程序运行，并且通过观察程序的运行结果与期望对比，得出大概率正确的结果。初步的样例选择简单，随着覆盖比例上升而变得越来越困难，就好像0分考到60和90考到100的感觉。正确性论证是根据代码规格，逐步论证代码的正确性。如果代码的规格正确，同时代码的阅读全文

posted @ 2018-06-25 19:58 MyLife' 阅读(152) 评论(0) 推荐(2) 编辑