摘要：
一、论述测试与正确性论证的效果差异，比较其优缺点 程序的正确性论证是用户提出需求后，开发人员根据用户需求进行分析，得到需求规格，论证所写的程序程序是否符合规格的过程。因为规格往往是布尔型或自然语言，对程序员来说并不如代码和测试数据直观，且工作量巨大。但相应的，好处是对代码整体进行了具体的剖析，在规格 阅读全文
摘要：
OO的代码作业到这里要告一段落了，以后可以少熬夜多睡觉了，撒花~~~ 一、调研 （1）总结介绍规格化设计的大致发展历史 ->落后的软件生产方式无法满足迅速增长的计算机软件需求，软件的开发与维护出现一系列严重问题。 ->由此提出结构化程序设计，以模块化设计为中心，分而治之，引出了规格化抽象。 ->软件 阅读全文
摘要：
又完成了三次OO作业，这三次有关多线程的作业对我来说可谓是很大（保护头发）的挑战。 一、从多线程的协同和同步控制方面，分析和总结自己三次作业来的设计策略及变化 第五次作业是设计⼀套由 3 部电梯组成的多电梯调度系统，通过采⽤线程机制，在第三次作业所实现程序的基础上完成新的调度系统程序。第三次作业是调 阅读全文