一种面向DO-178C软件测试过程的目标验证及证据模型提取方法

摘要

本发明涉及一种面向DO-178C软件测试过程的目标验证及证据模型提取方法，建立软件测试过程相关目标的论证结构，分析出对应的证据需求，并依据证据需求建立证据模型，依据证据模型，在项目数据对应证据模型时，实现目标论证的自动化，为实现DO-178C软件测试过程的目标提出了一套自动推理的解决方案。使得软件测试过程更加符合适航审定的规范，为确定通过适航认证的软件测试过程的目标提供了有效的帮助；更加有效率的完成收集证据这一步骤，降低成本；实现目标满足性的自动推理，节省了成本，尤其是存在大量数据需要论证时，效率有显著的提升。

主权项

一种面向DO‑178C软件测试过程的目标验证及证据模型提取方法，具体包括以下步骤：步骤一、依据DO‑178C标准，建立软件测试内容的目标分解论证模型结构，即GSN模型；步骤二、依据GSN模型，分析提取论证GSN模型目标的证据需求，并依据证据需求建立类图形式的证据模型；步骤三、将GSN模型依据论证结构转换为一阶谓词表达式；步骤四、依据GSN模型转换的一阶谓词表达式对类图形式的证据模型赋值，对目标的满足性进行推理论证，显示目标是否满足，并分析未能满足目标的原因。