| 基于UML Statecharts的测试用例生成 |
| |
| 引用本文： | 缪淮扣,占学德,刘玲. 基于UML Statecharts的测试用例生成[J]. 小型微型计算机系统, 2005, 26(4): 662-666 |
| |
| 作者姓名： | 缪淮扣 占学德 刘玲 |
| |
| 作者单位： | 上海大学,计算机学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金(60173030,60373072)资助，国家“九七三”项目(2002CB312001)资助，上海市第四期重点学科建设资助. |
| |
| 摘 要： | 直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的，提出了一种从UML statecharts图产生测试用例的方法：先把UML statecharts图转换成FREE(Flattened Regular Expression)模型图，再以FREE模型图为基础生成类的测试用例，同时，提出了FREE模型的测试覆盖准则，并提出了由FREE模型产生有限的迁移序列的算法。
|
| 关 键 词： | UML statecharts FREE模型 基于规格说明的测试 |
| 文章编号： | 1000-1220(2005)04-0662-05 |
Generating Test Case Based on UML Statecharts |
| |
| MIAO Huai-Kou,ZHAN Xue-de,LIU Ling. Generating Test Case Based on UML Statecharts[J]. Mini-micro Systems, 2005, 26(4): 662-666 |
| |
| Authors: | MIAO Huai-Kou ZHAN Xue-de LIU Ling |
| |
| Abstract: | It's difficult to generate test cases of class directly from the UML statecharts diagrams that contain hierarchical and concurrent structure. This paper presents an approach to generating test cases from UML statecharts. First, the UML statecharts were transformed into FREE (Flattened Regular Expression) [1] model diagrams. Afterwards, test cases of class were generated based on FREE model. Presented a test coverage criteria of FREE model and an algorithm that generates transition sequence from a FREE model. |
| |
| Keywords: | UML statecharts FREE model specification-based software testing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
