军用指挥控制软件可信性分析与验证技术

• 作者: 董龙明 许婧祺 郝丽波
• 来源期刊: 火力与指挥控制
• 学科: 工学
• 关键词: 军用指挥控制软件 分析与验证技术 模型检验 静态分析
• 年，卷（期）: 2015,（8）
• 页码范围: 176-180
• 页数: 5页
• 分类号: TP39
• 字数: 5427字
• 语种: 中文

摘要

随着武器装备信息化程度越来越高,军用指挥控制软件的可信性直接关系到装备整体效能的发挥.在对传统软件质量保证技术研究的基础上,结合军用指挥控制软件的特点,提出了基于形式化方法的软件分析与验证技术.分别从安全性质形式化规约技术、基于模型检验的指挥软件验证技术和基于静态分析的控制软件分析技术三方面保证军用指挥控制软件的可信性,最后,提出了适用于指挥控制软件全生命周期开发的形式化分析与验证集成环境.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许婧祺		15	48	4.0	6.0
2	董龙明		1	3	1.0	1.0
3	郝丽波		14	49	3.0	6.0