%0 Journal Article
%T 基于UML模型和OCL约束的类间交互测试用例生成方法研究
%A 柴玉梅
%A 冯秋燕
%A 王黎明
%J 电子学报
%P 1242-1248
%D 2013
%R 10.3969/j.issn.0372-2112.2013.06.032
%X 面向对象所具有的类、封装、继承、动态连接等特性,使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点,采用基于模型的软件测试方法,对UML(UnitedModelLanguage)设计模型中的顺序图添加OCL(ObjectConstraintsLanguage)约束,做类间交互的软件测试.本文提出执行图EG生成算法,将顺序图SD转换为执行图EG,解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径,本文提出了EG的遍历策略和测试路径生成算法;最后,根据测试路径确定测试场景,并删除无效场景,生成测试用例.经实验验证,此方法可以基于UML顺序图与OCL约束进行系统地测试.
%K UML
%K 顺序图
%K OCL
%K 执行图(EG)
%K 测试场景
%K 测试用例
%U http://www.ejournal.org.cn/CN/abstract/abstract7874.shtml