用户名:
密码:
登 录
个人中心
系统维护
用户注册
联系我们
当前位置 >
首页
> 标准信息
全文阅读
全文下载
章节阅读
基本信息
【标准号】
GJB 5369-2005
【中文名称】
航天型号软件C语言安全子集
【英文名称】
Safe subset of C language for space armament software
【发布时间】
2005-04-11
【实施时间】
2005-07-01
【有效性】
有效
【起草人】
宋晓秋
【起草单位】
航天科工集团公司二院706所
【提出单位】
航天科工集团公司
【归口单位】
中国航天标准化研究所
【批准单位】
国防科学技术工业委员会
【分类】
【备案号】
【自动关键词】
逻辑表达式
;
重新定义
;
禁止使用
;
有符号类型
;
操作符
【范围】
本标准规定了 C 语言软件的编程准则。准则分为推荐和强制两种类型,推荐类为参照执行的准则, 强制类为必须执行的准则。 本标准适用于航天型号 C 语言软件。
【与前一版的变化】
引用文件/
被引文件
GB/T 11457-1995
软件工程术语
GJB 9601-2019
动中通地球站发射电磁频谱特性要求
相关标准
·
GJB 326-87
航天用锌银蓄电池通用技术条件
·
GJB 327-87
航天用锌银蓄电池系列
·
GJB 346-87
引信安全系统失效率计算方法
·
GJB 349.30-90
常规兵器定型试验方法反坦克导弹系统 安全鉴定
·
GJB 12-84
导弹火炮在舰上发射时的脉冲噪声对听觉的安全限值
·
GJB 701.9-89
地面雷达情报处理和传递系统通用技术条件软件要求
·
GJB 712-89
航天用GH4169合金锻制圆饼
·
GJB 712A-2001
航天用GH4169高温合金锻制圆饼规范
·
GJB 713-89
航天用GH 4169合金圆棒
·
GJB 357-87
空-空导弹最低安全要求
包含图表
-个过程名禁止被重用
标号名禁止被重用
标号名禁止被重用
禁止在结构体定义中含
禁止声明多重标号
参数必须使用类型声明
在过程声明中必须对参
禁止过程参数只有类型
禁止在过程参数表中使
禁止重新定义使用 C
禁止过程或函数中的参
禁止定义不象函数的宏
禁止在宏中包含不允许
禁止重新定义保留字
字符型变量必须明确定
禁止对-个名字重新定
禁止对-个名字重新定
用 typedef 自定义的
禁止数组没有边界限定
禁止在#include<……>
禁止在#include<……>
禁止结构体声明不完整
禁止参数的声明形式上
推荐类
避免将过程定义为参数
过程中避免使用过多的
在结构体定义中谨慎使
避免在-个程序块中单
避免在-个程序块中单
谨慎使用#pragma
谨慎使用联合(union)
谨慎使用联合(union)
在结构体中谨慎使用无
循环体必须用大括号括
then/else 中的语句必
then/else 中的语句必
逻辑表达式的连接必须
禁止在头文件前有可执
宏参数必须用括号括起
嵌入汇编程序的过程必
禁止字符串中单独使用
main 必须定义为 int
禁止条件判别成立时相
在 if…else if 语句
禁止条件判别的 else
在 switch 语句中必须
禁止使用空 switch 语
禁止 switch 语句中只
禁止 switch 语句中只
禁止 switch 的 case
禁止 switch 的 case
禁止 switch 的 case
禁止将参数指针赋值给
禁止指针的指针超过两
禁止将过程声明为指针
谨慎使用指针的逻辑比
谨慎对指针进行代数运
禁止直接从过程中跳出
禁止直接从过程中跳出
禁止使用 goto 语句
避免使用 setjmp/long
禁止在非赋值表达式中
禁止在非赋值表达式中
数组的使用必须保证不
禁止对有符号类型进行
对变量进行移位运算必
禁止给无符号变量赋负
有符号类型的位长度必
位的定义必须是有符号
禁止给变量赋的值与变
赋值类型必须匹配
数组下标必须是整型数
禁止对常数值做逻辑非
禁止对有符号类型使用
禁止对有符号类型使用
禁止对枚举类型的越限
禁止在逻辑表达式中使
禁止赋值操作符与“&&
禁止赋值操作符与“&&
禁止位操作符带有布尔
禁止位操作符作用于布
避免使用逗号操作符
谨防长度操作符 sizeo
谨慎使用不同类型变量
避免由于设计的原因导
避免由于设计的原因导
实参与形参的个数必须
主过程所在文件中禁止
static 类型的过程在
在不能使用 extern 的
禁止同-个表达式中调
禁止同-个表达式中调
禁止 void 类型的过程
禁止 void 类型的变量
禁止实参和形参类型不
函数和原型参数类型必
避免以非调用方式使用
避免以非调用方式使用
谨慎使用 abort,exit
禁止单独使用小写字母
标准反馈
     反馈标准:
问题类型:
技术性问题
逻辑性问题
应用性问题
编辑性问题
其它问题
反 馈: