应用UML2.0模型的测试用例生成方法

张琛 1; 2; 段振华 1; 2

您当前的位置：

首页 >

文章列表页 >

应用UML2.0模型的测试用例生成方法

更新时间：2025-07-09

- 应用UML2.0模型的测试用例生成方法
- Test Case Generation Based on UML2.0 Models
- 西安交通大学学报 2011年45卷第8期页码：18-23
- 作者机构：
  
  1. 西安电子科技大学计算理论与技术研究所,西安,710071
  2. 西安电子科技大学ISN国家重点实验室,西安,710071
- 作者简介：
- 基金信息：
  
  : 2011-01-11. 作者简介: 张琛(1981-),女,博士生;段振华(联系人),男,教授,博士生导师. 基金项目: 国家重点基础研究发展规划资助项目(2010CB328102);国家自然科学基金资助项目(60433010,60873018,60910004,91018010,61003078,61003079);教育部高等学校博士学科点专项科研基金资助项目(200807010012);中央高校基本科研业务费专项资金资助项目(JY10000903004)
- DOI：
  中图分类号： TP311
- 网络首发：2011-08-10，
  
  纸质出版：2011
- 稿件说明：
移动端阅览
张琛 1, 2, 段振华 1, 等. 应用UML2.0模型的测试用例生成方法[J]. 西安交通大学学报, 2011,45(8):18-23.

Test Case Generation Based on UML2.0 Models[J]. 2011, 45(8): 18-23.
张琛 1, 2, 段振华 1, 等. 应用UML2.0模型的测试用例生成方法[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.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

业务流程建模与测试方法研究

面向命题投影时序逻辑的安全协议模型检测

PPTL模型检测器实现的一个关键技术

基于UML的软件可靠性测试用例生成的混合模型

面向投影时序逻辑的Web服务模型检测