摘要：
测试与正确性论证 我认为第十三次作业的测试是基于规格通过测试用例对实现方法正确性的检查。与平时测试时直接用数据输入输出判断不同，本次测试针对每一个具体方法的实现，使用junit，能够快速地定位到自己的bug。但是一旦代码规模增大，测试很难做到覆盖性的检查。 正确性论证可以做到全面的覆盖，我在论证过程 阅读全文
posted @ 2018-06-25 13:21 VioletQ 阅读(189) 评论(0) 推荐(2) 编辑
摘要：
规格化设计的大致发展历史及重要性 自20世纪60年代末以来，许多学者开展了形式化技术的相关研究。形式化技术最早是从戴克斯特拉和霍尔（C.Hoare）在程序验证方面的工作和斯科特（D.S.Scott）以及其他学者在程序语义方面的工作发展起来的。现在，形式化技术已经成为计算机科学的一个重要分支和研究领域 阅读全文
posted @ 2018-05-28 16:33 VioletQ 阅读(138) 评论(0) 推荐(2) 编辑