我现在知道很多编程语言。回到我 18 岁的时候，我几乎加入了美国空军，并且对 Ada 进行了测试。那是十多年前的事了。 Ada 编程语言在军队中是否仍然像以前一样重要？
我想知道新的军事软件项目是否仍然使用 Ada 作为他们的首选语言进行编程。
【问题讨论】：
是的，由于 Ada 用于关键任务设备在软件错误的情况下可能导致重大灾难的地方（如航空电子设备、空中交通管制，当然还有军事），它仍在这些行业中使用，我怀疑它们会改变.
【讨论】：
今天，Ada 仍有新项目正在开发中。需要 Ada 的授权在几年前就被取消了，但对于某些应用程序来说，Ada 是唯一可靠（“可信”）的选项。
Ada the Language: Alive and in Flight - October 10, 2016摘录：
国防部软件开发的不断变化的环境 近两个 几十年来，Ada 编程语言一直是 国防部 (DOD) 为改进其软件所做的努力 工程实践。国防部在 1970 年代创建了 Ada，作为 满足其特殊要求的部门标准 对于嵌入式和关键任务软件，也将鼓励 好的软件工程。新语言和新软件 与之相关的工程理念遭到了一些批评， 结果就进化了。如今，Ada 是最常用的 任务关键型防御软件的语言，包括武器 系统和性能关键的指挥、控制、通信和 情报（C3I）系统。国防部的库存包含近5000万 这些应用程序中的 Ada 代码行 (Hook et al., 1995)。鉴于 这种系统的使用寿命长，国防部已经取得了显着 投资艾达科技。 Ada 是第二个最常用的 国防部自动化信息系统的语言（在 Cobol 之后） 包括工资和物流计划。国防部清单包含 这些应用程序中有超过 800 万行 Ada 代码（Hook 等 等人，1995 年）。
【讨论】：
2016 年 11 月，美国国家标准与技术研究院 (NIST) 发布了 NIST-IR-8151“大幅减少软件漏洞”报告。该报告可在https://doi.org/10.6028/NIST.IR.8151 获取。 以下是该报告的摘录：
软件度量和度量减少的两个演示文稿 安全漏洞 (SwMM-RSV) 研讨会，Andrew Walenstein 的 “测量软件可分析性”和 James Kupsch 的“处理 对静态分析不透明的代码”，指出新的方向 软件措施。两者都强调代码应该服从 自动分析。两者都提出了定义其含义的方法 该代码易于分析，为什么可分析性有助于 减少漏洞以及如何衡量和分析可分析性 增加了。
有一些编程语言的子集被设计为 可分析，例如 SPARK，或不易出错，例如 Less 哈顿的 SaferC.研讨会参与者普遍倾向于使用更好的 语言，例如函数式语言，如 F# 或 ML。 但是，没有对语言的特别建议，或者 未来的语言。
我们注意到，除了少数例外，例如 Ada 2012 [Barnes13]，它 有 SPARK，新语言的工具支持很差。支持 工具的构建对于新工具的采用和安全使用至关重要 语言。
【讨论】：