2018年6月25日
OO第四阶段总结
摘要： 一、正确性论证和测试的效果差异及优缺点 1.效果差异： 正确性论证包括对对象的有效性和方法的正确性进行论证，论证过程主要从方法的逻辑出发，验证是否满足相应的不变式和方法前置、后置条件。论证过程较为冗长，但从需求角度出发，在满足规格的前提下，可以对后置的所有可能结果进行验证，从一定程度上可以保证程执行 阅读全文
posted @ 2018-06-25 10:12 sbs384 阅读(164) 评论(0) 推荐(0) 编辑