基于OCL约束的多态性时序图测试用例生成方法  

Polymorphism sequence diagrams test cases generation based on OCL constraints

作　　者：周航[1] 黄志球[1] 孙海燕[2] 张广泉[3] 祝义[4] 

机构地区：[1]南京航空航天大学信息科学与技术学院,江苏南京210016 [2]解放军理工大学通信工程学院,江苏南京210007 [3]苏州大学计算机科学与技术学院,江苏苏州215006 [4]徐州师范大学计算机科学与技术学院,江苏徐州221116

出　　处：《解放军理工大学学报（自然科学版）》2008年第3期222-227,共6页Journal of PLA University of Science and Technology(Natural Science Edition)

基　　金：航空科学基金资助项目(01152058);重庆市自然科学基金资助项目(CSTC;2006BB2259);江苏省高校自然科学基金资助项目(05KJB520119)

摘　　要：由于UML时序图不能够描述多态性,导致根据时序图生成的测试用例存在不足,无法测试多态性方法。提出了一种对多态性时序图的形式化及相应测试用例的生成方法。根据类约束和满意集规则确定类的多态性方法集CSPM(class sets of polymorphism methods),并将多态性时序图转换为多态扩展有向无环图PCOMDAG(polymorphism class object method acyclic graph)。使用提出的测试覆盖准则及深度优先算法对PCOMDAG图进行遍历,自动生成多态性时序图的测试用例。通过实例验证方法的有效性,其结果表明,本方法能够生成基于OCL约束时序图的测试用例对多态性方法进行测试,提高时序图测试集的覆盖度。Unified modeling language （UML） sequence diagrams can not describe the polymorphism, which leads to lack sequence diagram test cases to test polymorphism methods. An approach was proposed to formalize polymorphism sequence diagrams and generate test cases. According to class constraints and satisfying set rules, the approach got the class sets of polymorphism methods （CSPM） and transformed sequence diagrams into the polymorphism class object method acyclic graph （PCOMDAG）. With the polymorphism test criteria and the depth first search, the approach automatically generated sequence diagram test cases. The approach availability was verified by an example analysis. The results show that the approach can generate sequence diagram test cases to test polymorphism methods and enhance the coverage of sequence diagram test cases.

关 键 词：测试用例 统一建模语言 对象约束语言 时序图 多态性 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]