基于UML模型和OCL约束的类间交互测试用例生成方法研究

• 作者: 冯秋燕 柴玉梅 王黎明
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: UML 顺序图 OCL 执行图 (EG ) 测试场景 测试用例
• 年，卷（期）: 2013,（6）
• 所属期刊栏目: 科研通信
• 页码范围: 1242-1248
• 页数: 7页
• 分类号: TP311.5
• 字数: 6255字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.06.032

摘要

面向对象所具有的类、封装、继承、动态连接等特性，使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想．本文针对面向对象软件的特点，采用基于模型的软件测试方法，对UML （United Model Lan-guage ）设计模型中的顺序图添加OCL （Object Constraints Language ）约束，做类间交互的软件测试．本文提出执行图EG生成算法，将顺序图SD转换为执行图EG ，解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题；为得到最小完备的测试路径，本文提出了EG的遍历策略和测试路径生成算法；最后，根据测试路径确定测试场景，并删除无效场景，生成测试用例．经实验验证，此方法可以基于UML顺序图与OCL约束进行系统地测试．

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王黎明	郑州大学信息工程学院	81	602	14.0	20.0
2	柴玉梅	郑州大学信息工程学院	71	900	17.0	28.0
3	冯秋燕		8	19	1.0	4.0