一种软件可信性检测分析方法

摘要

本发明公开一种软件可信性检测分析方法，包括标准指标体系管理模块、软件过程采集模块、软件可信度测评模块、反馈结果模块，标准指标体系管理模块构建攻击模型库，增加威胁程度属性，建立攻击模式和软件缺陷之间的多对一映射关系，从而获取软件的威胁程序，软件过程采集模块通过构建形式统一的软件模型，软件安全知识库，软件可信度测评模块通过定理证明进行采集软件和攻击文件之间的关联信息。可以有效的完成软件开发过程中软件设计模型的缺陷查找，提高了软件可信性评价精度，并提高软件的开发质量和效率。设计新颖，是一种很好的创新方案。