【新书上架】未来对抗条件下的国防软件——敏捷、保证与激励

简 介

本报告由美国国家科学院于2025年发布。

本报告的主要目的是向美国国防部长办公室和美国国防部高级研究计划局通报软件保证与敏捷委员会的发现和建议。

在本报告中，软件保证与敏捷委员会重点关注美国国防部的软件采办方法，包括某些有前途的新采办方法，以及软件保证方面的商业趋势和最新研究成果。

本报告主要围绕敏捷、保证和激励三个主题展开，并提出了相应的建议。

本书原文发布时间2025年7月，译文发布时间2025年12月22日。

中文全文共计81千字。  

定价：958元。

目 录

序言

摘要

S.1  敏捷

S.1.1  主要建议

S.2  保证

S.2.1  主要建议

S.3  激励

S.3.1  主要建议

第1章  引言

1.1  报告结构

第2章  敏捷

2.1  简介

2.2   实现敏捷性

2.3  本章概述

2.4  利益相关方的持续参与

2.5  能力和架构

2.6  持续集成和持续部署

2.6.1  源代码控制

2.7  美国国防部的敏捷软件开发

2.7.1  利益相关方持续参与软件采办途径

2.7.2  美国国防部系统的架构

2.7.3  持续集成/持续部署软件工厂

2.8  发现和建议

第3章  保证

3.1  简介

3.2  背景和定义

3.2.1  形式化方法

3.2.2  分析工具

3.2.3  证据

3.2.4  保证

3.3  商业现货实践

3.3.1  形式化方法

3.3.2  内存安全的编程语言

3.3.3  在旧代码的环境下进行工程实践

3.3.4  开发人员实践

3.3.5  工具

3.3.6  开发人员的行为

3.4  商业现货供应商和安全开发

3.5  政府对软件安全开发的要求

3.6  政府和合同商实践

3.6.1  超越合规

3.6.2  保证案例

3.7  发现和建议

3.7.1  安全软件开发框架

3.7.2  工具的改进和采用

3.7.3  保证培训和教育

第4章  激励

4.1  激励的重要性

4.2  目前哪些措施行之有效，哪些措施行不通

4.3  部分商业案例

4.4  发现和建议

4.4.1  项目定义

4.4.2  项目范围

4.4.3  项目安全

4.4.4  项目人才

4.4.5  跨越S曲线：从垂直整合转向平台

4.4.6  结语

第5章  机器学习、人工智能和软件系统

5.1  机器学习/人工智能赋能的软件工程

5.1.1  基于机器学习和人工智能的软件系统组件

第6章  总结——实现更敏捷、更加有保证的系统

附录A  任务说明

附录B  向软件保证与敏捷委员会介绍情况

附录C  美国国防部先前发起的软件采办研究

附录D  软件保证与敏捷委员会成员履历信息

部分内容预览

河北译普赛斯信息技术咨询有限公司，立足军事动态和学术热点的跟踪研究，着眼于热点性、关键性、长远性后装保障、作战防务、装备建设问题，旨在向军队、军工集团、参军企业等单位，提供装备保障、后勤保障、作战指挥、防务战略、前沿技术等领域的信息检索、外文翻译、情报跟踪、综合论证等服务，是一家在后装保障、作战防务、装备建设、前沿技术领域攻关实力强、科研成果多、服务品质高的综合性技术咨询公司。