基于符号执行的指挥信息系统软件缺陷检测技术

摘要：

随着指挥信息系统软件规模的扩大,如何检测指挥信息系统软件当中存在的缺陷已经成为保证指挥信息系统软件质量的一个关键问题,本文介绍了一种使用符号执行技术检测指挥信息系统软件缺陷的方法,提出了符号执行缺陷检测系统的框架和检测流程的构想,为检测指挥信息系统软件缺陷提供了思路.

关键词： 军事工程 指挥信息系统 软件缺陷 检测流程 符号执行

作者: 刘峻宇 李强 余祥 何海洋

作者单位: 解放军电子工程学院702教研室,安徽合肥,230037

会议类型: 国内会议

会议名称: 第二届中国指挥控制大会

会议地点: 北京

会议语种:中文

页码: 103-106

在线出版日期: 2014-08-01（万方平台首次上网日期，不代表论文的发表时间）