导航

2018年6月24日

OO第四次博客

摘要： 测试与正确性论证比较 测试是通过考虑多种情况构造尽可能全面的测试用例，对程序的执行结果进行检查，自由度较高，但是难以保证全面覆盖。 正确性论证则是从代码逻辑的角度检查实现逻辑和规格的一致性，抽象程度高，具有一定难度，但是可以保证较高的覆盖率。 OCL语言调研以及比较 对象约束语言OCL(object 阅读全文

posted @ 2018-06-24 20:38 shawnco 阅读(100) 评论(0) 推荐(0) 编辑

2018年5月29日

OO第三次博客

摘要： 规格化设计的发展历史 在计算机的早期发展中，软件开发没有可以遵循的系统方法，往往只有源代码而没有软件说明书等文档，因此这段时期的软件通用性时很有限的。后来到了20世纪60年代，软件开始被广泛使用，软件开发依然没有规范化，而软件的需求也越来越复杂，使得程序维护难度大大增加。为了解决这一难题，人们认真思 阅读全文

posted @ 2018-05-29 21:01 shawnco 阅读(112) 评论(0) 推荐(0) 编辑

2018年5月2日

OO第二次博客

摘要： 第五次作业分析 1）类图 2）OO度量 McCabe Cyclomatic Complexity 表示圈复杂度，圈复杂度主要与分支语句（if、else、，switch 等）的个数成正相关。Nested Block Depth表示嵌套块深度，嵌套深度表示if、for、while循环嵌套的个数。此次作业 阅读全文

posted @ 2018-05-02 00:11 shawnco 阅读(153) 评论(0) 推荐(0) 编辑

2018年4月2日

OO第一次博客

摘要： 第一次作业分析 1）类图 2）OO度量 可以看到，此次作业的圈复杂度较高，这主要还是因为在完成第一次作业时没有用面向对象的思想来写代码，所有的运算过程都被分解为一个个不同的方法全部放在了polyCompute中，这就导致了polyCompute类负担了整个程序的功能，造成了圈复杂度过高。 3）作业总 阅读全文

posted @ 2018-04-02 22:56 shawnco 阅读(173) 评论(0) 推荐(0) 编辑