论文部分内容阅读
随着计算机软件功能的多样化,其规模和复杂程度也在日益增加。计算机软件的可用性、稳定性、可控性成了不可忽视的的重要因素。尤其在航天领域,由于缺乏可以复用的软件和有效的设计辅助手段,开发效率低下,已难以适应新的发展需求。急需改变软件生产方式,提高软件生产率。模型驱动开发技术的逐步发展为解决这个难题提供了一种方案。它能显著提高软件的开发效率,增加软件的可移植性,并能降低系统复杂度,提高软件质量,使软件开发逐渐从以代码为中心转向以模型为中心。本文首先研究空间站控制系统软件的传统开发流程及其出现的问题,分析了基于模型驱动开发的历史与现状,研究了模型驱动架构的核心理念与基本原理,指出了可视化建模工具可以借鉴的理论成果和实践经验。其次提出一种控制算法的组件封装的方法,针对控制算法不规范,难以重复使用的问题,通过对代码进行特殊注解,利用外部工具对代码和注解进行扫描封装,实现对现有控制算法的重用和规范化。然后利用有限状态机与流程图理论,提出一种状态图与流程图相结合的可视化建模方法,解约了空间站变结构组合体控制软件代码集成困难的问题,实现了控制软件复杂变结构的可视化建模。接着利用代码生成技术,自动生成可视化模型代码,避免手工生成代码,减少重复性劳动。最后以上述研究为基础,开发了可视化建模软件,验证了本文理论与方法的有效性。