一种面向C语言安全子集的代码生成技术设计与实现

• 作 者: 王泊涵 王新冶 侯敏 周涛
• 机 构: 北京计算机技术及应用研究所,北京 100854
• 出 处: 全国抗恶劣环境计算机第二十三届学术年会
• 发表日期: 2013年期
• 关键词: 语言 高安全性 子集 代码生成 软件开发方法 航天型号软件 工作流引擎 生成技术

本文主要针对国军标《GJB5369-2005航天型号软件C语言安全子集》标准中具有典型特征的强制规则,结合基于模型的软件开发方法以UML状态机图方法描述的软件模型为对象,使用基于工作流引擎的oAW代码生成技术提出一种代码生成方法,设计符合C语言安全子集标准的代码生成模板并生成符合相应强制规则的高安全性C代码.