基于UML模型集成测试工具的建模与设计  

Modeling and Designing An Integrated Testing Tool Based on UML Model

作　　者：樊鑫[1] 郑巍[1] 杨丰玉[1] 

机构地区：[1]南昌航空大学软件学院,南昌330063

出　　处：《计算机测量与控制》2015年第12期4210-4213,4220,共5页Computer Measurement &Control

基　　金：江西省自然科学基金青年项目(20142BAB217017);江西省教育厅科技项目(GJJ12457)

摘　　要：软件测试是保证软件质量、提高软件可靠性的关键工作;基于模型的测试技术是目前国内外学者在软件测试领域的研究热点,大多数研究者主要关注基于模型的测试策略和遍历算法的研究,但对于计算机辅助测试工具的研究尚有不足,缺乏具有模型解析、模型处理、用例生成等综合功能的测试工具;针对以上的情况,本文分析了基于UML模型的集成测试工具的具体需求,通过跟踪需求,构建合理的操作流程,提出了一种以需求驱动为迭代开发模型、以UML模型覆盖准则为依据、以UML集成测试工具为开发目标的辅助测试工具设计方案,设计了一套具有UML模型解析、检测和测试序列自动生成功能的测试工具原型;该工具能对UML活动图和顺序图进行自动化的解析和转化,并通过遍历算法生成集成测试序列;最后,通过对多个测试实例的验证,说明了该集成测试工具的有效性和易用性。Software testing is one of key jobs that guarantee software quality and reliability. Meanwhile, the study of model-based testing techniques becomes one of the hot spots for many researchers, most of the researchers focus on the study of model-based testing strategy and test case generation algorithm. But study of building a computer aided testing tools is still insufficiency, there is always short of the testing tools with comprehensive functions such as model parsing, model checking and test case generation. In view of the above problems, the paper analyzes the requirement of developing an integrated testing tool based on Unified Modeling Language （UML） models, proposes an solution which using demand driven and iterative developing model , designs an integrated testing tool prototype with the function such as UML model parsing, UML model checking and test sequence generation, which can parse and convert the UML activity and sequence diagram automati- cally, generates the testing sequences applying the model traversing algorithms during the integrated testing. Finally, according to the verifi cation based on several instances, the effectiveness of the integrated testing tool is analyzed based upon the comparison with other tools.

关 键 词：需求驱动 UML模型 集成测试工具 

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