摘要：
一、测试与正确性论证 测试 测试：基于前置条件和后置条件对输入划分并抽样产生测试数据，检查方法执行输出是否满足后置条件。 优点：易于实施，工程广为采用，需要的时间更短 缺点：无法确保正确性，很难测试全面 正确性论证 论证：针对格式化的规格和代码实现，人工方式对代码逻辑进行分析，确认是否所有满足前置条 阅读全文
摘要：
一、调研 面向对象方法是一个抽象过程，它把一系列对象共性特征形成的类型作为类提取出来，并识别类的操作和类的属性，从结构上和行为上实现抽象。面向对象语言提供了结构抽象和行为抽象，通过类从结构上把数据和操作聚合在一起，接口把一组类的公共行为抽象出来，通过继承可以形成不同的抽象层次。然而，面向对象语言并没 阅读全文
摘要：
一、第五次作业 1.类图 因为这次的电梯要求模拟真实时间运行，而之前我都是通过时间的运算来判断同质捎带的，所以之前的电梯的调度就不能用了，这次基本就是完全重写了一个电梯。从类图来看，各个类的分配还是比较均衡的，但是我的状态都是用的数字来表示，不符合显示原则，代码的设计风格也不是特别好。 2.度量 度 阅读全文