摘要： 一、论述测试与正确性论证的效果差异，比较其优缺点 测试：即设计测试用例（测试数据+预期结果）对程序评测。一般而言，如果想要全方面的对一个程序进行评测，则需要较为完善的测试集做支撑，以便能够覆盖所有的可能情况。显然，这对测试集的设计要求很高，需要在了解程序设计思路以及实现的具体功能的基础上，考虑得很全 阅读全文

摘要： • 规格化设计的历史 1950的第一次分离：主程序和子程序的分离 程序结构模型是树状模型，子程序可先于主程序编写。通过使用库函数来简化编程，实现最初的代码重用。产生基本的软件开发过程：分析—设计—编码—测试，使大型软件系统的开发成为可能 1975—1980的第二次分离：规格说明（Spec）和体（bo 阅读全文

摘要： 又是三次OO作业，晚睡已经成为了习惯。回顾这三次作业的设计完成过程，自从走进Java多线程的世界，从三部电梯到IFTTT再到出租车，每次都是不同的体验，一方面感慨谜一样的多线程，一方面也意识到自己十分浅薄的功底。总得来说，收获很多，再回顾第一阶段的学习，这个阶段更加注重设计层面的学习，同时，也需要了 阅读全文

摘要： （罗马不是一天建成的，我的第一次OO作业是一点点看书百度出来的。。。） 作为没有接触过Java的新手，在听完第一节OO理论课之后，我认为首要是得有思维上的转变，从过去写C的过程式思维转换为面向对象式的思维模式，什么是对象？为什么要引入对象？面向对象的编程思维是怎么样的？以及如何去设计实现？于是，根据 阅读全文