用于操作地面系统的软件必须经过测试，以确保它满足技术要求，不会引入安全漏洞。通常，软件保证过程并不像它可能的那样健壮。

作为这个过程的一部分，开发人员将根据一系列常见的弱点来分析代码¹演示免疫力。这个步骤通常使用一个静态分析器。虽然各种分析器可以检查714个常见弱点中的几百个，但对于一个卫星地面站来说，没有任何一种工具可以捕捉到50个最关键弱点中的大约一半。

有鉴于此，Aerospace构建了一个基于web的自动化工具，该工具创建了一个能够执行多个软件分析程序的管道，这些软件分析程序能够共同捕捉90%到99%的关键弱点(取决于编码语言)。每个分析器的结果可提供给开发人员，并为授权人员准备一份联合报告，以支持快速过渡到操作。²

虽然软件的自动化分析并不是什么新东西，但将能够最好地捕捉卫星地面站这种严重弱点的工具结合起来，是向前迈出的一步。在快速开发环境中使用它将加速将软件发布到操作站点。

¹共同的弱点枚举,https://cwe.mitre.org。
²太空防御特遣部队的软件保证管道建议，航空报告没有。2018年4月30日，美国加利福玩必威棋尼亚州埃尔塞贡多航空航天公司的TOR-2018-01105。受限制的分布。