模型驱动的软件测试研究
MDA(Model-Driven Architecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试生成问题成为研究热点.本文从过程、方法与工具三个方面研究了模型驱动的测试,首先提出与软件开发过程集成的模型驱动的软件测试过程;其次讨论了与过程对应的模型驱动的测试方法,基于PIM生成平台无关的测试(PIT),定义并实现了从PIT到平台相关的测试(PST)的映射算法,使得PST能够直接在相应平台上执行以发现软件实现是否与规约一致;最后,对上述过程中的方法提供工具支持.本文过程和方法在一个基于三层Web应用的在线银行系统上得到了实现.
MDA、MDT、PIM、PSM、PIT、PST
32
TP31(计算技术、计算机技术)
国家高技术研究发展计划863计划2002AA116090;国家自然科学基金60207036,60233020;国家重点基础研究发展计划973计划2002CB312001
2005-11-17(万方平台首次上网日期,不代表论文的发表时间)
共6页
230-235