[发明专利]一种基于模型检验的时序软件质量缺陷检测方法及系统

摘要

本发明涉及一种基于静态分析的软件质量缺陷检测方法及系统，属于计算机信息安全技术领域。该检测方法具体步骤如下：步骤A、输入被检测源代码，并根据被检测源代码选择缺陷模式；步骤B、对被检测的源代码进行预处理；步骤C、对合并完的源代码模型进行控制流图压缩；步骤D、判断被检测的原程序的模型中是否存在缺陷；步骤E、结果处理：将检测完的源程序代码终止状态的位置信息转换为于原始源代码的位置信息；步骤F、输出：将最终的判断结果显示给用户。本发明检测方法及系统能够提早发现软件缺陷的，缩短软件研发周期，节约开发成本，提高软件质量；并且在被测程序源代码中直接定位，准确定位缺陷；能够提高检验效率，降低误报率。

主权项

一种基于模型检验的时序软件质量缺陷检测方法，其特征在于：所述方法的具体步骤如下：步骤A、输入被检测源代码，并根据所述被检测源代码选择缺陷模式；步骤B、对所述被检测的源代码进行预处理；步骤C、对合并完的源代码模型进行控制流图压缩；步骤D、判断所说缺陷模式的自动机中的终止状态在所述被检测的原程序的建模中相对应的安全模型中是否可达，如果所述终止状态可达，判断所述被检测的源代码程序存在缺陷；如果所述终止状态不可达，则判断所述被检测的源代码程序不存在缺陷；步骤E、结果处理：将步骤D中检测完的源程序代码终止状态的位置信息转换为于原始源代码的位置信息；步骤F、输出：将最终的判断结果输出显示出来供用户阅读。