基于UML和OCL的类间交互测试用例生成算法研究  

Research on algorithms for generating test cases of inter-classes interaction based on UML and OCL

作　　者：冯秋燕[1] 

机构地区：[1]郑州大学信息工程学院,河南郑州450052

出　　处：《计算机工程与设计》2012年第11期4219-4224,共6页Computer Engineering and Design

摘　　要：针对面向对象软件的类、封装、继承、动态连接等特性,对对象建模语言(UML模型)中的顺序图添加对象约束语言(OCL约束),做类间交互的软件测试。提出执行图EG生成算法,将顺序图SD转换为EG,解决UML2.0顺序图新增特性中的alt,loop,opt,break这4种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,提出EG的遍历策略和测试路径生成算法;确定测试场景,生成测试用例。经实例分析,它可以基于UML顺序图与OCL作系统地测试。Aiming at some features in object-oriented software, such as classes, encapsulation, inheritance, dynamic connections, sequence diagram of UML design model is constrainted by OCL for testing interaction among classes. Transform_ SDToEG algorithm is proposed. A sequence diagram SD is converted to a graph called EG, short for execution Graph. In this algorithm, the new features alt, loop, opt, break four major combined fragments in UML2.0 sequence diagram and nesting among them, the polymorphism problem is solved. In order to get the smallest complete test pathes. EG traversal strategy and TraverseEG_ GenerateMinusTestPaths algorithm are presented. Finally, test scenarios are determined by testing pathes, and test cases are generated. Case analysis show that it can do software testing based on UML sequence diagram and OCL systematicly.

关 键 词：对象建模语言 顺序图 对象约束语言 执行图(EG) 测试场景 测试用例 

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