摘要： OO第四次博客作业 对比测试与正确性论证 这一阶段的两次作业分别通过编写测试代码和书写正确性论证文档检查了ALS电梯程序的正确性。 直接测试的方式曾经是过去自己检查自己代码正确性最常用的方法，因为这种方式最为简单直接，但只限于发现实际结果与预期结果不符的情况。 第13次作业所要求的测试与过去自己所做 阅读全文

摘要： OO第三次博客作业 规格化设计的发展历史 对于要求的规格化设计发展历史，我实在是没有找到对应的资料，但从程序设计方法的发展历史中可以看到规格化设计的身影，所以我就结合程序设计方法的发展历史，来说说规格化设计的发展历史。 由于计算机诞生之初，并没有编译器操作系统这一类东西，也没什么高级语言，那时的程序 阅读全文

摘要： OO第二次博客作业 写在前面 经过了三周多线程作业的的洗礼，日常在猝死边缘试探的我能有幸活到今天，先在此庆祝一下。虽然过程十分痛苦，但这三次多线程编程作业还是让我受益良多。其中有一些矛盾给我留下了深刻的印象，我把这些矛盾总结为以下3点： 1. 多线程的随机性与结果的准确性的矛盾 2. 多线程的并发性 阅读全文

摘要： OO第一次总结 引子   虽然对OO这门课的大名早有耳闻，也做好了心理准备，但经过开学来这四周的磨练，不禁让我怀念起了去年计组的快乐时光(误)。即使是P7这种公认的玄学领域指导书，与目前OO的任何一份指导书相比也难分伯仲；即使是课上测试前一天开强测，也不会让我像这几周的周一周二那 阅读全文

摘要： 写在前面   由于OO课程博客作业的需要分析代码的复杂度并绘制UML图，但是课件上推荐的分析工具(http://metrics.sourceforge.net )经过自己几个小时的折腾还是没有安装成功，于是我最终决定转移阵地，也就是使用IDEA的相关插件。 IDEA安装 &ems 阅读全文