基于GJB5369-2005的分级报告策略

摘要：

航天型号C语言安全子集是确保程序安全、正确运行的编程设计规范,它由语法、语义等级别的安全使用规则构成.支持C安全子集是减少航天型号、军工型号应用在执行环境中的安全隐患的重要途径之一.本研究将对C语言安全子集规范进行细化分类,依据其危险程度形成不同安全等级;为C语言安全子集形成一整套规则化处理流程,包括对不同安全等级的规范建立一套规范化识别、分析以及决策处理流程.

关键词：安全子集、分级流程、危险程度

所属期刊栏目：13

分类号：TP314(计算技术、计算机技术)

在线出版日期：2017-11-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：86,94