2019-05-03 美国 来源：DARPA官网 领域：科技战略
关键词：
据DARPA官网5月3日消息，DARPA启动“软件快速自动认证”（ARCOS）项目，以加速军事系统和平台的软件认证速度。DARPA认为，当前军事系统软件认证以人工为主，软件认证成本高、周期长且不全面，ARCOS项目将综合模型设计技术（model-based design technology）、代码学习（“Big Code” analytics）及数学分析等领域的进展，开发软件自动认证流程及工具，以满足大量军事软件认证的需求。
