计算机科学与探索 ›› 2018, Vol. 12 ›› Issue (10): 1594-1603.DOI: 10.3778/j.issn.1673-9418.1710036
李 璇,吴 际+,刘 超,杨海燕
LI Xuan, WU Ji+, LIU Chao, YANG Haiyan
摘要: 面向标准的目标符合性论证是适航认证领域的重要研究内容。论证过程中,在已有证据不足以表明目标符合性论证结果满足期望要求时,有必要进一步收集证据。然而,由于缺少有效的方法帮助划定证据收集范围和收集力度,导致证据收集的结果往往是高成本低效力的。因此,必须避免收集任何低效力且高收集成本的证据,以确保在目标符合性论证结果满足期望要求时证据收集总成本较低。针对定量评估的目标符合性论证方法,以证据收集成本最小化为规划原则,提出了一种成本优化的证据收集方案,以便于明确需收集的证据项及收集力度,进而规避掉不必要的时间、人力、物力的消耗。结合RTCA DO-178C适航认证标准,通过一个覆盖多分支情况的案例,评估了方案的有效性。