<正>软件是现代信息化武器装备的灵魂,是决定装备作战能力的关键要素,这在新一代航空航天装备中体现尤为突出。F-35"闪电"是美军在役最先进的第五代战斗机,属于典型的软件定义数字化战机。F-35硬件采用通用模块化设计,通过软件实现了战机的绝大部分功能。飞行软件源代码规模超过800万行,软件研发投入超过108亿美元,通过从Block1A到Block3F的6次软件版本升级,大幅提高了环境感知、