公开(公告)号：CN113742204A

公开(公告)日：2021-12-03

申请号：CN202010487165.1

申请日：2020-05-27

Applicant: 南京大学

Inventor： 房春荣 ,  曹可凡 ,  顾逸飞 ,  章许帆 ,  沪胜浩 ,  吕军

IPC: G06F11/36 ,  G06K9/62 ,  G06N3/08

Abstract: 一种基于模糊测试的深度学习算子测试工具，通过训练集分析、随机数据补充、中间数据获取等多种方式得到一批测试数据作为种子，转化为可用测试用例并初始化模糊测试的语料集。然后根据具体的待测算子获取可用的变异方法并制定用例扩增策略。接着按照扩增策略，抽取语料集中的元素，生成大批新测试用例，并作为待测算子接口的输入。最后采用差分测试的方法评估用例的对应输出结果，分析是否发现待测算子的运算过程或运算结果存在异常。

公开(公告)号：CN113742204B

公开(公告)日：2023-12-12

申请号：CN202010487165.1

申请日：2020-05-27

Applicant: 南京大学

Inventor： 房春荣 ,  曹可凡 ,  顾逸飞 ,  章许帆 ,  沪胜浩 ,  吕军

IPC: G06F11/36 ,  G06F18/214 ,  G06N3/08 ,  G06N3/0464

Abstract: 一种基于模糊测试的深度学习算子测试工具，通过训练集分析、随机数据补充、中间数据获取等多种方式得到一批测试数据作为种子，转化为可用测试用例并初始化模糊测试的语料集。然后根据具体的待测算子获取可用的变异方法并制定用例扩增策略。接着按照扩增策略，抽取语料集中的元素，生成大批新测试用例，并作为待测算子接口的输入。最后采用差分测试的方法评(56)对比文件陈锦富 等.基于变异技术的第三方构件安全性测试系统.江苏大学学报(自然科学版).2017,第39卷(第01期),第71-77页.

公开(公告)号：CN113743572A

公开(公告)日：2021-12-03

申请号：CN202010487164.7

申请日：2020-05-27

Applicant: 南京大学

Inventor： 房春荣 ,  曹可凡 ,  吕军 ,  章许帆 ,  顾逸飞 ,  沪胜浩

IPC: G06N3/04 ,  G06N3/08 ,  G06K9/62

Abstract: 一种基于Fuzz的人工神经网络测试方法，将待测神经网络表示为一个Tensor流图，Tensor图的相关参数在本地训练待测模型时获得。基于在训练时获得的Tensor图，引入传统Fuzz的思想，在Tensor图的相关部分做一些模糊扰动，并用覆盖值计算函数计算出扰动后的覆盖值。在比较扰动覆盖值与扰动前语料集中的各元素的覆盖值，评估新生成的语料是否可以整合到语料集中，并作为下次扰动的待选集合。如果得到的模糊结果已经满足目标函数，则中断模糊进程，返回对应扰动结果，并以图片的方式呈现出来。