摘要：
一、测试与正确性论证 程序测试是指测试者挑选输入数据，通过运行程序，检查每个输入数据所对应的运行结果是否符合预期要求。正确性论证是论证程序达到预期目的的一般性陈述，而该论证不与程序输入数据的特定值有关，但能够代表穷举性测试。 程序测试的优点是便于实施容易发现软件存在的大多数问题，但是测试不是一个完备 阅读全文
摘要：
一、关于规格化设计 发展历史 参考：https://blog.csdn.net/jnucstan/article/details/1724259 从20世纪60年代开始，就存在着许多不同的形式规格说明语言和软件开发方法。在形式规格说明领域一些最主要的发展过程列举如下： 1969－1972 C.A.R 阅读全文
摘要：
一、线程协同和同步控制策略 第五次作业 本次作业中线程有上图中三类，分别为扫描线程、调度器线程、电梯线程，Scanner和Scheduler之间共用请求队列，Scheduler与三个电梯之间共用三个电梯的子队列和灯对象。所以线程同步的实现就是从共用对象入手，当调度器发现队列为空的时候wait否则一直 阅读全文
摘要：
一、作业分析 第一次作业 作业简介：编写程序处理规定模式的多个多项式表达式输出运算结果 处理方法：使用正则表达式从输入中提取出符合规则的单个表达式，构造表达式对象按照次数对各项进行排列，存入数组，最后从头遍历数组依据多项式符号决定运算方法，运算结果依次与下一个多项式进行运算直至数组为空 Metric 阅读全文