一种基于程序变异的军用软件安全性缺陷检测算法

摘要

为解决军用软件中存在的安全性缺陷问题,基于软件故障注入技术——静态故障注入方法,提出一种新的程序变异测试方法,并设计了该算法的测试流程.通过笔者所在软件测评实验室的源代码测试工具DTS对5个软件的源代码进行了缓冲区溢出检测的实验,结果表明该方法能够有效地、精确地检测缓冲区溢出.