-
公开(公告)号:CN118779222A
公开(公告)日:2024-10-15
申请号:CN202410837155.4
申请日:2024-06-26
Applicant: 大连理工大学
Abstract: 本发明属于嵌入式软件模糊测试领域,公开了一种基于源码感知的多模糊器嵌入式软件模糊测试方法。包括通过编译源代码的过程建立源代码与可执行代码之间的映射关系,并确定所有内存映射I/O访问的具体位置,对这些访问进行模型建模。接着,在仿真器中执行被测试的软件,系统会根据内存映射I/O访问的具体类型从适当的模糊器中选取数据,这些数据经过预定义模型转换后输入到仿真器中。在此过程中,设立多个模糊器以生成针对不同外设和输入类型的模糊数据。测试结果将反馈到模糊器中,利用这些反馈信息更新覆盖位图,从而不断优化输入生成,揭露更多潜在的错误和漏洞。通过不断重复上述测试和优化步骤,实现了更高效的嵌入式软件模糊测试。
-
公开(公告)号:CN119066660A
公开(公告)日:2024-12-03
申请号:CN202411091512.3
申请日:2024-08-09
Applicant: 大连理工大学
Abstract: 本发明提供一种基于模糊突变算子竞争的嵌入式软件模糊测试方法和系统,通过模糊突变算子的竞争与自适应调整增强测试效能。包括:步骤1:将突变调度器内初始突变算子的选择概率分布视作父代并对其进行轻微扰动,产生子代选择概率分布;步骤2:模糊器随机选取初始模糊输入,突变调度器选择出突变算子并将其应用到初始模糊输入上,得到父代与子代的突变模糊输入;步骤3:模糊器将突变模糊输入放入待测程序中测试,并将测试的结果反馈给突变调度器来计算父代与子代的进化适应度,以选出新的父代;步骤4:将突变模糊输入发现的新路径或触发待测程序崩溃的输入的有关信息保存在一个哈希表中,并将该哈希表视为突变调度器内的一个独立的突变算子。
-