摘要: 1. 测试与正确性论证 测试相较于正确性论证,更加快速,便利,易于使用。在不知晓代码全部设计结构时也能够使用,可以针对于程序进行黑盒测试,特可以针对方法进行部分黑盒测试。采用自动化测试同样也可以达到较好的覆盖率,验证程序是否正确。但是无论进行怎样的测试,测试一直是一个试图证伪的过程,永远不是完备的, 阅读全文
posted @ 2018-06-25 18:59 t68i663 阅读(109) 评论(0) 推荐(0) 编辑
摘要: 调研 软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究,即J.Backus提出BNF描述Algol60语言的语法,出现了各 种语法分析程序自动生成器以及语法制导的编译方法,使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。 形式化方法的研究高潮始于2 阅读全文
posted @ 2018-05-29 12:49 t68i663 阅读(126) 评论(0) 推荐(0) 编辑
摘要: 第五次作业: 第五次作业以前几次的电梯作业为基础,改变成为三部电梯同时运行的模式,电梯的调度策略与前两次作业完全相同,由于是第一次多线程作业,所以上手难度相对较大。这次作业虽然沿用了之前的调度策略,但是在实现上与前两次作业有着巨大的差距,由于采用了实时模拟运行的方式,使得之前的调度器,请求队列的意义 阅读全文
posted @ 2018-05-01 22:33 t68i663 阅读(148) 评论(0) 推荐(1) 编辑
摘要: 第一次作业: 初次接触java编程,对于面向对象的理解非常浅薄,几乎是强行将整个程序拆分成不同的类,分为小括号内信息的单项式类,单个花括号内信息的多项式类,以及所有多项式组成的类,每个类得到一个符合标准的字符串输入,进行解析,创建下一级对象,进而完成对整个输入的解析。看似对不同的内容进行了封装,实则 阅读全文
posted @ 2018-04-03 23:59 t68i663 阅读(129) 评论(0) 推荐(1) 编辑