基于UML Statecharts的测试用例生成  

Generating Test Case Based on UML Statecharts

作　　者：缪淮扣[1] 占学德[1] 刘玲[1] 

机构地区：[1]上海大学计算机学院,上海200072

出　　处：《小型微型计算机系统》2005年第4期662-666,共5页Journal of Chinese Computer Systems

基　　金：国家自然科学基金(60173030;60373072)资助;国家"九七三"项目(2002CB312001)资助;上海市第四期重点学科建设资助.

摘　　要：直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法.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.

关 键 词：UML STATECHARTS FREE模型 基于规格说明的测试 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]