摘要： 一、测试与论证 1、测试是从实践检验真理的维度对程序的各方面进行有效性验证，常用的方法是通过对输入的划分进行覆盖性测试，模拟实际的使用情况，验证其功能性，鲁棒性和安全性等等。 一个好的覆盖测试对问题的揭露是直接而有力的，其纠错能力是毋庸置疑的，相较于正确性论证，测试具有更好的可操作性和可实现性。 但 阅读全文

摘要： 一、规格化设计介绍 为什么人们会重视规格化设计。对软件所应满足的要求，以可验证的方式作出完全、精确陈述的文件。“规格说明”一词与其他工业产品的“规格说明书”有相似的含义。不过,在软件领域中,它已成为一个特定的技术用语。软件产品与使用环境之间的关系，软件产品内部各组成部分之间的接口往往十分复杂，并且在 阅读全文

摘要： 第五次作业——多线程电梯 设计策略 实现三部电梯的综合调度，为每个对象线程明确任务分工。对象线程间通过发送睡眠中断信号实现事件通信。 Presser对象不断读取请求模拟按下按钮，生成请求并发送至请求队列中并向调度器发送新请求到达的中断信号。 电梯对象拥有一个任务执行队列，通过不断检查系统时间是否已到 阅读全文

摘要： 虽然已经写了三次作业，分别是计算多项式，模拟傻瓜电梯，采用接口和继承模拟能捎带请求的傻瓜电梯，但是不知是不是因为三次作业的量还远远不够，我对面向对象编程的理解依然还只是停留在表面形式上，也就是class{},属性和方法这样的组织格式，而这种属性方法的封装模式在跟深层的设计层面上对程序究竟有着怎样的影 阅读全文