Toward a Theory of Assurance Case Confidence
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 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.
Technical Report
CMU/SEI-2012-TR-002
September 2012
Cite This Report
SEI:
Goodenough, John; Weinstock, Charles; & Klein, Ari. Toward a Theory of Assurance Case Confidence (CMU/SEI-2012-TR-002). Software Engineering Institute, Carnegie Mellon University, 2012. http://www.sei.cmu.edu/library/abstracts/reports/12tr002.cfm
IEEE:
J. Goodenough, C. Weinstock, and A. Klein, "Toward a Theory of Assurance Case Confidence," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, Pennsylvania, Technical Report CMU/SEI-2012-TR-002, 2012. http://www.sei.cmu.edu/library/abstracts/reports/12tr002.cfm
APA:
Goodenough, J., Weinstock, C., & Klein, A. (2012). Toward a Theory of Assurance Case Confidence (CMU/SEI-2012-TR-002). Retrieved May 18, 2013, from the Software Engineering Institute, Carnegie Mellon University website: http://www.sei.cmu.edu/library/abstracts/reports/12tr002.cfm
CHI:
Goodenough, John, Charles Weinstock, and Ari Klein. Toward a Theory of Assurance Case Confidence (CMU/SEI-2012-TR-002). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2012. http://www.sei.cmu.edu/library/abstracts/reports/12tr002.cfm
MLA:
Goodenough, J., Weinstock, C., & Klein, A. 2012. Toward a Theory of Assurance Case Confidence (Technical Report CMU/SEI-2012-TR-002). Pittsburgh: Software Engineering Institute, Carnegie Mellon University. http://www.sei.cmu.edu/library/abstracts/reports/12tr002.cfm
Find Us Here
Share This Page
For more information
