-
题名目标符合性论证中成本优化的证据收集方法
- 1
-
-
作者
李璇
吴际
刘超
杨海燕
-
机构
北京航空航天大学计算机学院
-
出处
《计算机科学与探索》
CSCD
北大核心
2018年第10期1594-1603,共10页
-
基金
民用飞机专项科研项目No.MJ-S-2013-10~~
-
文摘
面向标准的目标符合性论证是适航认证领域的重要研究内容。论证过程中,在已有证据不足以表明目标符合性论证结果满足期望要求时,有必要进一步收集证据。然而,由于缺少有效的方法帮助划定证据收集范围和收集力度,导致证据收集的结果往往是高成本低效力的。因此,必须避免收集任何低效力且高收集成本的证据,以确保在目标符合性论证结果满足期望要求时证据收集总成本较低。针对定量评估的目标符合性论证方法,以证据收集成本最小化为规划原则,提出了一种成本优化的证据收集方案,以便于明确需收集的证据项及收集力度,进而规避掉不必要的时间、人力、物力的消耗。结合RTCA DO-178C适航认证标准,通过一个覆盖多分支情况的案例,评估了方案的有效性。
-
关键词
目标符合性
证据收集
证据收集成本
收集力度
-
Keywords
objectives conformity
evidence collection
cost of evidence collection
collection efforts
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
