GJB 8114-2013
C/C++語言編程安全子集
Safe subset of C/C+ + language programming
- 標(biāo)準(zhǔn)號
- GJB 8114-2013
- 發(fā)布
- 2013年
- 總頁數(shù)
- 157頁
- 發(fā)布單位
- 國家軍用標(biāo)準(zhǔn)-總裝備部
- 當(dāng)前最新
- GJB 8114-2013
- 適用范圍
- 本標(biāo)準(zhǔn)規(guī)定了C/C+ +語言嚴(yán)于語法規(guī)定的編程安全子集。本標(biāo)準(zhǔn)適用于C/C+ +語言編寫的軍用安全關(guān)鍵軟件,其他軍用軟件也可參照執(zhí)行。
其他標(biāo)準(zhǔn)
GJB 5435.1-2005 無人機(jī)強(qiáng)度和剛度規(guī)范 第1部分：總則
GJB 5807-2006 軍用印制板組裝件焊后清洗要求
GJB 5369-2005 航天型號軟件C語言安全子集
GB/T 14410.1-2008 飛行力學(xué).概念、量和符號.第1部分:坐標(biāo)軸系和運動狀態(tài)變量
GJB/Z 141-2004 軍用軟件測試指南
GJB 150.16A-2009 軍用裝備實驗室環(huán)境試驗方法 第16部分：振動試驗
GJB 6878-2009 武器裝備作戰(zhàn)需求論證通用要求
GJB 6922-2009 軍用軟件定型測評報告編制要求
GJB 6704-2009 無人偵察機(jī)效能分析方怯
GJB 7094-2010 軟件通信體系結(jié)構(gòu)波形裝配與部署要求
GJB 7036-2010 軟件通信體系結(jié)構(gòu)操作系統(tǒng)接口
GJB 7093-2010 軟件通信體系結(jié)構(gòu)中間件接口
GJB 7095-2010 軟件通信體系結(jié)構(gòu)硬件抽象層應(yīng)用程序接口
GJB 8000-2013 軍用軟件研制能力等級要求
GJB 7929-2012 陸軍武器裝備數(shù)碼迷彩通用要求
GJB 9160-2017 軟件通信體系結(jié)構(gòu)背負(fù)式平臺硬件模塊互連接口
GJB 7619-2012 軍用直升機(jī)速度矢量傳感器通用規(guī)范
GJB 9883-2020 軍用可編程邏輯器件軟件安全性設(shè)計準(zhǔn)則
GJB 438C-2021 軍用軟件開發(fā)文檔通用要求