公开(公告)号：CN111444084A

公开(公告)日：2020-07-24

申请号：CN201911296104.0

申请日：2019-12-16

Applicant: 北京京航计算通讯研究所

Inventor： 刘伟 ,  李晓伟 ,  祝宇 ,  陈朋 ,  安鹏伟 ,  王嬴超 ,  赵常 ,  王杰 ,  贺丽江 ,  苏建敏

IPC: G06F11/36

Abstract: 本发明属于软件测评相关技术领域，具体涉及一种基于Bayes的军用软件质量度量方法，基于人工智能理论中Bayes的推理网络，提出了一种基于Bayes的军用软件质量度量方法。该方法以概率的形式描述了各个度量元对军用软件质量的影响，并且以概率的形式定量描述了军用软件质量的好坏。对比国内外软件质量度量方法，本发明的技术方法提高军用软件质量度量的准确性、可靠性。

公开(公告)号：CN112214399A

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

申请号：CN202010974385.7

申请日：2020-09-16

Applicant: 北京京航计算通讯研究所

Inventor： 孙文靖 ,  李晓伟 ,  曾杰 ,  贲可荣 ,  苏建敏 ,  洪楠 ,  张清 ,  杨洋 ,  李春静 ,  王赢超

IPC: G06F11/36 ,  G06F8/41

Abstract: 本发明属于软件缺陷检测领域，具体涉及一种基于序列模式匹配的API误用缺陷检测系统。本发明不分析API使用规约，而是根据已经发现的API误用缺陷实例，结合补丁文件中缺陷修复前后的代码信息，刻画API误用模式，然后在目标被测软件中利用改进的AC算法搜索符合误用模式的API调用序列，从而检测出相似缺陷。相比基于规约的检测方法，本发明方案有效规避了缺陷检测准确度依赖于规约描述准确性，以及部分API规约本身自带缺陷等问题。提高了API误用缺陷检测的准确度。

公开(公告)号：CN112214399B

公开(公告)日：2023-01-10

申请号：CN202010974385.7

申请日：2020-09-16

Applicant: 北京京航计算通讯研究所

Inventor： 孙文靖 ,  李晓伟 ,  曾杰 ,  贲可荣 ,  苏建敏 ,  洪楠 ,  张清 ,  杨洋 ,  李春静 ,  王赢超

IPC: G06F11/36 ,  G06F8/41

Abstract: 本发明属于软件缺陷检测领域，具体涉及一种基于序列模式匹配的API误用缺陷检测系统。本发明不分析API使用规约，而是根据已经发现的API误用缺陷实例，结合补丁文件中缺陷修复前后的代码信息，刻画API误用模式，然后在目标被测软件中利用改进的AC算法搜索符合误用模式的API调用序列，从而检测出相似缺陷。相比基于规约的检测方法，本发明方案有效规避了缺陷检测准确度依赖于规约描述准确性，以及部分API规约本身自带缺陷等问题。提高了API误用缺陷检测的准确度。