应用UML2.0模型的测试用例生成方法  

Test Case Generation Based on UML2.0 Models

作　　者：张琛[1,2] 段振华[1,2] 

机构地区：[1]西安电子科技大学计算理论与技术研究所,西安710071 [2]西安电子科技大学ISN国家重点实验室,西安710071

出　　处：《西安交通大学学报》2011年第8期18-23,共6页Journal of Xi'an Jiaotong University

基　　金：国家重点基础研究发展规划资助项目(2010CB328102);国家自然科学基金资助项目(60433010;60873018;60910004;91018010;61003078;61003079);教育部高等学校博士学科点专项科研基金资助项目(200807010012);中央高校基本科研业务费专项资金资助项目(JY10000903004)

摘　　要：针对软件开发过程中测试自动化程度低的问题,在研究基于模型的测试用例生成技术的基础上,提出了一种基于UML2.0序列图与用例描述的测试用例生成方法.采用事件确定有限自动机来描述系统序列图,通过命题投影时序逻辑的模型检测技术,验证了自动机模型的正确性.使用自动机模型与用例描述来生成测试用例,该用例满足事件与全路径覆盖准则.通过对图书管理系统的分析表明,该方法不仅能够提高软件的测试效率,而且还确保了针对管理员的执行动作所产生的测试用例的正确性.To improve the test automation in software development process, following the researches on test case generation technology from models, a novel method is proposed based on UML2. 0 sequence diagram （SD） with use case description, and event deterministic finite automata （ETDFA） are employed to describe the SD models of system interaction. By the model checked with propositional projection temporal logic （PPTL）, the correctness of ETDFA is verified. The achieved accurate ETDFA models and use case description are regarded as the origin of test cases. The testing strategy derives the test cases according to the event and full path coverage criterion. The experimental analyses of library management system （LMS） show that this approach enables to improve software testing efficiency, and guarantee the accuracy of the test cases for the admin istrator＇s action.

关 键 词：测试用例 命题投影时序逻辑 模型检测 覆盖准则 

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