摘要：OO第四次博客作业 一、测试与正确性论证 测试是通过具体的测试用例来检验程序是否能正确的完成该测试用例，通过应用来检验程序的正确性；正确性论证是通过逻辑推演，从理论的角度按照一定的规范将程序抽象化进行论证。 测试的优点是构造简单，测试与实际应用更贴近，容易找出实际上易出现的bug，但缺点是难做到全面 阅读全文
OO第三次博客作业
2018-05-30 00:37 by wynterr, 207 阅读, 0 推荐, 收藏, 编辑
摘要：OO第三次博客作业 一、规格化设计的大致发展历史 在1960年代末至1970年代初期，出现了一次软件危机：一方面需要大量的软件系统，如操作系统、数据库管理系统；另一方面，软件研制周期长，可靠性差，维护困难。人们希望编写出的程序结构清晰、易阅读、易修改、易验证，即得到良好结构的程序。60年代中期，大容 阅读全文
OO第二次博客作业
2018-05-02 15:10 by wynterr, 262 阅读, 0 推荐, 收藏, 编辑
摘要：一、第五次作业 1.类图 2.度量分析图 3.UML协作图 4.问题和不足 JVM调度的问题没有处理，不过还好说了这个不用处理。没有把处理输入的功能单拿出来而是写在了Test类里(懒得改前两次的代码了)，代码略显复杂。 5.被发现的BUG 没有BUG。被报了个关于继承的imcomplete，这个锅我 阅读全文
OO前三次作业总结
2018-04-02 22:24 by wynterr, 165 阅读, 0 推荐, 收藏, 编辑
摘要：一、第一次作业 1、程序设计分析 图1 第一次作业类图 图2 第一次作业度量分析图 第一次作业整体较为简单，主要任务为判断输入的合法性。从度量分析中可以看出来圈复杂度（McCabe Cyclomatic Complexity）比较高，已经标红了。点开仔细看之后发现是Polynomial类的构造方法贡 阅读全文