摘要:
一.测试与正确性论证的效果差异1.测试优点:测试寻找bug的方式比较简单, 可以很快速的验证程序的基本功能, 调试非常方便.缺点:测试很难达到对程序的全面覆盖, 构造一些复杂的测试样例可能难度较大.测试无法证明程序是完全正确的.2.正确性论证优点:正确性论证可以证明程序是正确的.缺点:论证步骤复杂, 阅读全文
摘要:
规格化发展的历史 规格化的发展史说的宽泛一些其实就是软件工程的发展史. 1968年秋季,NATO(北约)的科技委员会召集了近50名一流的编程人员、计算机科学家和工业界巨头,讨论和制定摆脱“软件危机”的对策。在那次会议上第一次提出了软件工程(software engineering)这个概念,研究和应 阅读全文
摘要:
分析总结 这一阶段的作业主要练习的就是多线程以及多线程的安全问题.第五次作业是一个多线程电梯, 虽然还是之前的电梯问题, 但是思路却和之前的几次有了很大的区别这次的作业捎带的思路和之前完全相同, 难点在于三个电梯和scheduler之间时间的同步, 以及作业的分配问题.我为每个电梯都设置了一个请求队 阅读全文