摘要： 一、 测试与正确性论证的效果差异及优缺点 测试：基于前置条件和后置条件对输入划分并抽样产生测试数据，检查方法执行输出 是否满足后置条件 • 优点：易于实施，工程广为采用 • 缺点：无法确保正确性 论证：针对格式化的规格和代码实现，人工方式对代码逻辑进行分析，确认是否所有 满足前置条件的输入都能产生满 阅读全文

摘要： 一、 规格化设计的发展历史 高级语言的发展经历了从早期语言到结构化程序设计语言，从面向过程到非过程化程序语言的过程。相应地，软件的开发也由最初的个体手工作坊式的封闭式生产，发展为产业化、流水线式的工业化生产。 6 0年代中后期，软件越来越多，规模越来越大，而软件的生产基本上是人自为战，缺乏科学规范的 阅读全文

摘要： 这三次作业分别是多线程电梯、文件监控器、出租车。这三次作业不是一个主题，但这三次作业都是多线程问题，相比之前的单线程难度有了很大的提升。 第五次作业 第五次作业是电梯主题的最后一个作业，也是多线程问题的第一个作业。这次的作业对于我是难上加难，因为我电梯的前两次作业都是写的面向过程的代码，所以这一次如 阅读全文

摘要： 作业一 多项式运算 作为一个之前从未接触过java的小白，虽然已经做好了这学期OO很艰难的心理准备，但还是觉得这门课程的难度超出了我的预期。第一周买了一本教程，然后在网上找了一些视频。用了一周的时间自学java，但只是学习了一些基础的语法，并没有学习类和对象的概念以及java面向对象的思想。 第一周 阅读全文