t68i663

摘要： 1.　测试与正确性论证 测试相较于正确性论证，更加快速，便利，易于使用。在不知晓代码全部设计结构时也能够使用，可以针对于程序进行黑盒测试，特可以针对方法进行部分黑盒测试。采用自动化测试同样也可以达到较好的覆盖率，验证程序是否正确。但是无论进行怎样的测试，测试一直是一个试图证伪的过程，永远不是完备的， 阅读全文

摘要： 调研 软件形式化方法最早可追溯到20世纪50年代后期对于程序设计语言编译技术的研究，即J.Backus提出BNF描述Algol60语言的语法，出现了各 种语法分析程序自动生成器以及语法制导的编译方法，使得编译系统的开发从“手工艺制作方式”发展成具有牢固理论基础的系统方法。 形式化方法的研究高潮始于2 阅读全文

摘要： 第五次作业： 第五次作业以前几次的电梯作业为基础，改变成为三部电梯同时运行的模式，电梯的调度策略与前两次作业完全相同，由于是第一次多线程作业，所以上手难度相对较大。这次作业虽然沿用了之前的调度策略，但是在实现上与前两次作业有着巨大的差距，由于采用了实时模拟运行的方式，使得之前的调度器，请求队列的意义 阅读全文

摘要： 第一次作业： 初次接触java编程，对于面向对象的理解非常浅薄，几乎是强行将整个程序拆分成不同的类，分为小括号内信息的单项式类，单个花括号内信息的多项式类，以及所有多项式组成的类,每个类得到一个符合标准的字符串输入，进行解析，创建下一级对象，进而完成对整个输入的解析。看似对不同的内容进行了封装，实则 阅读全文