论文部分内容阅读
Fuzzing测试技术是发现程序漏洞一种行之有效的技术，本文提出了一种新的自动化的白盒测试技术，传统意义的Fuzzing测试技术是在对输入文件的基础语法结构完全不了解的情况下通过随机的改变输入文件信息来生成测试用例，而基于故障注入的白盒Fuzzing测试技术会动态的定位在程序中影响程序执行的关键变量或系统调用，找出程序的脆弱点，并用故障注入的方法来改变测试的输入文件。而且采用故障注入Fuzzing技术生成的测试输入文件会保留其原来的基本句法结构，因此它们可以通过程序的输入解析机制，使得代码能执行到程序的核心功能部分。由于这种Fuzzing技术是针对输入文件的格式来发现脆弱点的，不会去改变其测试输入文件的语法结构，所以它们尤其适合那些具有复杂的、具有高度结构化输入文件格式（例如视频、图片和文本格式）的程序。