摘要:
1. 测试与正确性论证 测试相较于正确性论证,更加快速,便利,易于使用。在不知晓代码全部设计结构时也能够使用,可以针对于程序进行黑盒测试,特可以针对方法进行部分黑盒测试。采用自动化测试同样也可以达到较好的覆盖率,验证程序是否正确。但是无论进行怎样的测试,测试一直是一个试图证伪的过程,永远不是完备的, 阅读全文
摘要:
调研 软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究,即J.Backus提出BNF描述Algol60语言的语法,出现了各 种语法分析程序自动生成器以及语法制导的编译方法,使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。 形式化方法的研究高潮始于2 阅读全文
摘要:
第五次作业: 第五次作业以前几次的电梯作业为基础,改变成为三部电梯同时运行的模式,电梯的调度策略与前两次作业完全相同,由于是第一次多线程作业,所以上手难度相对较大。这次作业虽然沿用了之前的调度策略,但是在实现上与前两次作业有着巨大的差距,由于采用了实时模拟运行的方式,使得之前的调度器,请求队列的意义 阅读全文