基于UML嵌入式软件测试用例生成方法研究.docVIP

基于UML嵌入式软件测试用例生成方法研究 　　收稿日期：2007-09-12；修回日期：2007-12-07 　　基金项目：国家“十一五”国防预研基金资助项目（513190701） 　　作者简介：殷永峰(1978-),男,山东潍坊人,博士,主要研究方向为软件可靠性、嵌入式软件测试技术(yyf@buaa.edu.cn)；刘斌(1967-),男,教授,博士,主要研究方向为软件可靠性、嵌入式软件测试技术；姜同敏(1949-),男,教授,博导，主要研究方向为系统工程、环境工程.??* 　　 　　(北京航空航天大学 工程系统工程系，北京 100083) 　　摘 要：基于嵌入式软件实时性、嵌入式和反应式等特点，对UML进行了实时性扩展，运用多种UML视图描述嵌入式系统的结构和行为，提出了如何从基于UML的模型中自动生成测试用例的设计思路。 　　关键词：统一建模语言；面向对象；嵌入式软件；测试场景；测试用例 　　中图分类号：TP311 　　文献标志码：A 　　文章编号：1001-3695(2008)10-3018-04 　　Test cases generation of embedded software testing based on UML technique 　　YIN Yong-feng，LIU Bin，JIANG Tong-min 　　(Dept. ofSystem Engineering of Engine Technology, Beihang University, Beijing 100083, China) 　　Abstract:To consider the feature of embedded software, such as real-time and interactive, this paper made real-time extension to UML, and used many kinds of UML diagrams to describe the structure and action of embedded software, further more, addressed some ideals to the process of how to generate test cases from the UML models automatically. 　　Key words:UML(unified modeling language);object-oriented；embedded software;test scenario;test case 　　 　　0 引言 　　目前，国内外提出了很多基于UML模型自动生成测试用例的解决方法。Cavarra等人提出了用UML对测试过程进行建模，需要考虑结合测试意图、测试约束以及一些覆盖准则[1]；I-Logix公司开发的Rhapsody，是一个基于UML支持实时嵌入式系统全过程面向对象开发的CASE工具，能根据模型自动生成嵌入式系统代码。国内也有提出用UML活动图来描述复杂系统的操作流以及转换成用例模型的三级转换过程[2]，还有基于UML状态图的实时嵌入式软件测试用例生成技术[3]。采用有效的建模方法描述问题域，并选择合适的测试策略，是自动化生成高质量测试用例的关键。由于实时嵌入式软件日益庞大和复杂，传统的测试技术已经不堪重负了，面向对象的软件测试技术引入以及应用UML对测试过程建模成为了解决嵌入式软件测试难题的重要环节。 　　本文提出了一种基于UML的测试用例生成方法，针对嵌入式软件测试的需要给出了具体的UML扩展思路和建模方法，并且探讨了生成测试用例的过程以及依据的准则。 　　1 UML实时扩展 　　1??1 UML扩展机制 　　尽管UML提了很多丰富的视图来对系统建模，但也很难表示诸多领域的种种模型，这些模型可能有着细微的差别，用已有的模型来描述，可能使测试和开发人员对系统的理解也产生偏差。UML提供了扩展机制来根据实际的项目定制自己的UML。UML的扩展机制包括构造型、标记值和约束三个部分[4]。UML的这些扩展机制方便用户构造更复杂的模型，或者描述某些细微的语义，所以这种扩展可以应用到各种领域，如嵌入式系统、Web应用或测试等领域。 　　1??2 嵌入式系统的特点 　　嵌入式系统往往具有小型化、实时性、并发性、可靠性高等特点，而且有很多交联子系统，因此嵌入式软件系统的开发与测试要比非嵌入式系统困难得多，一般的工具难以对其进行系统测试。目前比较公认的方法是软件仿真测试环境，但该方法的测试输入主要还是靠人工输入或人工编写脚本来完成。因此能否将UML建模的自动化测试技术应用到嵌入式软