摘要
直接从含有层次和并发结构的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.
出处
《小型微型计算机系统》
CSCD
北大核心
2005年第4期662-666,共5页
Journal of Chinese Computer Systems
基金
国家自然科学基金(60173030
60373072)资助
国家"九七三"项目(2002CB312001)资助
上海市第四期重点学科建设资助.