摘要： 测试与正确性论证差异对比 测试指为检测目标是否符合标准而采用特殊工具和方法进行验证。测试的优点在于你可以不用知道程序是如何实现的，直接输入测试样例，然后比较程序运行结果和正确结果，如果两者不同，就说明程序肯定有BUG。从中我们知道测试是快速方便的，它可以检测并定位一个程序的BUG。但是测试的效果很大 阅读全文

摘要： 规格化设计的发展历史和重要性： 规格化设计与结构化、模块化设计密不可分。从计算机开始发展以来，随着代码量的不断增加，程序功能的不断复杂化，简单的面向过程编程不再能够满足人们的需要，因此，出现了结构化程序设计。 在之后程序设计思想的不断发展过程中，规格越来越显得重要。Dijkstra 于 1968 发 阅读全文

摘要： 第五次作业： 设计策略：本次作业一共构造了5个线程，包括3台电梯，1个调度器和1个请求模拟器。请求模拟器从输入中解析请求，并加入到队列中，调度器从队列中获取请求，根据调度策略将请求加入到电梯的队列中，电梯从自己的队列中取出请求并运行。由于队列是线程共享的资源，所以队列的所有方法都加了synchron 阅读全文

摘要： 第一次作业： 度量分析程序结构：一共有3个类，分别是Poly、ComputePoly和Stringcheck。其中Poly是单项式类，有2个属性（指数和系数）和7个方法 ，方法包括单项式加减法、初始化等，该类代码共约80行。ComputePoly是计算类，有3个属性，分别是多项式（Poly数组）、运 阅读全文