模型驱动的软件测试研究  

Research on Model-driven Software Testing

作　　者：王林章[1] 李宣东[1] 郑国梁[1] 

机构地区：[1]南京大学计算机科学与技术系,南京210093

出　　处：《计算机科学》2005年第10期230-235,共6页Computer Science

基　　金：863项目(2002AA116090);自然科学基金项目(60207036.60233020);973项目(2002CB312001)

摘　　要：MDA(Model-DrivenArchitecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试生成问题成为研究热点。本文从过程、方法与工具三个方面研究了模型驱动的测试,首先提出与软件开发过程集成的模型驱动的软件测试过程;其次讨论了与过程对应的模型驱动的测试方法,基于PIM生成平台无关的测试(PIT),定义并实现了从PIT到平台相关的测试(PST)的映射算法,使得PST能够直接在相应平台上执行以发现软件实现是否与规约一致;最后,对上述过程中的方法提供工具支持。本文过程和方法在一个基于三层Web应用的在线银行系统上得到了实现。MDA （Model-Driven Architecture） is proposed to reuse the platform-independent design and to realize the integration and interoperation of different middleware by separating and inter-transforming of platform-independent model （PIM） and platform-specific model （PSM）, Thus the design of PIM is focused on during the software development, and to solve the problem of test generation at modellevel become popular. This paper discusses the process, the method and the supporting tools of the model-driven software testing. Firstly, the model-driven software testing process is integrated with the model-driven software development. Secondly, abiding by the above process, platformindependent test （PIT） is generated from PIM, and is then transformed into platform-specific test （PST） by mapping to the specific platform. The PST is used to run the implementation in certain platform to find the inconsistency between the specification and the implementation. Lastly, an automatic tool is designed to support above process and method. The method is aoolied in the testing of an online bank system.

关 键 词：MDA MDT PIM PSM PIT PST 模型驱动 测试研究 软件开发 生成平台 软件测试过程 过程集成 Web应用 相互转换 测试生成 

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