摘要：
一、 论述测试与正确性论证的效果差异，比较其优缺点 测试是面对程序，构造样例进行验证，让程序运行，观察程序的运行结果和预期结果比较，来判断在这种情况下程序的正确性。有点像形式验证。 优点：相对容易，比较直观 缺点：不能保证绝对正确 正确性是根据规格推断程序的逻辑，检测是否完成任务。类似于逻辑验证。是 阅读全文
摘要：
一、 调研 软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究，即J.Backus提出BNF描述Algol60语言的语法，出现了各种语法分析程序自动生成器以及语法制导的编译方法，使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。形式化方法的研究高潮始于 阅读全文
摘要：
一、 分析和总结自己三次作业来的设计策略及其变化 a) 第一次作业 比较幸运第一次接触多线程的时候就可以遇到最后的方案，这次作业我运用的是synchronized+notified的策略，通过电梯线程和scheduler线程互相唤起来实现多线程的运行，而在线程不进行计算的时候就让现场wait。这样将 阅读全文
摘要：
自2018新学期始，我们开始直面面向对象设计与构造这门课。经过3周紧张刺激的写代码测代码，终于进入收获的暂停总结期。本次总结针对第一到三次作业，希望能通过总结发现不足，提升自我。 阅读全文