摘要：
1.论述测试与正确性论证的效果差异，比较其优缺点 测试是指依据方法规格分情况构造测试数据来验证输出与输入是否有正确的对应关系 优点在于能够在很短的时间内暴露程序的错误 缺点在于只能暴露程序的错误，不能彻底地证明程序的正确性 正确性论证是人工对代码实现逻辑的正确性进行论证 优点在于覆盖了所有可能的情况 阅读全文
posted @ 2018-06-25 17:48 Groexhy 阅读(185) 评论(0) 推荐(0) 编辑
摘要：
规格化设计发展历史 在上世纪六十年代，大容量、高速度计算机出现，计算机的应用范围迅速扩大，随之而来的是软件开发急剧增长，软件系统的规模越来越大，软件可靠性问题也越来越突出，软件危机开始爆发 ，由此产生了结构化程序设计方法，即面向过程程序设计。 然而随着计算机科学的进一步发展，结构化程序设计也变得无法 阅读全文
posted @ 2018-05-30 14:45 Groexhy 阅读(111) 评论(0) 推荐(1) 编辑
摘要：
第五次作业 各种图 分析 由于很大程度上继承了上次作业的代码，所以违背了很多原则，反正写得很丑就是了 BUG 自己：由于开始时间太晚，直接gg 我测的同学：总体上写得非常好，只是调度上有一点点小问题 第六次作业 各种图 分析 显然违背SRP原则，Main里面把输入顺便处理了，Monitor里的代码仍 阅读全文
posted @ 2018-05-02 15:06 Groexhy 阅读(146) 评论(0) 推荐(0) 编辑