用户名: 密码: 登 录   个人中心   系统维护   用户注册  联系我们
当前位置 >首页 > 标准信息

全文阅读 全文下载 章节阅读

基本信息

GJB 5369-2005
航天型号软件C语言安全子集
Safe subset of C language for space armament software
2005-04-11
2005-07-01
有效
宋晓秋
航天科工集团公司二院706所
航天科工集团公司
中国航天标准化研究所
国防科学技术工业委员会
逻辑表达式;重新定义;禁止使用;有符号类型;操作符
【范围】 本标准规定了 C 语言软件的编程准则。准则分为推荐和强制两种类型,推荐类为参照执行的准则, 强制类为必须执行的准则。 本标准适用于航天型号 C 语言软件。
【与前一版的变化】

引用文件/被引文件

软件工程术语
动中通地球站发射电磁频谱特性要求

相关标准

航天用锌银蓄电池通用技术条件
航天用锌银蓄电池系列
引信安全系统失效率计算方法
常规兵器定型试验方法反坦克导弹系统 安全鉴定
导弹火炮在舰上发射时的脉冲噪声对听觉的安全限值
地面雷达情报处理和传递系统通用技术条件软件要求
航天用GH4169合金锻制圆饼
航天用GH4169高温合金锻制圆饼规范
航天用GH 4169合金圆棒
空-空导弹最低安全要求

包含图表

-个过程名禁止被重用
标号名禁止被重用
标号名禁止被重用
禁止在结构体定义中含
禁止声明多重标号
参数必须使用类型声明
在过程声明中必须对参
禁止过程参数只有类型
禁止在过程参数表中使
禁止重新定义使用 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
禁止单独使用小写字母

标准反馈


  • 问题类型:
    反    馈: