摘要：
一、测试与正确性论证比较 测试是使用测试样例对程序进行检测而正确性论证则是根据代码的逻辑进行验证。 测试难以完全覆盖，需要大量的样例才能近似达到，而正确性论证则不需要花费那么大的精力，只需要根据代码的逻辑和规格进行一系列验证即可。 二、OCL与JSF OCL语言全名为对象约束语言(Object Co 阅读全文
摘要：
一、规格的历史和重要性 早期的软件开发也没有什么系统的方法可以遵循，软件设计是在某个人的头脑中完成的一个隐藏的过程。而且，除了源代码往往没有软件说明书等文档。 从60年代后，软件开始作为一种产品被广泛使用。这一软件开发的方法基本上仍然沿用早期的个体化软件开发方式，但软件的数量急剧膨胀，软件需求日趋复 阅读全文
摘要：
多线程设计总结 第5次没写，无效作业。 第6次，可读文件对象对应一个线程，目录文件对应一个线程，同时目录下所有文件对应一个线程。 第7次，每个有效请求对应一个线程，当请求派单窗口结束时开始，请求结束时结束。每个出租车对应一个线程，不结束。都取请求的一个独立线程。 度量 第5次没写，无效作业。 第6次 阅读全文
摘要：
第一次写博客，不足之处还望海涵。完成了三次独立的编写java程序的过程，稍有感悟，将其记录再此。 第一次作业 1.Metrics量化分析 好吧，看起来有些复杂，那么肯定是存在些问题的。 2.UML类图 这里并没有附上类图，因为只有一个main函数和一些方法。 3.自己的BUG 作为一个java新手， 阅读全文