[发明专利]一种智能化模糊测试方法、装置及系统

权利要求书

1.一种智能化模糊测试方法，其特征在于，所述方法包括：

通过符号执行将被测目标的输入变量转换为符号化表达式；

对多路输入变量的所述符号化表达式进行执行路径约束；

根据约束后的执行路径生成测试用例；

执行所述测试用例，并获取所述测试用例的执行状态及测试数据。

2.如权利要求1所述的智能化模糊测试方法，其特征在于，所述通过符号执行将被测目标的输入变量转换为符号化表达式，包括：

利用S2E平台记录被测目标的软件内部污点数据流和程序指令控制流，获取输入污点变量；

通过符号执行得到执行路径上的输入污点变量的符号化表达式。

3.如权利要求1所述的智能化模糊测试方法，其特征在于，所述对多路输入变量的所述符号化表达式进行执行路径约束，包括：

根据多路输入变量的所述符号化表达式生成畸形化约束条件；

根据所述畸形化约束条件，对输入污点变量进行路径约束求解，得到指定代码路径。

4.如权利要求1所述的智能化模糊测试方法，其特征在于，所述智能化模糊测试方法还包括：

利用测试用例知识库提供测试用例模板，基于所述测试用例模板生成测试用例，所述测试用例知识库包括畸变数据库和测试用例模板库；

所述畸变数据库用于提供畸变数据，从而生成畸形化约束条件；

所述测试用例模板库用于提供测试用例模板，从而生成测试用例。

5.如权利要求1所述的智能化模糊测试方法，其特征在于，所述智能化模糊测试方法还包括：

在测试用例的执行过程中，采用漏洞检测算法对安全漏洞进行检测，进行检测的过程包括：

检测在测试用例执行过程中，被释放的堆内存指针是否被重用；

如果被释放的堆内存指针被重用，则判定存在安全漏洞。

6.根据权利要求5所述的智能化模糊测试方法，其特征在于，检测被释放的堆内存指针是否被重用之前，所述方法还包括：

拦截堆管理API，监控堆内存的分配和释放；

跟踪指针的传播，匹配指针和所述堆内存的映射关系；

在堆内存被释放时把与所述堆内存对应的所有指针清零置空。

7.一种智能化模糊测试装置，其特征在于，所述装置包括：

变量处理模块，用于通过符号执行将被测目标的输入变量转换为符号化表达式；

路径约束模块，用于根据所述符号化表达式对所述被测目标的执行路径进行路径约束；

测试用例生成模块，用于根据约束后的执行路径生成测试用例；

综合处理模块，用于执行所述测试用例，并获取所述测试用例的执行状态及测试数据。

8.一种智能化模糊测试系统，其特征在于，所述系统包括：

综合管理分系统，用于根据被测目标建立模糊测试任务；

测试用例知识库，用于提供畸变数据和测试用例模板；

测试用例生成分系统，用于根据所述测试用例模板生成测试用例，所述测试用例生成分系统包括：

变量处理模块，用于通过符号执行将被测目标的输入变量转换为符号化表达式；

路径约束模块，用于根据所述符号化表达式对所述被测目标的执行路径进行路径约束；

测试用例生成模块，用于根据约束后的执行路径生成测试用例；

综合处理模块，用于执行所述测试用例，并获取所述测试用例的执行状态及测试数据；

模糊测试引擎，用于解析测试用例，并利用S2E选择性符号执行平台执行解析后的测试用例；

测试管控分系统，用于对所述测试用例的执行过程进行管控，获取所述测试用例的执行状态及测试数据；

异常验证分系统，用于分析测试数据中的软件异常，分析异常触发机理；

基础服务平台，用于创建虚拟机集群，利用物理机资源执行所述模糊测试任务。