公开(公告)号：CN114328265A

公开(公告)日：2022-04-12

申请号：CN202210008623.8

申请日：2022-01-05

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

Inventor： 申璐 ,  刘晓兰 ,  孙文靖 ,  李吉 ,  王莹 ,  李昂 ,  杨洋 ,  杨春霞 ,  邹丽 ,  马少辉 ,  杨硕

IPC: G06F11/36 ,  G06N3/02

Abstract: 本发明涉及一种软件安全性分析方法及系统，属于软件开发和测试技术领域，解决了现有技术中软件安全性分析方法分析结果准确率低、可靠性差的问题。该方法包括：建立软件失效数据知识库；基于所述软件失效数据知识库，根据目标软件的需求文档和/或软件系统关键词为所述目标软件匹配相应的软件失效模式，根据所述软件失效模式更新所述目标软件的需求文档。该方法提高了软件安全性分析的效率和质量，进而减低软件质量风险。

公开(公告)号：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误用缺陷检测的准确度。

公开(公告)号：CN111061634A

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

申请号：CN201911243145.3

申请日：2019-12-06

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

Inventor： 邹丽 ,  孙文靖 ,  刘晓兰 ,  申璐 ,  刘昕照 ,  杨硕 ,  马少辉 ,  杨春霞 ,  侯艳钗 ,  闫贯博

IPC: G06F11/36

Abstract: 本发明属于软件回归测试技术领域，具体涉及一种软件更改影响域分析辅助系统。所述软件更改影响域分析辅助系统包括：软件更改影响域分析模块、影响域分析报告生成模块；所述软件更改影响域分析模块用于分析软件更改影响域；所述影响域分析报告生成模块用于解析软件更改影响域的分析结果，并生成影响域分析报告。与现有技术相比较，本发明技术方案通过采取上述技术措施，该系统可以有效提高软件更改影响域分析准确度，提升软件测试效率，降低测试成本，提高了测试工作质量，降低了软件质量风险。节约时间成本和人力成本。本发明提供的针对软件更改影响分析可以为自动化测试提供指导。

公开(公告)号：CN109447968A

公开(公告)日：2019-03-08

申请号：CN201811265800.0

申请日：2018-10-29

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

Inventor： 李慧君 ,  安鹏伟 ,  闫昆 ,  孙文靖 ,  王春海 ,  李晓伟 ,  魏伟波 ,  刘伟 ,  桑妤 ,  马越 ,  申璐 ,  王雅楠 ,  朱文龙 ,  马少辉 ,  惠战伟 ,  洪楠

IPC: G06T7/00

Abstract: 本发明属于图像区域生长算法测试技术领域，具体涉及一种图像区域生长算法的蜕变测试系统。图像区域生长是实时图像处理的重要功能之一。然而，由于操作不确定性的因素，实际测试中很难获取图像区域生长算法的测试判定。基于此，本发明将蜕变测试系统应用于图像区域生长算法的测试中，通过分析算法的几何属性、数值属性以及算法特性提取出一系列蜕变关系，基于这些蜕变关系形成图像区域生长算法的蜕变测试方法，可以有效地解决图像区域生长算法的测试判定难题。