摘要：
1. 论述测试与正确性论证的效果差异，比较其优缺点 测试与正确性论证的区别跟那些化学实验性质是一样的。总会现有正确论证，就是按道理按逻辑应该得来的结果。可事实证明这些论证全都需要证明的因为不一定正确，毕竟论证也是人做的，总会有bug（错误）。于是需要再进行测试来证明那些可能漏的test case。并 阅读全文
摘要：
(1) 规格化设计的大致发展历史 Software design description A software design description (a.k.a. software design document or SDD), also Software Design Specificatio 阅读全文
摘要：
1. 从多线程的协同和同步控制方面，分析和总结自己三次作业来的设计策略及其变化。 2. 基于度量来分析自己的程序结构 一下是我两次作业当中写出来的大概类（当然还有很多功能还没写，因为我的程序还未完成）。 File Modification My Taxi 3. 分析自己程序的bug 第六次作业中（便 阅读全文
摘要：
(1) 程序结构分析 首先，因我是留学生，前几周名字不在名单里，我无法登入面向对象课程设计的任何平台，于是完全无法参与前两个作业。而第三次作业是基于第二次作业，只是加上更多功能，自然也没及时完美完成，敬请谅解。我只看了一下关于第二和第三次作业的大概结构思想为同样坐电梯的第四次做好准备。 (2) 分析 阅读全文