公开(公告)号：CN109271313A

公开(公告)日：2019-01-25

申请号：CN201810916021.6

申请日：2018-08-13

Applicant: 中国平安财产保险股份有限公司

Inventor： 肖泉海

IPC: G06F11/36

CPC classification number: G06F11/3608 ,  G06F11/3688

Abstract: 本发明涉及大数据技术，提供了一种代码批量测试方法、装置及计算机可读存储介质。该方法包括：获取代码运行日志文件的存储路径，通过该存储路径获取预设时间段的代码运行日志；对获取的代码运行日志进行解析，得到入参文件和第一出参文件；调用修改后的代码，利用所述入参文件获得第二出参文件；对所述第一出参文件和所述第二出参文件进行比对，输出出参差异文件，根据该出参差异文件确定所述修改后的代码存在的缺陷。所述出参差异文件的生成过程可实现全自动化，利用该出参差异文件可以快速直观地发现新旧代码运行结果的差异，因此利用本发明，可以提高代码测试的效率。

公开(公告)号：CN109144848A

公开(公告)日：2019-01-04

申请号：CN201810704039.X

申请日：2018-06-30

Applicant: 南京理工大学

Inventor： 王旭 ,  班恬

IPC: G06F11/36

CPC classification number: G06F11/3608 ,  G06F11/3668

Abstract: 本发明公开了一种Verilog HDL代码白盒测试辅助平台，包括文件管理模块、源代码显示模块、信息提取模块、处理信息显示模块和关联处理与权重分析模块，对所读取的源代码进行语法的分析和关键词的检索，由此获取所述代码段中的所有输入输出以及中间变量，并同时获取中间变量之间的数理关系式；根据所获取的关系式，将所有的中间变量和与之相关的输入输出关联起来，并通过数学公式计算得出每个中间变量的权重系数，进而确定关键节点，以便对源代码进行白盒测试时观察中间变量的选择。本发明能够快速准确地找出关键的中间变量，并将输出与中间变量和输入相关联，提高了对Verilog HDL代码进行测试的效率。

公开(公告)号：CN109062792A

公开(公告)日：2018-12-21

申请号：CN201810807404.X

申请日：2018-07-21

Applicant: 东南大学

Inventor： 李必信 ,  杨安奇 ,  周颖 ,  王璐璐 ,  廖力

IPC: G06F11/36

CPC classification number: G06F11/3608

Abstract: 本发明提出了一种基于串匹配和特征匹配的开源代码检测方法，用于检测混源软件中的开源代码，从而有助于开发者进一步的重用与再开发。该方法综合了属性计数法和结构度量法各自的优缺点，首先通过特征匹配的方式来缩小数据库的搜索空间，然后依据token串的方式，基于字符串匹配算法的思想，来匹配出最大公共子串，从而在应用于大规模软件开发项目的开源代码检测时，使匹配时间和内存消耗得到进一步优化。

公开(公告)号：CN108804308A

公开(公告)日：2018-11-13

申请号：CN201810391348.6

申请日：2018-04-27

Applicant: 北京信息科技大学

Inventor： 崔展齐 ,  郑丽伟 ,  刘秀磊 ,  牛科

IPC: G06F11/36 ,  G06F8/71 ,  G06F8/75

CPC classification number: G06F11/3608 ,  G06F8/71 ,  G06F8/75

Abstract: 本发明实施例提供的一种新版本程序缺陷检测方法及装置，所述方法包括：获取目标应用的历史版本程序和新版本程序；根据所述历史版本程序和所述新版本程序获得对应的函数调用语句集；根据所述函数调用语句集获得所述历史版本程序和所述新版本程序分别对应的关联规则集；根据所述关联规则集获得用于所述新版本程序的检测用关联规则集；根据所述检测用关联规则集和所述新版本程序的函数调用语句集获得疑似缺陷集，能有效过滤隐式编程规则，从而减少待确认缺陷，提高缺陷自动检测效率。

公开(公告)号：CN108710576A

公开(公告)日：2018-10-26

申请号：CN201810537415.0

申请日：2018-05-30

Applicant: 浙江工业大学

Inventor： 陈晋音 ,  杨奕涛 ,  胡可科 ,  宣琦 ,  俞山青

IPC: G06F11/36 ,  G06N3/08

CPC classification number: G06F11/3608 ,  G06N3/084

Abstract: 本发明公开了一种基于异构迁移的数据集扩充方法，包括：首先，基于视图对源项目数据集进行分割，并基于神经网络对视图生成的各数据集之间训练得到异构迁移模型；然后，对大量的无类标数据，采用同样的视图分割方式生成各个视图，将视图投入异构迁移模型生成基于该视图生成的其他视图，经过组合后可以得到与源项目数据集格式相同的拟真样本；接着，利用源项目的各个视图训练各自的视图分类器；对由异构迁移模型生成的视图打上类标并给出置信度，综合各个分类器的置信度筛选出质量高的拟真样本的k个对源项目数据集进行扩充；最后，上述过程进行多次迭代，利用扩充后的源项目数据集训练生成软件缺陷预测模型进行缺陷预测。

公开(公告)号：CN108614707A

公开(公告)日：2018-10-02

申请号：CN201810395470.0

申请日：2018-04-27

Applicant: 深圳市腾讯网络信息技术有限公司

