GJB 中华人民共和国国家军用标准 GJB/Z 102A-2012 FL 0112 代替GJB/Z102-1997 军用软件安全性设计指南 Guide for military software safety design 2012-07-24 发布 2012-09-01实施 中国人民解放军总装备部‧批准 GJB/Z 102A-2012 目 次 前言 1 范围· 引用文件· 3术语、定义和缩略语· 3.1 术语和定义 3.2 缩略语· 4 一般要求· 4.1 软件安全性工作通用要求 4.2 外购(协)或重用软件的要求 4.3 工具的验证要求· 5 详细要求 5.1 概述· 5.2 软件需求分析 5.3 软件设计 5.4 软件实现· (资料性附录) 软件安全性等级的确定方法， 21 附录 B (资料性附录) 现货软件检查单示例· 24 (资料性附录) 软件故障树分析（SFTA)· 26 附录 D （资料性附录） X86汇编语言安全性编码原则 附录E (资料性附录) 51系列汇编语言安全性编码原则 37 附录 F (资料性附录) 中断分析检查表· 42 参考文 44 GJB/Z 102A-2012 前言 本指导性技术文件代替GJB/Z102-1997《软件可靠性和安全性设计准则》。与GJB/Z102-1997相 比，本次修订主要有如下变化： a）名称改为《军用软件安全性设计指南》； b）增加了软件安全性工作通用要求、外购(协)或重用软件的要求、工具的验证要求； c） 增加了软件需求分析、软件设计和软件实现等三个活动中安全性有关要求； d) 增加了中断设计、通讯设计、自检查设计、异常保护设计、指针使用等方面内容； 对接口设计、简化设计、余量设计、防错设计、多余物处理、编码原则等方面内容进行了修改 和完善； f) 删除了GJB/Z102-1997的附录A和附录C，增加了附录B～附录G，GJB/Z102-1997的附录 B纳入了GJB/Z102A的附录A。 本指导性技术文件的附录A～附录F为资料性附录。 本指导性技术文件由总装备部电子信息基础部提出。 本指导性技术文件起草单位：总装备部电子信息基础部标准化研究中心、航天科工集团公司第706 所、船舶重工集团公司第716所、航天科技集团第一研究院12所、航天科技集团公司第710所、航空 工业集团公司第618所。 本指导性技术文件主要起草人：王纬、潘华、石柱、李素民、潘冠华、解月江、王勇、 王晓玲、梁敏、段锐宁、郑重、姚苏。 本指导性技术文件于1997年11月首次发布。 II