导航

2018年6月25日

第四次博客作业

摘要： 测试与正确性论证 我认为第十三次作业的测试是基于规格通过测试用例对实现方法正确性的检查。与平时测试时直接用数据输入输出判断不同，本次测试针对每一个具体方法的实现，使用junit，能够快速地定位到自己的bug。但是一旦代码规模增大，测试很难做到覆盖性的检查。 正确性论证可以做到全面的覆盖，我在论证过程 阅读全文

posted @ 2018-06-25 13:21 VioletQ 阅读(188) 评论(0) 推荐(2) 编辑

2018年5月28日

第三次博客作业

摘要： 规格化设计的大致发展历史及重要性 自20世纪60年代末以来，许多学者开展了形式化技术的相关研究。形式化技术最早是从戴克斯特拉和霍尔（C.Hoare）在程序验证方面的工作和斯科特（D.S.Scott）以及其他学者在程序语义方面的工作发展起来的。现在，形式化技术已经成为计算机科学的一个重要分支和研究领域 阅读全文

posted @ 2018-05-28 16:33 VioletQ 阅读(135) 评论(0) 推荐(2) 编辑

2018年5月2日

第二次博客作业

摘要： OO作业总结二 第五次作业 多线程电梯 · 设计策略 本次作业设计了管理请求的类，楼层类，电梯类和调度器类。其中每一个电梯一个线程，负责包括捎带功能在内的运行；管理请求为一个线程，负责将输入的请求存入总请求队列；调度器类为一个线程，负责将主请求队列里的请求按分配规则分配给电梯。这几个线程之间的关系是 阅读全文

posted @ 2018-05-02 13:34 VioletQ 阅读(210) 评论(0) 推荐(1) 编辑

2018年4月2日

第一次博客作业

摘要： 前三次OO作业总结 阅读全文

posted @ 2018-04-02 20:06 VioletQ 阅读(241) 评论(0) 推荐(2) 编辑