论文部分内容阅读
随着模型驱动开发技术的逐渐成熟以及代码自动生成技术的出现,基于模型驱动的开发方法在软件开发领域被广泛应用。模型驱动开发使得开发人员可以更多地关注于系统逻辑设计,即在更加抽象的层次上进行开发而无需关注代码框架的设计,从而提升了开发效率。针对航天系统需要对高层功能行为建模的开发特性,本文提出了基于状态图和流程图相结合的层次化建模方法,并且针对状态图模型到代码的自动生成、流程图模型到代码的自动生成、以及层次化的模型到代码的自动生成三方面问题进行了分析和研究。针对状态图,研究并分析了最流行的嵌套switch语句的实现技术。针对流程图的代码自动生成,基于流程图结构分析与识别算法,对流程图做了半结构化到结构化的转换、循环的线性化以及各分支结构域的确定等处理,使得流程图由图结构转化为与代码对应的线性结构,从而实现流程图到C代码的自动生成工作。针对层次化建模,设计了自顶向下的层次化模型嵌套关系,同时加入了数据字典以控制对全局量的使用,并对流程图模型进行扩展,加入了详细的代码语义,设计并实现了符合编程规范的层次化模型的代码自动生成系统。实验表明在本文实现的以层次化建模中代码自动生成技术为基础的代码自动生成系统简单易操作,代码生成效率高。