代码改变世界

随笔档案-2018年06月

OO第四次博客

2018-06-25 18:11 by 小削, 249 阅读, 收藏,
摘要： 一、测试与正确性论证的效果差异 从效果上来说,测试的直接结果在于了解了一个程序的测试集,可以知道哪些样例程序能过,哪些不能,从而明白程序哪些功能是正确的,哪些功能还存在不完备或未成功实现的情况。正确性论证的结果则是从规格出发,获得了一篇论证文档,论证的基本单位是类,分别论证了对象的有效实现、对象有效 阅读全文