标准号:GJB 8114-2013
标准名称:C/C++语言编程安全子集
英文名称:Safe subset of C/C ++language programming
标准格式:PDF
发布时间:2013-07-10
实施时间:2013-10-01
标准大小:39.8M
标准介绍:本标准规定了CC+十语言严于语法规定的编程安全子集。
本标准适用于CC++语言编写的军用安全关键软件,其他军用软件也可参照执行。
本标准的附录A和附录B为资料性附录。
本标准由总装备部电子信息基础部提出。
本标准起草单位:总装备部电子信息基础部标准化研究中心、航天科工集团706所、船舶重工集团716所、航天科技集团12所、总参61所、电子科技集团15所、航空工业集团631所。本标准主要起草人:宋晓秋、潘华、段锐宁、宋想、姚苏、杨文宏、易敦培、刘俊阳、何枫、白小燕、张春玲、黄堡垒