摘要：
1、比较测试和正确性论证 经过这几次的作业，我认为测试是一种能够有针对性地、很快发现程序存在的一些基本问题的检验方式，它的效果主要取决于构造的测试用例是否充分、全面且典型。尤其是一些边界情况的测试很快就能暴露一般情况下看不出来的bug。测试是从使用者的角度出发的，而相较而言，正确性论证更侧重于系统的 阅读全文
摘要：
一、规格化设计发展历史和优势 在1940年以前，人们采用直接编写二进制的方式产生机器能够识别的指令和数据。这种原始的编程方式操作难度大、出错率高，于是诞生了面向过程式的高级编程语言。由此编程开始脱离机器，而更多关注软件本身。 60年代之后，人类经历了两次软件危机。第一次危机之后，结构化的程序设计逐渐 阅读全文
摘要：
第五次作业：多电梯调度 这是我第一次接触多线程编程，因为写之前一次电梯捎带处理的作业时用循环模拟了一个时间系统，这一次直接使用真实时间代替模拟时间，所有处理的流程都只需要按照自然发生的顺序，反而简化了我很多逻辑。但是从多线程的角度，我很多基本的概念还是存在理解问题。 这次作业我构造了请求输入处理、调 阅读全文
摘要：
开学以来oo的三次作业每次都让我有新的体验，学到了很多东西，也发现了很多问题。 第一次作业：初试java、正则匹配、try-catch。 和多数同学一样，多项式相加这一次作业是我第一次接触java语言，也是第一次接触面向对象。我可以说完全没有切换到面向对象的思维模式，只是把c语言里的struct换了 阅读全文