-
公开(公告)号：CN112199295A
公开(公告)日：2021-01-08
申请号：CN202011180145.6
申请日：2020-10-29
Applicant: 北京信息科技大学
Abstract: 本发明公开了一种基于频谱的深度神经网络缺陷定位方法，属于软件测试技术领域，包括以下步骤：1、获取正确的测试用例和错误的测试用例，2、获取待测深度神经网络模型频谱信息，3、计算神经元的怀疑度，并按照怀疑度对神经元进行排序。本发明依据深度神经网络对测试集的运行输出和分类结果量化深度神经网络中的神经元，然后利用怀疑度公式计算其怀疑度，并对其进行排名，定位到最有可能是缺陷的位置。该方法及系统将神经元的输出和测试数据的运行结果结合，可以将深度神经网络模型中的缺陷直观的使用数值体现出来，更准确快捷的定位到深度神经网络模型缺陷的具体位置。
-
公开(公告)号：CN109117129A
公开(公告)日：2019-01-01
申请号：CN201810953480.1
申请日：2018-08-21
Applicant: 北京信息科技大学
IPC: G06F8/33
Abstract: 本发明实施例提供的一种隐式编程规则过滤方法及装置，通过获取目标隐式编程规则，对所述目标隐式编程规则进行提取获得规则信息，根据所述规则信息获得向量化规则信息，根据所述向量化规则信息进行过滤判断，获得过滤结果，做到不需要使用程序代码信息，可自动对候选隐式编程规则进行过滤，确认误报和真实的隐式编程规则，降低人工确认候选隐式编程规则的开销，从而有效提高现有隐式编程规则挖掘方法的实用性。
-
公开(公告)号：CN108804308A
公开(公告)日：2018-11-13
申请号：CN201810391348.6
申请日：2018-04-27
Applicant: 北京信息科技大学
CPC classification number: G06F11/3608 , G06F8/71 , G06F8/75
Abstract: 本发明实施例提供的一种新版本程序缺陷检测方法及装置，所述方法包括：获取目标应用的历史版本程序和新版本程序；根据所述历史版本程序和所述新版本程序获得对应的函数调用语句集；根据所述函数调用语句集获得所述历史版本程序和所述新版本程序分别对应的关联规则集；根据所述关联规则集获得用于所述新版本程序的检测用关联规则集；根据所述检测用关联规则集和所述新版本程序的函数调用语句集获得疑似缺陷集，能有效过滤隐式编程规则，从而减少待确认缺陷，提高缺陷自动检测效率。
-
-
公开(公告)号：CN117574385A
公开(公告)日：2024-02-20
申请号：CN202311634868.2
申请日：2023-12-01
Applicant: 北京信息科技大学
IPC: G06F21/57 , G06F16/901 , G06F18/213 , G06F18/214 , G06F18/241 , G06F18/20 , G06N3/042 , G06N3/045 , G06N3/08
Abstract: 本发明公开了一种基于图注意力网络的智能合约漏洞检测方法及系统，属于区块链智能合约安全技术领域，首先，通过合约源代码构建抽象语法树(AST)，并融合控制依赖关系和数据依赖关系以构建SCG。然后，使用智能合约训练集构建的合约图来训练图注意力网络模型。最后，使用训练好的图注意力网络模型来检测待检测合约是否存在漏洞及具体的漏洞类型。本发明通过将智能合约源代码解析为AST，并将数据依赖和控制依赖关系与AST融合组成合约图，以更好地表征合约特征；并通过图注意力网络对合约图的语义及结构的学习，不仅能够检测合约是否存在漏洞，而且还能够更准确地检测到合约存在的漏洞类型，从而加速漏洞修复过程。
-
Patent Agency Ranking
公开(公告)号：CN117312162A
公开(公告)日：2023-12-29
申请号：CN202311303118.7
申请日：2023-10-10
Applicant: 北京信息科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于缺陷倾向性分析的软件模糊测试方法，涉及软件测试领域。包括以下步骤：获取被测程序源代码；对被测程序的源代码进行预处理；提取被测程序每个模块的代码特征；构建缺陷预测模型；缺陷倾向性分析；计算测试用例的价值；进行模糊测试；输出测试报告。本发明结合了被测程序模块的缺陷倾向性和测试用例运行时信息来综合评价测试用例的价值，并以此制导模糊测试；不仅能提高测试复杂软件的效率，还可增强缺陷检测能力。
-
公开(公告)号：CN115934548A
公开(公告)日：2023-04-07
申请号：CN202211621334.1
申请日：2022-12-16
Applicant: 北京信息科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种基于信息检索的语句级软件缺陷定位方法及系统，涉及软件缺陷定位技术领域。包括：基于缺陷库构建历史缺陷报告集；根据历史缺陷报告集和目标缺陷报告进行历史缺陷语句提取；根据目标源码文件集和目标缺陷报告进行可疑目标源码文件检测以获得可疑目标源码语句集；基于历史缺陷语句集和可疑目标源码语句集进行目标缺陷语句定位。本发明实现了语句级别的缺陷定位，相比于现有的基于信息检索的软件缺陷定位方法粒度更细，定位精度更高；相比于现有的语句级别的缺陷定位方法，本发明不需要设计测试用例并执行程序，减少了缺陷定位所需人力和时间开销。
-
公开(公告)号：CN115203041A
公开(公告)日：2022-10-18
申请号：CN202210850988.5
申请日：2022-07-20
Applicant: 北京信息科技大学
IPC: G06F11/36
Abstract: 本发明公开了一种面向持续集成过程的模糊测试方法，涉及软件协同开发领域。本发明包括以下步骤：在应用持续集成的项目中，对相邻的两次提交进行差异分析，获取两者的差异信息，并根据差异信息获取变更点，存入变更点集合；在构建项目的过程中，根据变更点信息进行数据流分析，获取数据流分析结果；利用数据流分析结果进行程序插桩，获得已插桩的被测程序；对被测程序进行模糊测试，在测试过程中计算种子测试用例的适应度，并根据适应度为其分配相应的测试资源。本发明更有针对性地对持续集成过程中产生变更的地方进行测试，减少手动构建测试用例带来的开销。
-
公开(公告)号：CN109766259B
公开(公告)日：2022-02-01
申请号：CN201811464880.2
申请日：2018-12-03
Applicant: 北京信息科技大学
IPC: G06F11/36
Abstract: 本发明实施例提供一种基于复合蜕变关系的分类器测试方法及系统。其中，方法包括：将分类器的多个一元蜕变关系复合为复合蜕变关系；基于所述复合蜕变关系，生成测试用例；基于所述复合蜕变关系和所述测试用例，对所述分类器进行测试，并获取测试结果。本发明实施例提供的方法及系统，通过将分类器的多个一元蜕变关系复合为复合蜕变关系，然后基于复合蜕变关系对分类器进行测试，并获取测试结果。可降低测试成本、提高测试效率。既能有效利用分类器本身所具有的元方法不确定性和计算目的不确定性等特征，还能明显提升分类器的测试效果。有效利用分类器本身所具有的特征、显著提高分类器的测试效率、提高蜕变关系的检错能力、降低测试成本。
-
公开(公告)号：CN109117129B
公开(公告)日：2021-11-19
申请号：CN201810953480.1
申请日：2018-08-21
Applicant: 北京信息科技大学
IPC: G06F8/33
Abstract: 本发明实施例提供的一种隐式编程规则过滤方法及装置，通过获取目标隐式编程规则，对所述目标隐式编程规则进行提取获得规则信息，根据所述规则信息获得向量化规则信息，根据所述向量化规则信息进行过滤判断，获得过滤结果，做到不需要使用程序代码信息，可自动对候选隐式编程规则进行过滤，确认误报和真实的隐式编程规则，降低人工确认候选隐式编程规则的开销，从而有效提高现有隐式编程规则挖掘方法的实用性。
-
-
-
-
-
-
-
-
-
Search Results
35
records
(took 0.023 seconds)
