标准详情
C/C++语言编程安全子集
GJB 8114-2013现行国家标准
下载标准电子版
PDF · 157 页 · 13.76MB
登录后可查看已购记录，会员和金币权益与电子标准网共用。
基础信息
标准号
GJB 8114-2013
标准状态
现行
发布日期
2022-09-17
实施日期
2022-09-17
标准简介
标准号：GJB 8114-2013标准名称：C/C++语言编程安全子集英文名称：Safe subset of C/C ++language programming发布时间：2013-07-10实施时间：2013-10-01标准介绍：本标准规定了CC+十语言严于语法规定的编程安全子集。本标准适用于CC++语言编写的军用安全关键软件，其他军用软件也可参照执行。本标准的附录A和附录B为资料性附录。本标准由总装备部电子信息基础部提出。本标准起草单位：总装备部电子信息基础部标准化研究中心、航天科工集团706所、船舶重工集团716所、航天科技集团12所、总参61所、电子科技集团15所、航空工业集团631所。本标准主要起草人：宋晓秋、潘华、段锐宁、宋想、姚苏、杨文宏、易敦培、刘俊阳、何枫、白小燕、张春玲、黄堡垒
内容预览
相关标准
| 标准号 | 标准名称 | 状态 | 发布日期 | 实施日期 |
|---|---|---|---|---|
| JJF（冀）5016-2026 | 白内障超声乳化仪校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）269-2026 | 模拟量输入输出通道模板校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）268-2026 | 工频高压试验装置校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJG（冀）275-2026 | 车用甲醇燃料加注机检定规程 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）272-2026 | 橡胶平板硫化机温度、压力参数校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）273-2026 | 直接检眼镜校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）271-2026 | 橡胶可塑性试验机校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）270-2026 | 汽车内饰材料燃烧试验机校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）274-2026 | 转子式定量给料机校准规范 | 现行 | 2026-10-12 | 2026-10-12 |
| JJF（冀）5014-2026 | 脉搏血氧计校准规范 | 现行 | 2026-10-12 | 2026-10-12 |