基于UML协作图和DFA的测试用例生成方法研究  

Study on Approach for Test Case Generation Based on UML Collaboration Diagram and DFA

作　　者：李青松 张晔[2] 

机构地区：[1]江西省教育考试院,江西南昌330006 [2]南昌航空大学软件学院,江西南昌330063

出　　处：《计算机与现代化》2011年第8期32-38,共7页Computer and Modernization

基　　金：江西省教育科研基金资助项目(GJJ08232)

摘　　要：UML协作图能够描述对象之间动态的交互关系及对象之间消息传递的过程,根据协作图中的消息流和控制流可以获取有用的场景模型并生成测试用例。本文在研究UML协作图和确定有穷自动机(DFA)之间对应关系的基础上,提出一种将UML协作图转换为DFA,再从DFA中提取测试场景生成测试用例的方法,并将该方法应用于实际项目的测试用例生成。最后,通过对结果进行数据对比和分析,说明该测试用例生成方法的有效性。UML collaborative diagram describes objects interaction and the message transferring procedure between objects.So the test scenarios can be generated according to the message flow and control flow in UML collaborative diagram.After analyzing the relationship between UML collaborative diagram and deterministic finite automata（DFA）,this paper presents a method of converting an UML collaborative diagram to a DFA model,then generates test scenarios and test cases based on DFA.Finally,this method is applied to test case generation of one real project ＂manhour quota management system＂.Through the data comparison and analysis of the results,the method is proved effective and practical.

关 键 词：UML协作图 确定有穷自动机 测试用例 

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