【摘 要】
：
MDA(Model-Driven Architecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而
论文部分内容阅读
MDA(Model-Driven Architecture)旨在基于平台无关的模型(PIM)和平台相关的模型(PSM)之间的分离和相互转换来复用平台无关的设计,实现异构中间件平台之间的集成和互操作,从而把软件开发的重点提前到PIM的设计上,也使得在模型级解决测试生成问题成为研究热点.本文从过程、方法与工具三个方面研究了模型驱动的测试,首先提出与软件开发过程集成的模型驱动的软件测试过程;其次讨论了与过程对应的模型驱动的测试方法,基于PIM生成平台无关的测试(PIT),定义并实现了从PIT到平台相关的测试(PST)的映射算法,使得PST能够直接在相应平台上执行以发现软件实现是否与规约一致;最后,对上述过程中的方法提供工具支持.本文过程和方法在一个基于三层Web应用的在线银行系统上得到了实现.
其他文献
在基于时间触发的CAN协议的实时分布系统中,时间触发的CAN协议的任务调度是一个重要的问题.一种多项式时间复杂度的优化算法被提出来构造调度表,其基本周期有4种假定情况,其
面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念.本文介绍了一种面向对象Petri网模型(Objec
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
为了提高嵌入式软件的生产率,本文提出了一种基于构件的嵌入式软件平台模型CBMESP.CBMESP将软件开发平台与运行平台以统一的构件模型进行构件化,使其可以应用于各种嵌入式领
软构件刻面分类法是一种被各大软构件库系统广泛采用的分类方法,但是传统的刻面分类法需要人工建立和维护庞大的术语空间,增大了软构件建库和入库的工作量.利用基于SOM神经网