基于UML状态图的自动化测试系统研究与实现  

Research and Implementation of Automated Test System Based on UML State Charts

作　　者：布辉[1] 刘冉[1] 

机构地区：[1]华北水利水电学院,河南郑州450011

出　　处：《信息工程大学学报》2012年第5期626-631,共6页Journal of Information Engineering University

基　　金：河南省重点科技攻关项目(092102210059;0624220040)

摘　　要：以UML状态图的测试用例自动生成算法为基础,研究并实现了基于UML状态图的自动化测试系统,测试系统通过对Rational Rose生成的*.mdl文件进行解析,得到形式化的状态图,使用改进的UIO方法得到测试路径,测试路径与路径上的事件结合,生成最终的测试序列。该系统生成的测试序列相对较短且能够达到状态-转换覆盖标准。Based on UML state charts test case automatic generation algorithm, an automatic test system is designed and implemented. By parsing the ＊. mdl files generated by Rational Rose, for- malized state charts are obtained. Test paths are determined with the improved UIO method. Test sequences are finally generated by combining the test paths with the events on those paths. In this way, the generated test sequence is relatively short and can satisfy the state-conversion coverage cri- teria.

关 键 词：UML状态图 自动化测试 扩展有限状态机 测试用例 测试序列 

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