第四次OO总结
摘要：
比较测试和正确性论证的效果 第13次作业是针对ALS电梯进行方法规格的测试，来判断方法运行的结果是否符合预期，是一种直观的验证错误的办法，但是不能确保程序完全正确，不过相比平时用的测试方法，这样效率更高更容易找到错误；而第14次作业的正确性论证其实是从理论上证明逻辑的完备性，从而证明程序的正确性，在 阅读全文
posted @ 2018-06-25 02:13 shewhowasborngood 阅读(133) 评论(0) 推荐(0) 编辑