[发明专利]静态分析辅助方法在审
| 申请号： | 201811265856.6 | 申请日： | 2018-10-29 |
| 公开（公告）号： | CN109388575A | 公开（公告）日： | 2019-02-26 |
| 发明（设计）人： | 马少辉;孙文靖;张磊;杨硕;于铁军;刘昕照;杨春霞;邹丽;罗淑琼;彭婷婷;高誉菊;胡蝶;侯艳钗;谷妤嫔;曾丽婷;洪楠 | 申请（专利权）人： | 北京京航计算通讯研究所 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 中国兵器工业集团公司专利中心 11011 | 代理人： | 周恒 |
| 地址： | 100074 北*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | |||
| 搜索关键词： | 静态分析 映射 人力成本 报告生成模块 静态分析技术 自动化测试 测试 安全子集 报告模板 标准要求 技术措施 结果提取 结果整理 模块解析 模块提取 软件测试 生成测试 时间成本 节约 研究 | ||
1.一种静态分析辅助方法，其特征在于，所述静态分析辅助方法基于静态分析辅助系统来实施，所述系统包括：静态分析结果提取模块、静态分析结果整理模块、报告生成模块；
所述方法包括：
步骤1：静态分析结果提取模块提取静态分析工具的静态分析测试结果；
步骤2：静态分析结果整理模块解析静态分析后的静态分析测试结果，并将静态分析测试结果映射至安全子集细则GJB8114中的标准要求，形成映射整理后的静态分析测试结果；
步骤3：报告生成模块将映射整理后的静态分析测试结果依据报告模板生成测试报告。
2.如权利要求1所述的静态分析辅助方法，其特征在于，所述静态分析结果提取模块包括：QAC Source Code Analyser接口；
所述步骤1包括：QAC Source Code Analyser接口对静态分析工具QAC Source CodeAnalyser的静态分析测试结果进行提取。
3.如权利要求1所述的静态分析辅助方法，其特征在于，所述静态分析结果提取模块包括：TESTBED接口；
所述步骤1包括：TESTBED接口对静态分析工具TESTBED的静态分析测试结果进行提取。
4.如权利要求1所述的静态分析辅助方法，其特征在于，所述静态分析结果提取模块包括：Klocwork接口；
所述步骤1包括：Klocwork接口对静态分析工具Klocwork的静态分析测试结果进行提取。
5.如权利要求1所述的静态分析辅助方法，其特征在于，所述静态分析结果整理模块中包括：映射库；所述映射库中包含静态分析工具规则映射至GJB8114编程安全子集的对照关系；
所述步骤2包括：映射库接收静态分析工具的静态分析测试结果，根据对照关系在映射库内检索静态分析测试结果对应的GJB8114编程安全子集，从而生成映射整理后的对应GJB8114的静态分析测试结果。
6.如权利要求1所述的静态分析辅助方法，其特征在于，所述报告生成模块中包括：变相应测试报告模板；
所述步骤3包括：变相应测试报告模板根据模板将映射整理后的静态分析测试结果填写生成测试报告。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京京航计算通讯研究所，未经北京京航计算通讯研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/pat/books/201811265856.6/1.html，转载请声明来源钻瓜专利网。
- 上一篇：静态分析辅助系统
- 下一篇：一种基于AGDI接口的仿真调试工具
