TechpriestW - 博客园

oo第四次作业

摘要：一、测试与正确性论证效果差异虽然测试能够非常直观地找到bug，但是测试的问题在于无法保证程序没有bug，只能保证程序没有被发现的bug。要想证明一段程序没有错误，必然需要测试之外的其它方法来进行证明：即正确性论证。程序正确性论证是从代码出发进行理论推理来证明代码没有bug。它的优点是全面且能够证阅读全文

posted @ 2018-06-25 16:55 TechpriestW 阅读(109) 评论(0) 推荐(0) 编辑

oo第三次总结

摘要：一、规格化设计的大致发展历史（由于在百度和谷歌上均未能找到与规格化设计的历史有关的资料，因此这部分参考了许多同学的博客）程序设计的演变大致可以分成以下三个过程： 1. 20世纪60年代以前，计算机刚刚投入实际使用，软件设计往往只是为了一个特定的应用而在指定的计算机上设计和编制，采用密切依赖于计算阅读全文

posted @ 2018-05-29 00:35 TechpriestW 阅读(193) 评论(0) 推荐(0) 编辑

oo第二次总结

摘要：第五次作业：程序度量：类图：评价：自认为这是到现在以来oo本人写得最成功的项目。虽然是第一次接触多线程，但是写出来的工程可以接受，并且没有（明显的）bug。虽然是多线程电梯，但是为了保证输出时间没有误差，因此使用了“假时间”这一概念。引用某位大佬的话：“假时间才是正确操作！”程序运行时共有5 阅读全文

posted @ 2018-05-01 14:00 TechpriestW 阅读(132) 评论(2) 推荐(0) 编辑

oo第一次总结

摘要：第一次作业：程序度量：类图：评价：这是我第一个用java写的正经的工程，写的时候思路还是偏向面向过程的思路，主类之外的另外两个类里基本上都只有一个函数（对我没写错），剩下的方法基本上就是返回各种成员；main方法也写得特别长，导致project_1的圈复杂度（用于衡量代码复杂度的一个指标，由i 阅读全文

posted @ 2018-04-02 19:35 TechpriestW 阅读(125) 评论(0) 推荐(0) 编辑