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

来源 :全国抗恶劣环境计算机第二十三届学术年会 | 被引量 : 0次 | 上传用户:zxhua2006
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文主要针对国军标《GJB5369-2005航天型号软件C语言安全子集》标准中具有典型特征的强制规则,结合基于模型的软件开发方法以UML状态机图方法描述的软件模型为对象,使用基于工作流引擎的oAW代码生成技术提出一种代码生成方法,设计符合C语言安全子集标准的代码生成模板并生成符合相应强制规则的高安全性C代码.
其他文献
目的:比较高强度聚焦超声与子宫肌瘤剔除术治疗子宫肌瘤的效果.方法:选取92例子宫肌瘤患者,给46例(对照组)和46例(观察组)分别实施子宫肌瘤剔除术和高强度聚焦超声治疗,比较
本着使增强前后图像色彩不发生偏差的原则,提出了基于颜色恒常性的图像增强客观质量评价标准,为了兼顾对图像可懂度的评价,提出了将图像清晰度与基于颜色恒常性的图像增强客
软件克隆检测在软件维护、软件结构优化等方面具有重要价值和意义.本文首先阐述了软件克隆的定义和分类,然后在基于文本的代码克隆检测方法基础上提出了一种基于增强点阵图法
研究了两个羊肚菌种在6种栽培料上菌丝的生长情况和菌核的培养特征。结果表明,普通羊肚菌在菌丝生长和菌核形成方面都优于黑脉羊肚菌;以北芪渣为辅料的栽培料效果最佳,菌丝生长
随着Web服务技术的发展,组合服务渐渐受到人们的关注,而如何提高Web服务组合的效率是研究的焦点.本文以提高组合服务的QoS(即服务质量)为出发点,首先利用Pareto占优筛选精英
目的:评价TTM技术在冠心病风险筛查中的应用价值.方法:采用的是本院在18年初至20年初的所有数据,抽查了其中二百个冠心病患者作为调研目标,采用随机分组的方式,在临床诊断方
目的:讨论肿瘤科临床教学中阶段性专科护理带教方法的应用及效果.方法:选取我院2019年1月-2019年12月到肿瘤科实习的60名学生,将学生依据平均分配法分成实验组和对照组,每组3
目的:探讨无痛分娩技术在产科临床中的应用价值.方法:研究对象为我院我院产科2020年3月至2020年9月接诊的638例产妇,按照产妇分娩意愿分为观察组和对照组,观察组332例(无痛分
传统武器装备仿真系统中实装软件与仿真软件缺乏一致性、仿真节点冗余严重,文中提出一种基于软件虚拟运行环境的集中式仿真方法.首先,针对实装软件研制平台移植与网络集成中
目的:探讨在帕金森病治疗中美多巴联合普拉克索的效果及对生活质量的改善作用.方法:观察样本(2019.06-2020.9期间南通市中医院神经内科帕金森病人)取56例,随机分为观察组(美