测试与正确性论证 效果差异 测试是通过构造可能的数据集输入然后对程序的运行结果进行比较,而正确性论证是通过对代码的逻辑分析来判断是否存在异常。 优缺点 测试 优点: 自由度高 能通过测试很好的定位bug 结果客观 操作相对简单 缺点: 难以对应所有的情况,数据集的构造代价很大 测试难以保证整个程序的 Read More
posted @ 2018-06-24 18:50 rasalghul Views(150) Comments(0) Diggs(0)