Automated Test Case Generation Based on UML Activity Diagram Model
-
摘要: 为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.Abstract: In order to design and generate test cases of workflows, test outline model is defined. The three-tier process to transform an activity diagram into its test outline model and then into its test case model,as well as the test coverage criteria, is introduced, including a set of basic rules, by which unstructured flows is eliminated to modularize test outline units, and concurrency flows can be instantiated. The principles on the instantiated input data for each input operation in the system and the creation of the test case model by assigning the instantiated set of input data to the outline model,and then methods to generate the complete set of test cases based on the model are discussed.
-
[1] Tsai W T, Volovik D, Tkeefe T F. Automated test case generation for programs specified by relational algebra queries[J]. IEEE Trans on Software Engineering, 1990, 16(3):316~324. [2] Weyuker E, Goradia T, Singh A. Automatically generating test case data from a Boolean specification[J]. IEEE Trans on Software Engineering, 1994, 20(4):353~363． [3] Eliane Martins, Selma B Sabiao. ConData:a tool for automating specification-based test case generation for communication system ．In:IEEE Los Alamitos ,2000．1060~3425. [4] James Rumbaugh, Ivar Jacobson, Grady Booch． The unified modeling language reference manua[M]． An imprint of Addison Wesley Longman Inc,1998. [5] 刘 超,张 莉．可视化面向对象建模技术——标准建模语言UML教程[M]．北京:北京航空航天大学出版社,1999. [6] 刘 超．程序交互执行流程图及其测试覆盖规则[J]．软件学报,1998,9(6):458~463． -
点击查看大图
计量
- 文章访问数: 3457
- HTML全文浏览量: 65
- PDF下载量: 476
- 被引次数: 0
下载:
