摘要： 测试与正确性论证的效果差异 首先是关于测试，对于第十三次作业中所使用的对于方法的测试主要是依赖规格对方法的正确性进行测试，可以很快速的检查自己程序中的bug，但如果一个方法的规模比较大，代码行数比较多，里面的判断条件很多的话，很容易自己也无法掌握程序，难以验证。 而在第十四次作业的正确性论证可以对所 阅读全文

摘要： 一、规格化设计的发展历史和规格化设计得到重视的原因 随着计算机技术的发展，与之相应，程序的代码也不断的变得复杂，程序不易测试，代码复杂引起很多问题，在这个过程中，人们逐渐发现了规格的重要性，便产生了结构化程序设计方法，将软件的复杂度降低，降低开发难度。 而随着硬件的再次发展，程序复杂度进一步提升，结 阅读全文

摘要： 在第二阶段的OO作业中，我们的面向对象涉及到了新的知识--多线程，这几次的作业相较于前几次的作业来说，难度上有了一定的提升，代码长度上来说，也有了一定的增长，知识层面上，也有了一定的扩展。通过这几次的作业，仍然感到自己对于程序的设计仍有很多考虑不到的地方，还需继续努力。 第五次作业 第五次的作业我没 阅读全文

摘要： 第一次作业总结 分析程序结构 第一次的作业，简单来说，是写一个能够计算多项式相加减的程序，由于没有学习过java没有接触过面向对象类的编程思想，因此在第一次的作业中我选择的是面向过程的Java程序，就不贴图了。 分析与评价：由于本次的程序并未采用面向对象式的程序设计方法，因此这个程序很明显是一个失败 阅读全文