摘要:
一、 测试与正确性论证的效果差异及优缺点 测试:基于前置条件和后置条件对输入划分并抽样产生测试数据,检查方法执行输出 是否满足后置条件 • 优点:易于实施,工程广为采用 • 缺点:无法确保正确性 论证:针对格式化的规格和代码实现,人工方式对代码逻辑进行分析,确认是否所有 满足前置条件的输入都能产生满 阅读全文
摘要:
一、 规格化设计的发展历史 高级语言的发展经历了从早期语言到结构化程序设计语言,从面向过程到非过程化程序语言的过程。相应地,软件的开发也由最初的个体手工作坊式的封闭式生产,发展为产业化、流水线式的工业化生产。 6 0年代中后期,软件越来越多,规模越来越大,而软件的生产基本上是人自为战,缺乏科学规范的 阅读全文
摘要:
这三次作业分别是多线程电梯、文件监控器、出租车。这三次作业不是一个主题,但这三次作业都是多线程问题,相比之前的单线程难度有了很大的提升。 第五次作业 第五次作业是电梯主题的最后一个作业,也是多线程问题的第一个作业。这次的作业对于我是难上加难,因为我电梯的前两次作业都是写的面向过程的代码,所以这一次如 阅读全文