军工企业都用什么编程语言？

https://m.toutiao.com/is/iRNWcr8N/ 

军工企业都用什么编程语言？源代码都有哪些规范要求？C语言一样吗？

一、军工企业常用的编程语言规范：

GJB 1383A-1998《程序设计语言Ada》

GJB5359-2005《航天型号软件C语言安全子集》

GJB8114-2013《C/C++语言编程安全子集》总装备部

GJB 5026-2001k《嵌入式计算机实时操作系统通用要求》

GJB 7714-2012《军用嵌入式实时操作系统应用编程接口》

GJB 8045-2013《军用应用软件人机界面测试规程》

GJB 9432-2018《军用可编程逻辑器件软件开发通用要求》

都是C语言，军标有什么不同，拿GJB8114-2013的定义声明，就有“准则R-1-1-16”，要求外部声明的变更，类型必须与定义一致。提供一个'有违背'的源代码示例，提供一个'有遵循'的源代码示例。再举2个准则违背的例子：

准则R-1-6-3：禁止在逻辑表达式中使用赋值语句，提供了1个违背的源代码示例：

if(i=1) //违背

准则R-1-6-3，禁止对逻辑表达式进行位运算，提供了2个违背的源代码示例：

if((x==1)|(y==2)) //违背1if((x==3)&(y==4)) //违背2

#宽哥有理军事观察#

这就是军用领域与民用领域的软件开发最大的区别，因为军用领域都是复杂工况下运行，像导弹、核弹、战斗机、雷达等的源代码都是在高速高温等极限环境下运行，源代码的静态性、可靠性要求就非常高。并且形成一套成熟的软件系统不仅需要编程语言严谨可靠，架构设计和算法逻辑也要非常耐造，还需要大量的测试和验证。

并且像战略导弹、战斗机、火控雷达、防空雷达这些核心武器的源代码还需要做防泄密和防反编译设计，一旦这些源代码泄露或被反编译，就可能被敌方研制出反制武器或反制策略，一旦开战将处于先发无用、或有效攻击减弱的被动局面，严重的可能变成一堆废铁。

二、相关《标准文件》的还有：

GJB 2786A-2009《军用软件开发通用要求》

GJB 438B-2009 《军用软件文档编制规范 》

GJB 439A-2013 《军用软件质量保证规范》

GJB451A-2005 《可靠性、维修性、保障性术语 》

GJB841-1990 《故障报告、分析和纠正措施系统》

GJB 1684-1993《军用JOVIAL语言》

GJB 7711-2012《军用中间件应用编程接口》

GJB 7712-2012《军用中间件界面要求》

GJB 7710-2012《军用嵌入式实时操作系统用户界面要求》

GJB 4893A-2018《超级计算机并行操作系统设计要求》

三、常用《标准体系》有：

GJB（国军标-国家军用标准）

HB（航标-航空行业标准）