Inventor： 袁明凯 ,  黄斌 ,  邹越 ,  张蓓 ,  严明

IPC: G06F8/41 ,  G06F11/36

CPC classification number: G06F8/43 ,  G06F11/3608

Abstract: 本申请涉及一种静态代码检查方法、装置、计算机可读存储介质和计算机设备，所述方法包括：获取各代码文件；对各代码文件进行处理，得到各代码文件的标记序列；识别所述标记序列中的依赖函数；根据所述依赖函数分析各代码文件之间的依赖关系，将未被依赖过的代码文件作为检查入口文件；根据被依赖的代码文件，展开对应的存在依赖关系的所述检查入口文件以模拟依赖函数的执行逻辑；对各展开后代码文件的标记序列进行检查，得到检查结果。该方法考虑了全局变量分布在不同文件中的特点，实现了代码跨文件的静态代码检查处理，从而减少了全局变量检查的误报率。

公开(公告)号：CN107797931A

公开(公告)日：2018-03-13

申请号：CN201711115048.7

申请日：2017-11-13

Applicant: 长春长光精密仪器集团有限公司

Inventor： 宋元章 ,  李洪雨 ,  于涛 ,  王安邦 ,  陈媛 ,  王俊杰 ,  刘逻 ,  哈清华 ,  王红园 ,  林星辰

IPC: G06F11/36 ,  G06N3/04

CPC classification number: G06F11/3608 ,  G06N3/04

Abstract: 本发明提供了一种基于二次评价的软件质量评价方法及系统，选取软件质量评价指标空间，构建软件质量评价结果识别框架；采集样本数据、待评价软件数据；确定BP神经网络的个数、拓扑结构；并行地对各BP神经网络进行训练、计算可信度；将待评价软件的质量评价指标数据分别输入到训练好的各BP神经网络，根据BP神经网络的输出结果得到初步评价结果；结合BP神经网络的可信度对初步评价结果进行修正处理，生成识别框架中各命题的基本概率赋值分配，利用DS证据理论对各证据进行融合，获得融合结果；基于决策准则对融合结果进行决策生成最终评价结果。本发明能够有效的实现软件质量的评价。

公开(公告)号：CN105103135B

公开(公告)日：2018-01-16

申请号：CN201480010722.3

申请日：2014-01-28

Applicant: 多米尼克·波利尼亚诺

Inventor： 多米尼克·波利尼亚诺

IPC: G06F11/36

CPC classification number: G06F11/3608 ,  G06F8/443 ,  G06F8/452 ,  G06F8/75 ,  G06F9/30178 ,  G06F9/3808 ,  G06F9/4484 ,  G06F11/362 ,  G06F11/3664

Abstract: 一种保护一第一程序的方法，该第一程序包括有限数量的程序点和与程序点相关的定义程序点段落的演化规则，包含:·一多退出情况的定义，以及当一第二程序被使用在第一程序的定义中，对于第二程序的每个退出情况，通过第一程序一个特定的程序点对一个分支的定义，或者一个不可能分支声明；以及，·一个关于一组待证明属性的定义，每一个都与一个或多个第一程序的基本构成元素关联，所述一属性组包含作为特定属性的不可能分支；·该属性组的形式证明的建立。

公开(公告)号：CN107133165A

公开(公告)日：2017-09-05

申请号：CN201710174275.0

申请日：2017-03-22

Applicant: 腾讯科技(深圳)有限公司

Inventor： 艾可德

IPC: G06F11/36

CPC classification number: G06F11/3608

Abstract: 本发明公开了一种浏览器兼容性检测方法及装置。其中，该方法包括：获取待检测的目标页面的页面资源；判断与页面资源对应的业务代码是否与各个检测特性逻辑匹配，其中，检测特性逻辑为与浏览器特性相匹配的匹配表达式，浏览器用于显示目标页面；若判断出与页面资源对应的业务代码与至少一个检测特性逻辑不匹配，则获取检测结果，其中，检测结果用于指示业务代码与浏览器不兼容。本发明解决了采用现有的兼容检测方式所导致的检测准确性较低的技术问题。

公开(公告)号：CN107066375A

公开(公告)日：2017-08-18

申请号：CN201611015902.8

申请日：2016-11-18

Applicant: 通用电气公司

Inventor： 李萌 ,  M.R.杜尔林 ,  萧洁恩 ,  I.奥利维拉 ,  郁涵 ,  A.M.德康托

IPC: G06F11/36

CPC classification number: G06F11/3684 ,  G06F8/20 ,  G06F8/35 ,  G06F11/3608 ,  G06F11/3696

Abstract: 本发明的安全关键软件自动化基于需求的测试实例生成系统和方法包括在基于模型的开发工具中构建从软件设计模型的架构信息自动得出的软件架构模型，将需求模型分配到软件架构模型的块/算子中，并且从软件架构来生成组件级基于需求的测试实例。组件级基于需求的测试实例生成方法包括接收以层级数据流图表示的软件架构连同所分配需求模型，选择软件组件其中之一，通过基于所选择的测试策略将测试目标或约束的至少一个自动附连到对应软件架构模型块/算子、基于所选择的组件来构建中间测试模型，并且采用测试生成器来生成人类和机器可读测试实例，以供进一步自动转换成测试可执行和测试审查制品。还公开用于实现该方法的系统和非暂时计算机可读介质。