论文部分内容阅读
MDA(Model Driven Architecture)软件开发模式是当前流行的软件开发方法,它通过将系统逻辑行为模型与实现平台分离,实现逻辑行为模型在不同平台间的重用,同时提出利用系统模型描述信息自动生成代码,以提高系统的开发效率。将MDA软件开发思想引入BOM(Base Object Model)组件式仿真模型开发中,一方面将用户模型(即为仿真行为逻辑模型)与仿真运行平台信息分离,可以提高用户模型在不同仿真运行平台间的重用性;另一方面,通过对组件式仿真模型的形式化描述,实现用户模型组件代码框架和BOM组件接口的自动生成,可以大大提高组件式仿真模型的开发效率。首先,论文在分析了UML语言、DEVS规范(Discrete Event system Specification)和BOM概念模型描述三种模型描述方法的基础上,提出了基于UML图形化的仿真模型形式化描述规范,并对组件式仿真模型中与平台无关的用户模型和与平台相关的BOM组件模型进行分析,给出了用户模型的描述结构和接口约束,以及BOM组件的平台映射过程。其次,分析了目前存在的代码生成技术的基本原理,比较了多种代码生成技术的差别,提出利用XSLT(XSL Transformation)技术实现组件式仿真模型的自动生成,给出了用户模型组件框架的实现结构,设计了基于XSLT的代码生成模板,分析了BOM组件模型的接口模块组成和程序结构,提出了BOM组件模型接口的生成方法,讨论了组件式仿真模型在组件式联邦成员中的应用。接着,论文给出了对组件式仿真模型的测试内容、方法和步骤,在分析传统的测试方法基础上,提出了一种基于MDA的动态测试方法,利用该方法解决了组件式仿真模型测试成员动态构建中的三个关键问题。最后,论文在理论研究的基础上,对基于UML的图形化建模工具和组件式仿真模型的测试工具进行了设计和开发,并在“XXXX工程”的电子对抗仿真系统中得到了应用和验证。