一种代码漏洞扫描与定位方法
    1.
    发明公开

    公开(公告)号:CN113742732A

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

    申请号:CN202010487204.8

    申请日:2020-05-27

    申请人: 南京大学

    IPC分类号: G06F21/57

    摘要: 一种代码漏洞扫描与定位的方法,首先通过多个漏洞扫描工具对代码数据集扫描,分析提取扫描结果得到漏洞基本信息。然后,采取投票策略对漏洞进行正误报标记,过滤掉误报的漏洞警示。最后在已知漏洞基本信息的基础上,使用已有的切片工具wala对源代码进行切片。本发明的切片模块在切片方式的选取,切片点指令类型的分类处理以及过滤无关语句这三个方面上进行了改良,有效提高了漏洞定位的精度。

    一种基于多样性的深度神经网络测试用例选择方法

    公开(公告)号:CN117194262A

    公开(公告)日:2023-12-08

    申请号:CN202311206311.9

    申请日:2023-09-18

    申请人: 南京大学

    IPC分类号: G06F11/36

    摘要: 本发明公开一种基于多样性的深度神经网络测试用例选择方法,属于软件测试与测试用例选择领域。该方法包括:针对未标注测试用例的不确定性和故障方向,将输出向量转换为几个间隔,所述间隔的大小和位置反映模型的不确定性和测试用例的故障模式的信息;根据获得的待测试模型的不确定性和测试用例的故障模式的信息定义基于方向性和不确定性的故障模式和测试集故障模式的计算方法;提出相合度度量来度量候选测试集和已选择的测试集之间的模式差异;基于故障模式和相合度度量,提出基于测试多样性的测试数据选择方法ATS,适应地选择测试数据多样的测试用例子集。本发明解决了基于深度学习的软件中的测试数据预言难获取问题。

    一种针对递归神经网络驱动的对话系统的自动化测试方法

    公开(公告)号:CN113204488A

    公开(公告)日:2021-08-03

    申请号:CN202110581488.1

    申请日:2021-05-26

    申请人: 南京大学

    摘要: 一种针对递归神经网络驱动的对话系统的自动化测试方法。该方法基于语义不变的文本数据变换规则,对原始测试集进行扩增变换,生成具有真实性的测试数据;同时,该方法基于计算被测递归神经网络预测测试用例时的Gini不确定系数,选择容易触发被测模型错误行为的测试用例,以提高对话系统的测试效率。在生成测试数据的基础上,通过将被测模型的实际输出结果与数据的真实标签结果进行比较,记录对话系统对测试用例理解出错的实例;同时,该方法可以将生成数据用于被测RNN模型的重新训练,以提升RNN自然语言理解模型的准确性,提升对话系统的鲁棒性,保障对话系统等智能软件的安全可靠性。

    一种基于人机协同的代码漏洞智能检测方法

    公开(公告)号:CN113742205A

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

    申请号:CN202010487203.3

    申请日:2020-05-27

    申请人: 南京大学

    摘要: 一种基于人机协同的代码漏洞智能检测方法,其特征是结合已有的代码漏洞检测工具集和收集到的漏洞数据集进行正报和误报漏洞标记以及控制流图和抽象语法树的特征提取,构建一个代码漏洞误报检测模型;然后根据代码漏洞程序切片后的结果生成漏洞评审任务;随后利用采样策略选取部分漏洞评审任务随机分配给众包安全评审专家;最后,结合并分析代码漏洞误报检测模型结果与众包安全评审专家结果,并将其持续反馈到代码漏洞检测模型中,进而有效地识别代码漏洞。

    一种基于人机协同的代码漏洞智能检测方法

    公开(公告)号:CN113742205B

    公开(公告)日:2024-04-23

    申请号:CN202010487203.3

    申请日:2020-05-27

    申请人: 南京大学

    摘要: 一种基于人机协同的代码漏洞智能检测方法,其特征是结合已有的代码漏洞检测工具集和收集到的漏洞数据集进行正报和误报漏洞标记以及控制流图和抽象语法树的特征提取,构建一个代码漏洞误报检测模型;然后根据代码漏洞程序切片后的结果生成漏洞评审任务;随后利用采样策略选取部分漏洞评审任务随机分配给众包安全评审专家;最后,结合并分析代码漏洞误报检测模型结果与众包安全评审专家结果,并将其持续反馈到代码漏洞检测模型中,进而有效地识别代码漏洞。

    一种基于差分测试和嵌入模型的知识图谱评估方法

    公开(公告)号:CN114579753A

    公开(公告)日:2022-06-03

    申请号:CN202210052086.7

    申请日:2022-01-17

    申请人: 南京大学

    IPC分类号: G06F16/36 G06K9/62

    摘要: 本发明涉及知识图谱质量评估领域,提供一种基于差分测试和嵌入模型的知识图谱评估方法。该方法基于变异测试的思想,变异生成可代表知识图谱数据中典型错误的三元组,并将其作为输入重训练出对知识图谱典型错误敏感的优化嵌入模型。该方法还基于差分测试的思想,输入普通知识图谱数据获取不同优化嵌入模型的输出,根据相似性评估保证输出的一致性和有效性;从而可通过符合相似性评估的输出结果再使用投票策略,最终计算出符合实际的质量评估指标。本发明目的在于解决目前存在的知识图谱质量评估人工成本高,耗时长且缺失自动化评估方法和过程的难题,进而帮助评估人员快速地对知识图谱质量进行了解并在短时间内获取可靠的知识图谱评估结果。