DJ_35

摘要： 一、测试与正确性论证效果差异 测试主要是为了检测出程序存在的bug，在此过程中，测试者通过将特意选出的一批数据输入到程序中运行，检查每个输入的数据所对应的输出是否符合预期要求。 而正确性论证是论证程序设计达到预期目标的陈述，这种论证与特殊的输入数据无关，而是关心不同输入的类型，可以视为穷举性测试。 阅读全文

摘要： 一、规格化设计的发展历史及得到重视的原因 （1）发展历史 确保程序的正确性以及减少软件的错误一直是人们所关心的问题，然而随着软件系统越来越复杂，在规模与功能上都有大幅度的扩展，更需要一种规范的设计方法来提高工作的效率与正确性。 1959年，Hoare提出了基于“前置后置条件”的接口规格方法，该种思想 阅读全文

摘要： 第五次作业：多线程电梯 作业内容：相比于前两次电梯作业，本次电梯作业新的变化是多电梯运行。要想实现功能，便需要学会使用多线程机制，使三部电梯保持相互独立的对分配的请求进行处理。电梯能够处理捎带，且调度时采用运动量均衡策略去响应楼层请求。 类图： 度量图： bug分析：存在两个bug。在多线程电梯的调 阅读全文

摘要： OO第一次学习总结 1.第一次作业：多项式加法 从未接触过java的我，在从输入输出开始学了几天后，按照C语言的思路，写出了一个与面向过程极其接近的程序。 在这个程序中，存在两个类：一个是ComputePoly，用于验证格式、提取以及传递多项式参数；还有一个是Poly类，用以多项式的存储与计算。 从 阅读全文