10.3969/j.issn.1002-137X.2013.08.034
一种自动机学习和符号化执行的软件自动测试方法
针对高可信软件提出一种软件脆弱性自动测试方法.与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试.解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率.
自动机、自动测试、符号化执行、抽象机
40
TP309(计算技术、计算机技术)
中央高校自主科研基金CCNU11A01012,CCNU11A02007;湖北省自然科学基金2010CDB04001
2013-10-10(万方平台首次上网日期,不代表论文的发表时间)
共4页
161-164