目标符合性论证中成本优化的证据收集方法

来源：计算机科学与探索杂志2018年第10期北京时间：

作者：李璇，吴际，刘超，杨海燕

单位：北京航空航天大学 计算机学院，北京 100191

摘要：面向标准的目标符合性论证是适航认证领域的重要研究内容。论证过程中，在已有证据不足以表明目标符合性论证结果满足期望要求时，有必要进一步收集证据。然而，由于缺少有效的方法帮助划定证据收集范围和收集力度，导致证据收集的结果往往是高成本低效力的。因此，必须避免收集任何低效力且高收集成本的证据，以确保在目标符合性论证结果满足期望要求时证据收集总成本较低。针对定量评估的目标符合性论证方法，以证据收集成本最小化为规划原则，提出了一种成本优化的证据收集方案，以便于明确需收集的证据项及收集力度，进而规避掉不必要的时间、人力、物力的消耗。结合RTCA DO-178C适航认证标准，通过一个覆盖多分支情况的案例，评估了方案的有效性。

关键词：目标符合性,证据收集,证据收集成本,收集力度