基于模型驱动嵌入式软件测试技术研究.docVIP

基于模型驱动嵌入式软件测试技术研究 　　【 摘 要 】 软件测试是保证软件可靠性的一种最重要的手段，而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测试是一种自动化程度较高的测试方法。论文对模型驱动测试技术进行了综述，对测试需求建模、PIM转换到测试模型、测试用例生成方法的相关文献进行了调研。 　　【 关键词 】 模型驱动测试；测试需求建模；UML；MARTE 　　【 中图分类号 】 TP3-05 　　【 文献标识码 】 A 　　【 Abstract 】 Software testing is one of the most important means for assuring the software reliability， and the software automated testing is a very effective way to ensure the efficiency of software testing. Model driven software testing is a high degree of automated testing methods. In this paper， the model-driven testing technology were reviewed， and the relevant literature of the test requirements modeling， PIM converted to test model， test case generation method were investigated. 　　【 Keywords 】 model driven testing； test requirements modeling； uml； marte 　　1 引言 　　软件测试是保证软件质量与可靠性的一种十分重要的手段，是一种检查软件系统实现正确性的可操作的方法[1]。然而，研究表明，测试时间大概会占据软件开发周期的30%-50%。也正是因为测试工作会消耗巨大的时间成本，因此，在确保软件质量的前提下，缩短测试周期便成了软件测试领域专家研究的重点。自动化测试也已经成为当前软件测试发展的趋势，可以有效的缩短测试时间和减少成本，同时也可减少手动生成的失误。软件自动化测试技术需要不断的发展和丰富才能满足测试的需要。 　　基于模型驱动的软件测试技术是实现自动化测试的一种十分有效的手段。OMG于2001年正式提出了一种以应用模型技术进行软件系统开发的方法论和标准体系的框架规范：模型驱动体系结构MDA（MDA，Model Driven Architecture）[10，71]。其划分了两种模型，平台无关的模型（ Platform Independent Model，PIM）与平台有关的模型（Platform Specific Model，PSM），将系统的功能描述和系统在特定平台上的实现分离开来，这种技术的出现在很大程度上解决了软件开发效率慢和复用率低的问题[12]。随着UML 2.0 Testing Profile的发布，模型驱动测试作为一种响应模型驱动开发过程的自动化测试方法，国内外已经开展了很多相关研究，由前期的理论探索论证阶段逐步转入到了发展与实践阶段。 　　WANG Lin-Zhang [2]认为模型驱动测试就是通过对SUT的软件需求进行分析，然后再结合测试策略构建全面、清晰的测试模型，最后通过测试模型自动生成测试用例。模型驱动软件测试只需要关注测试模型的构建和模型转换的定义，测试的后续工作就可由计算机自动实现，使得测试人员能够专注于测试模型的开发，利用算法自动生成测试用例，真正的提高了软件测试的自动化水平。 　　模型驱动测试技术有两个技术要点：一是可用于生成测试用例的测试模型构建；二是测试用例生成方法。 　　系统设计模型（PIM，平台无关模型）可直接用于测试生成，该模型在开发过程中即可实现；使用建模语言在系统设计模型的基础上建立测试模型，一是可以直接建立测试需求模型，二是可以将PIM转换得到测试模型。模型驱动测试过程的概括总结如图1所示。 　　本文接下来阐述了模型驱动测试技术的几个要点，测试模型的构建方法；遍历模型、智能算法、模型检验、用例优化等测试用例生成方法；最后一部分是对全文综述的总结。 　　2 测试模型构建 　　在模型驱动测试方法领域，可供我们使用的建模语言有很多种，更有很多关于测试需求建模方法的研究。 　　建模语言大体可分为非形式化、半形式化、形式化三种。使用形式化语言构建测试需求模型，有助于提高系统测试的自动化程度[20]。但目前常用的几种建模语言大都是非形式化和半