摘要：
测试与正确性论证 通过实际的测试样例来测试代码是检查代码正确性最常见的方法。通过实际的运行，可以检验程序的基本功能，还能发现一些只看代码难以发现的问题，运行效率和使用体验也难以仅从代码检验。但是例子是无穷多的，枚举所有实际情况是不现实的，能做的仅是测试到所有类别。 正确性论证从理论层面证明了工程的正 阅读全文
摘要：
一 规格化的历史 二十世纪中期，计算机从军用向民用转化。六十年代，计算机应用范围扩展，需求急剧上升，传统开发方式不能满足质量效率的需求，出现了“软件危机”。 为解决这个问题，1968年NATO会议提出“软件工程”的概念，把软件工程从“艺术”和“个体行为”向“工程”和“群体协同工作”转化。 Dijks 阅读全文
摘要：
这三次作业是我第一次接触多线程，这部分的程序有许多过去不曾考虑过的问题：资源互斥，线程同步，线程通信等。到了第七次作业，再从设计规范的角度审视自己的程序，发现自己有不少习惯要改。（这三个星期让我又回想起了计组p5的日子 作业五 多线程电梯 我本次的设计主要包括电梯类，输入类（请求模拟器类），调度器类 阅读全文
摘要：
第一次作业 第一作业的主要难度在于判断字符串的格式。在写C语言代码时发现，如果输出格式错在哪里内容非常多，导致C语言虽然没有仔细debug，但依然写了好久。java使用正则表达式后可以简化很多，但输出错在哪里要增加的内容更多，所以只是对错误简单地进行分类输出。 正则表达式相关的类由Matcher和P 阅读全文