Test Case Generation Based on UML2.0 Models

您当前的位置：

首页 >

文章列表页 >

Test Case Generation Based on UML2.0 Models

更新时间：2025-07-09

- Test Case Generation Based on UML2.0 Models
- Vol. 45, Issue 8, Pages: 18-23(2011)
- 作者机构：
  
  1. 西安电子科技大学计算理论与技术研究所,西安,710071
  2. 西安电子科技大学ISN国家重点实验室,西安,710071
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Online First：10 August 2011，
  
  Published：2011
- 稿件说明：
移动端阅览
Test Case Generation Based on UML2.0 Models[J]. 2011, 45(8): 18-23.
DOI：

Test Case Generation Based on UML2.0 Models[J]. 2011, 45(8): 18-23. DOI：

摘要

针对软件开发过程中测试自动化程度低的问题

在研究基于模型的测试用例生成技术的基础上

提出了一种基于UML2.0序列图与用例描述的测试用例生成方法.采用事件确定有限自动机来描述系统序列图

通过命题投影时序逻辑的模型检测技术

验证了自动机模型的正确性.使用自动机模型与用例描述来生成测试用例

该用例满足事件与全路径覆盖准则.通过对图书管理系统的分析表明

该方法不仅能够提高软件的测试效率

而且还确保了针对管理员的执行动作所产生的测试用例的正确性.

Abstract

To improve the test automation in software development process

following the researches on test case generation technology from models

a novel method is proposed based on UML2.0 sequence diagram(SD)with use case description

and event deterministic finite automata(ETDFA)are employed to describe the SD models of system interaction. By the model checked with propositional projection temporal logic(PPTL)

the correctness of ETDFA is verified. The achieved accurate ETDFA models and use case description are regarded as the origin of test cases. The testing strategy derives the test cases according to the event and full path coverage criterion. The experimental analyses of library management system(LMS)show that this approach enables to improve software testing efficiency

and guarantee the accuracy of the test cases for the administrator's action.

关键词

Keywords

references

DUAN Zhenhua. Temporal logic and temporal logic programming [M]. Beijing: Science Press, 2005:6-93.

KIM Y G, HONG H S, CHO S M, et al. Test cases generation from UML state diagrams [J]. IEE Proceedings-Software, 1999, 146(4):187-192.

缪淮扣,占学德,刘玲.基于UML Statecharts的测试用例生成 [J].小型微型计算机系统,2005, 26(4):662-666.

MIAO Huaikou, ZHAN Xuede, LIU Ling. Generating test case based on UML statecharts [J]. Journal of Chinese Computer Systems, 2005, 26(4):662-666.

王林章,李宣东,郑国梁.一个基于UML协作图的集成测试用例生成方法 [J].电子学报,2004, 32(8):1290-1296.

WANG Linzhang, LI Xuandong, ZHENG Guoliang. An approach to generate integration test cases based on UML collaboration diagrams [J]. Chinese Journal of Electronics, 2004, 32(8):1290-1296.

MONALISA S, DEBASISH K, RAJIB M. Automatic test case generation from UML sequence diagrams[C]∥Proceedings of the 15th International Conference on Advanced Computing and Communications. Piscataway, NJ, USA: IEEE Computer Society, 2007:60-65.

SANTOSH K S, DURGA P M, RAJIB M. Test case generation based on use case and sequence diagram [J]. International Journal of Software Engineering, 2010, 3(2):21-52.

KIM H, RUSSELL M. Learning UML 2.0 [M]. California, USA: O'Reilly, 2006:1-286.

DUAN Zhenhua, TIAN Cong, ZHANG Li. A decision procedure for propositional projection temporal logic with infinite models [J]. Acta Informatica, 2008, 45(1): 43-78.

杨琛,段振华.PPTL模型检测器实现的一个关键技术 [J].西安交通大学学报, 2010, 44(10):24-29.

YANG Chen, DUAN Zhenhua. A key technique to develop the model checker for propositional projection temporal logic [J]. Journal of Xi'an Jiaotong University, 2010, 44(10):24-29.

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Modeling and Testing Methods of Business Process

Model-Checking Security Protocol with Propositional Projection Temporal Logic

A Key Technique to Develop the Model Checker for Propositional Projection Temporal Logic

UML Based Hybrid Model for Generation of Software Reliability Test Cases

Projection Temporal Logic Oriented Model Checking for Web Services

Related Author

张琛 3

张书玲 1

丁明 1

杨琛 1

段振华 1

王小兵 1

Related Institution

School of Information Science and Technology, Northwest University

Xi'an Aeronautics Computing Technique Research Institute, Aviation Industry Corporation of China

State Key Laboratory of Software Engineering, Wuhan University

实验室

武汉大学软件工程国家重点实验室

⁰