公开(公告)号：CN119989370A

公开(公告)日：2025-05-13

申请号：CN202510458965.3

申请日：2025-04-14

Applicant: 中南大学

Inventor： 施鹤远 ,  张伟波 ,  沈煜恒 ,  陈禹函 ,  尹国宇 ,  陈世俊 ,  胡超 ,  施荣华 ,  姜宇

IPC: G06F21/57 ,  G06F11/36

Abstract: 本申请涉及内核模糊测试技术领域，提供了一种基于特性统一的模糊测试输入生成方法及相关设备，该方法包括：生成目标系统的函数调用图和多个控制流图，并将函数调用图和所有控制流图进行整合，得到程序间控制流图；基于程序间控制流图构建内核代码调用链；基于目标系统的内核配置文件与内核代码调用链进行特性统一表征建模，生成配置代码关系映射表；根据内核代码调用链抽取特性相关接口函数的相关信息，并基于相关信息进行语法转换，生成特性相关接口函数的系统调用测试规约模板；基于系统调用测试规约模板和配置代码关系映射表生成目标系统的模糊测试输入。本申请的方法能够提高内核特性配置与模糊测试输入之间的相关性。

公开(公告)号：CN119292895A

公开(公告)日：2025-01-10

申请号：CN202411425225.1

申请日：2024-10-12

Applicant: 中南大学

Inventor： 施鹤远 ,  尹国宇 ,  沈煜恒 ,  陈禹函 ,  张伟波 ,  陈世俊 ,  胡超 ,  施荣华

IPC: G06F11/36

Abstract: 本申请涉及系统测试技术领域，提供了一种基于可达性预测模型的测试用例过滤方法及相关设备，该方法包括：生成目标系统的函数调用图和多个控制流图，并进行整合得到过程间控制流图；基于过程间控制流图计算测试用例的可达性表征；对测试用例进行特征提取得到用例特征，并构建测试用例的关联图；基于用例特征、关联图，利用可达性预测模型进行可达性预测，得到预测可达性表征；利用所有预测可达性表征和所有可达性表征对可达性预测模型进行优化，并利用优化后的可达性预测模型对目标测试用例进行可达性预测，得到最终可达性表征；根据最终可达性表征对目标测试用例进行过滤，得到过滤结果。本申请的方法能够提高测试用例过滤的泛用性。