buaascse

摘要： 一、测试与正确性论证 测试：对于每个方法，基于前置条件和后置条件对输入划分并抽样产生测试数据，检查方法执行输出是否满足后置条件。对于每个类和整个项目，构造覆盖性测试样例来测试能否正确实验类和工程的要求。 优点：容易实施，工程采用较多。 缺点：由于构造的测试样例可能无法覆盖到所有情况，无法确保正确性 阅读全文

摘要： 一、规格化设计的发展历史 规格化设计的出现与发展和程序设计思想的发展密切相关，程序设计思想的发展大致如下： 1、1940年代： 最早被确认的现代化、电力引导的计算机约在1940年代被创造出来。程序员在有限的速度及存储器容量限制之下，撰写人工调整过的汇编语言程序。而且很快就发现到使用汇编语言的这种撰写 阅读全文

摘要： 第五次作业——多线程电梯 设计策略 本次作业共有五个类，构造了输入线程、调度器线程和三个电梯线程。输入线程负责将请求加入到请求队列里面；调度器线程负责按照给定的规则，判断将请求队列里的请求分配给哪个电梯；电梯线程负责电梯的运行及输出。 OO度量 程序的bug 1、在时间的处理方面，电梯每上升、下降一 阅读全文

摘要： 作业1：多项式加减法 作为一名在课前没有接触过java的小白，在第一次作业ddl的压力下，我用几天预习了java的基础语法，就踏上了第一次作业的征程。第一次作业要求我们分别用c语言和java写出程序，让我们理解面向对象编程和过程化编程的区别。但是我的第一次java作业就是用c语言翻译过来的，用过程化 阅读全文