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

• 作者: 刘超 吴际 李璇 杨海燕
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 目标符合性 证据收集 证据收集成本 收集力度
• 年，卷（期）: 2018,（10）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1594-1603
• 页数: 10页
• 分类号: TP311.5
• 字数: 7306字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1710036

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘超	北京航空航天大学计算机学院	138	2512	20.0	47.0
2	杨海燕	北京航空航天大学计算机学院	27	322	7.0	17.0
3	吴际	北京航空航天大学计算机学院	50	643	10.0	24.0
4	李璇	北京航空航天大学计算机学院	1	1	1.0	1.0