基于LTL的UML状态图测试用例生成方法  

Test Cases Generation Method from UML Statechart Based on LTL

作　　者：高莉[1] 

机构地区：[1]安徽建筑大学电子与信息工程学院计算机系,安徽合肥230601

出　　处：《安徽建筑大学学报》2015年第2期75-78,共4页Journal of Anhui Jianzhu University

基　　金：国家科技支撑计划(2012BAJ08B00);安徽高校省级自然科学研究重点项目(KJ2009A018Z);校青年科研专项经费(201183-14)

摘　　要：测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻辑的模型检测技术,验证有限状态机模型的正确性,实验结果表明,该方法能够在不降低迁移覆盖准则的情况下,生成数量少、针对性强的测试用例集。Automatic generation of test cases is one of the main directions of research in software testing. For software development process inefficiencies exist in test data generation, no purpose, redundancy and other issues, proposed test case generation method based on object-oriented class-level UML state chart. UML state chart is converted into the corresponding event deterministic finite state machine, by Linear-time Temporary Logic model checking techniques to verify the correctness of the finite state machine model. The experimental results show that this method can meet the migration standard coverage metric, to generate the number of small, targeted test set.

关 键 词：软件测试 测试用例生成 UML状态图 线性时序逻辑 

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