一种自动机学习和符号化执行的软件自动测试方法

摘要：

针对高可信软件提出一种软件脆弱性自动测试方法.与传统测试方法不同,该方法对待测试程序进行预处理,使用自动机学习算法构造软件与环境交互的抽象机模型,在符号化执行迭代过程中利用抽象机模型指导符号化执行,并动态生成测试数据,同时精化交互抽象机用于后继的符号化迭代测试.解决了传统符号化执行测试技术中缺乏指引、具有较高盲目性的问题,同时也提高了符号化执行测试的效率和代码覆盖率.

关键词：自动机、自动测试、符号化执行、抽象机

所属期刊栏目：40

分类号：TP309(计算技术、计算机技术)

资助基金：中央高校自主科研基金CCNU11A01012,CCNU11A02007;湖北省自然科学基金2010CDB04001

在线出版日期：2013-10-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：161-164