Research on Methods for Generating Test Cases of Inter-Classes Interaction Based on UML Models and OCL Constraints

CHAI Yu-mei; FENG Qiu-yan; WANG Li-ming

doi:10.3969/j.issn.0372-2112.2013.06.032

您当前的位置：

首页 >

文章列表页 >

Research on Methods for Generating Test Cases of Inter-Classes Interaction Based on UML Models and OCL Constraints

更新时间：2025-07-16

- Research on Methods for Generating Test Cases of Inter-Classes Interaction Based on UML Models and OCL Constraints
- Acta Electronica Sinica Vol. 41, Issue 6, Pages: 1242-1248(2013)
- 作者机构：
  
  1. 郑州大学信息工程学院,河南,郑州,450001
  2. 河南财经政法大学,河南,郑州,450000
  3. 郑州大学信息工程学院,河南,郑州,450001
  4. 河南财经政法大学,河南,郑州,450000
- 作者简介：
- 基金信息：
- DOI：10.3969/j.issn.0372-2112.2013.06.032
  CLC： TP311.5
- Published：2013
- 稿件说明：
移动端阅览
CHAI Yu-mei, FENG Qiu-yan, WANG Li-ming. Research on Methods for Generating Test Cases of Inter-Classes Interaction Based on UML Models and OCL Constraints[J]. Acta Electronica Sinica, 2013, 41(6): 1242-1248.
DOI：

CHAI Yu-mei, FENG Qiu-yan, WANG Li-ming. Research on Methods for Generating Test Cases of Inter-Classes Interaction Based on UML Models and OCL Constraints[J]. Acta Electronica Sinica, 2013, 41(6): 1242-1248. DOI： 10.3969/j.issn.0372-2112.2013.06.032.

摘要

面向对象所具有的类、封装、继承、动态连接等特性

使得面向对象测试步骤的划分以及测试策略的选择有别于传统的测试思想.本文针对面向对象软件的特点

采用基于模型的软件测试方法

对UML(United Model Language)设计模型中的顺序图添加OCL(Object Constraints Language)约束

做类间交互的软件测试.本文提出执行图EG生成算法

将顺序图SD转换为执行图EG

解决UML2.0顺序图新增特性中的alt、loop、opt、break四种常见组合片段及其嵌套和多态性问题;为得到最小完备的测试路径

本文提出了EG的遍历策略和测试路径生成算法;最后

根据测试路径确定测试场景

并删除无效场景

生成测试用例.经实验验证

此方法可以基于UML顺序图与OCL约束进行系统地测试.

Abstract

There are some features in object-oriented software

such as classes

encapsulation

inheritance

and dynamic connections.They make the division of object-oriented testing procedures and the choice of strategy different from traditional testing ideas.According to the characteristics of object-oriented software

the paper adopts the methods based on models for testing software and adds OCL(Object Constraints Language)constraints for sequence diagram of UML(United Model Language)design model and tests interaction among classes.The paper proposes the algorithm for generating EG(Execution Graph)and transforms SD(Sequence Diagram) to EG

and SD is constrainted by OCL for testing interaction among classes.In this algorithm

the testing problem for four major combined fragments including alt

loop

opt

break in the new features

and their nesting among them and the polymorphism

will be solved in sequence diagram of UML 2.0.In order to get the smallest complete test pathes

strategy for traversing EG and algorithm for generating test paths are presented.Finally

the paper proposes algorithm for determining test scenarios by testing pathes

deleting invalid scenarios by OCL constraints

and generating test cases.Experimental validation shows that our solution can test software based on UML sequence diagram and OCL.

关键词

Keywords

references

Views

1597

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Software Fault Localization Based on Redundant Coverage Information Reduction

Test Case Reuse and Generation Between Similar Programs Based on Function Influence

Test Case Generation and Reuse Based on Support Vector Machine Regression Model

Related Author

ZHENG Li-wei

CHEN Xiang

YUE Lei

CUI Zhan-qi

WANG Hao-ren

YU Qing-yuan

SUN Zhi-wang

CHENG Yi-wei

Related Institution

School of Computer Science， Beijing Information Science and Technology University

School of Computer Science and Technology， Nantong University

School of Information Management, Jiangxi University of Finance & Economics

School of Information Management， Jiangxi University of Finance & Economics

⁰