2018年6月25日

第四次博客作业

摘要： 一、测试与正确性论证 测试与正确性论证是从系统的不同层面对其可靠性进行验证。 正确性论证能够从类的规格以及方法过程规格出发，对代码实现进行逻辑上的证明，更加稳定可靠，正确性论证的难点在于，并不是系统的每个部分都可以很轻易的使用数学语言建模，在很多情况下不易论证。正确性论证在操作上有一定的难度。 测试 阅读全文

posted @ 2018-06-25 18:00 mzny 阅读(159) 评论(0) 推荐(2) 编辑

导航