公开(公告)号：CN119645838A

公开(公告)日：2025-03-18

申请号：CN202411631426.7

申请日：2024-11-15

Applicant: 浙江大学

Inventor： 纪守领 ,  张凌铭 ,  赵彬彬 ,  陈建海 ,  王滨 ,  许光全 ,  王伟 ,  伍一鸣

IPC: G06F11/3668 ,  G06F9/30

Abstract: 本发明提出了一种面向WebAssembly运行时的语义感知模糊测试用例生成方法和系统，属于软件模糊测试技术领域。包括：定义栈不变代码转换策略，维护测试用例转换前后代码的语义有效性；基于栈不变代码转换策略，采用下述方式一、方式二、或者方式一和方式二的组合生成测试用例用于模糊测试；方式一为：采取有趣值突变、操作符突变、片段拼接、控制流嵌套、跳转目标突变和调用目标突变中的一种或多种组合的转换方式从既有测试用例生成新测试用例；方式二为：根据基于控制流骨架的生成算法扩充既有测试用例。本发明能有效生成符合语义规范并且在控制流和数据流上多元化的测试用例，帮助模糊测试探索深层执行逻辑和提升漏洞挖掘效率。