论文部分内容阅读
在UML类图的基础上，将传统对象关系图（ORD）模型进行了扩展，并对它们进行了形式化的定义．提出了一种基于扩展ORD图的类间集成测试顺序改进算法，通过递归调用改进的Kosaraj鉴别强连通分量的算法来确定SCCs．本算法与Tai和Traon的两种算法比较，需要的测试桩最少，效率最高．理论分析和初步的实验证明这种方法是可行和有效的．