买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：中国船舶集团有限公司第七一九研究所

摘要：本发明公开一种基于模型的FPGA代码缺陷检查结果置信度分析方法及系统，该方法包括：通过抽象语法树AST，生成FPGA代码的代码树形结构，并通过静态缺陷检查工具，获取FPGA代码的静态分析缺陷检查结果，在代码树形结构中找到与所述静态分析缺陷检查结果相关的节点，沿着所述节点向上或向下进行遍历，获取与所述节点相关的缺陷上下文；设置缺陷检查结果的置信度分析模型，并根据缺陷上下文，计算静态分析缺陷结果的置信度，其中，缺陷检查结果的置信度分析模型包括：代码结构、函数、类和代码注释对置信度的影响；对所述缺陷检查结果的置信度分析模型进行拟合，生成最终的所述缺陷检查结果的置信度分析模型，并进行静态分析缺陷检查结果的置信度分析。

主权项：1.一种基于模型的FPGA代码缺陷检查结果置信度分析方法，其特征在于，包括：通过抽象语法树AST，生成FPGA代码的代码树形结构，并通过静态缺陷检查工具，获取FPGA代码的静态分析缺陷检查结果，在所述代码树形结构中找到与所述静态分析缺陷检查结果相关的节点，沿着所述节点向上或向下进行遍历，获取与所述节点相关的缺陷上下文；设置缺陷检查结果的置信度分析模型，并根据所述缺陷上下文，计算静态分析缺陷结果的置信度，其中，所述缺陷检查结果的置信度分析模型包括：代码结构、函数、类和代码注释对置信度的影响；其中，所述缺陷检查结果的置信度分析模型包括： ,其中，为静态分析缺陷结果的置信度，为代码结构的影响权重，为缺陷上下文中代码结构对置信度的影响函数，为函数的影响权重，为缺陷上下文中函数对置信度的影响函数,为类的影响权重，为缺陷上下文中类对置信度的影响函数,为代码注释的影响权重，为缺陷上下文中代码注释对置信度的影响函数；缺陷上下文中代码结构对置信度的影响函数包括: ,其中，为代码结构的复杂度的权重，为代码结构的复杂度，为代码结构的密度的权重，为代码结构的密度，为代码结构的嵌套深度的权重，为代码结构的嵌套深度；缺陷上下文中函数对置信度的影响函数包括： ,其中，为函数中代码行数，为函数的复杂度，为函数中代码行数的权重，为函数的复杂度的权重，为函数中变量数量；缺陷上下文中类对置信度的影响函数包括： ,其中，为类中代码行数的权重，为类中代码行数，为类的复杂度的权重，为类的复杂度；缺陷上下文中代码注释对置信度的影响函数包括： ,其中，为代码注释的语法准确率，为代码注释的数量，为代码注释的行数，为代码注释的行数的权重；对所述缺陷检查结果的置信度分析模型进行拟合，生成最终的所述缺陷检查结果的置信度分析模型，并进行静态分析缺陷检查结果的置信度分析。

全文数据：

权利要求：

百度查询： 中国船舶集团有限公司第七一九研究所 基于模型的FPGA代码缺陷检查结果置信度分析方法及系统