boge丿

摘要： 一、测试与正确性论证效果差异   说实话，单从结果来看，我认为对于我们的作业还是测试的意义更大一些，因为从一开始到现在主要寻找bug的方式就是测试。先构造样例，再根据结果分析问题。而正确性论证是后来才进行的，建立在已有代码的基础上，所以如果正确性论证出问题大抵还是因为对正确性论证 阅读全文

摘要： 一、规格化设计的历史   最早的程序设计是用机器语言编写的，直接用二进制码来表示，但是这样太过困难，之后就出现了汇编语言，借助符号来表示操作。如此尽管提高了可读性，但本质还是面向机器的，抽象化程度还不够高。   随后出现了面向过程的“高级语言”，但是goto语 阅读全文

摘要： 一、第五次作业相关分析 ___ 1.设计策略 ​ 本次作业是多线程电梯，在我的逻辑中，电梯就遵循着自己的运行法则。所以电梯按照自己的状态不断运行，而在电梯运行的过程中，状态的改变可以根据灯来进行。调度器则负责对请求队列里的请求进行调度。这是大体的思路，此处就会产生很多多线程的冲突问题：队列的线程安全 阅读全文

摘要： 一、程序分析 ___ 1. 第一次作业 以下是第一次作业的OO度量信息 ​ 由于第一次比较简单，所以其他指标相对正常，但是还是出现了isLegalChar方法循环复杂度过高的状况，当然这是由于检查非法字符造成的，所以出现了很多分支，故暂且忽略不计。而且一共只有两个类，类与类之间的协作也很简单，故省略 阅读全文