Toward a Theory of Assurance Case Confidence
Toward a Theory of Assurance Case Confidence
复制标题
走向案例置信度保证理论
DOI：
10.21236/ada609836
复制
发表时间：
2012
影响因子：
3.7
通讯作者：
Ari Z. Klein
中科院分区：
文献类型：
--
作者：
J. Goodenough;C. Weinstock;Ari Z. Klein
翻译后摘要：保证案件提供了一个论点和证据，解释为什么一些系统属性的索赔持有。本报告概述了一个框架，以证明对这种保证案件索赔的真实性的信心。该框架基于排除归纳的概念--这一原则（首先由弗朗西斯培根提出）认为，随着怀疑其真实性的理由被确定和消除，对一个假设（或主张）的真实性的信心会增加。怀疑索赔真实性的可能原因（defeaters）来自使用可废止推理概念分析保证案例。最后，培根概率的概念提供了一种基于有多少失败者被识别和淘汰的信心度量。
Abstract : Assurance cases provide an argument and evidence explaining why a claim about some system property holds. This report outlines a framework for justifying confidence in the truth of such an assurance case claim. The framework is based on the notion of eliminative induction - the principle (first put forward by Francis Bacon) that confidence in the truth of a hypothesis (or claim) increases as reasons for doubting its truth are identified and eliminated. Possible reasons for doubting the truth of a claim (defeaters) arise from analyzing an assurance case using defeasible reasoning concepts. Finally, the notion of Baconian probability provides a measure of confidence based on how many defeaters have been identified and eliminated.