摘要:
一、 测试与正确性论证的比较 测试和正确性论证分别从用户角度和开发者角度对工程进行评估。前者能够评测程序在一般情况和可预见的特殊情况下的执行效果,后者能够较为全面地测试到每一个细节。 测试的优点: 所需时间较短; 能够较为全面地测试; 样例编写容易; 可保留样例,用于以后的回测; 测试的缺点: 无法 阅读全文
摘要:
规格化设计 软件工程的重要目标之一是实现软件开发过程各阶段的自动化,软件自动化的前提是形式化,包括软件需求规格的形式化、软件设计规格的形式化和 算法描述的形式化。 Z语言由牛津大学程序设计研究小组开发,是一种应用较为广泛的形式规格说明语言,它以一阶谓词逻辑和集合论为基础对软件系统的静态特征和动态特征 阅读全文
摘要:
第五次作业:多线程电梯 多线程的同步和控制 1. 在本次作业里,请求发生器不断往请求队列里加入电梯请求,主调度器不停将电梯请求分发给从调度器,从调度器不断读取请求来操控电梯运行,因而这三者之间存在同步关系。 2. 请求发生器和主调度器之间共享了主请求队列,因而需要对主请求队列的加入、删除和读取方法均 阅读全文