排除归纳法:论证系统信心的基础

2013 35th International Conference on Software Engineering (ICSE) Pub Date : 2013-05-18 DOI:10.5555/2486788.2486950

J. Goodenough, C. Weinstock, Ari Z. Klein

{"title":"排除归纳法:论证系统信心的基础","authors":"J. Goodenough, C. Weinstock, Ari Z. Klein","doi":"10.5555/2486788.2486950","DOIUrl":null,"url":null,"abstract":"Assurance cases provide a structured method of explaining why a system has some desired property, e.g., that the system is safe. But there is no agreed approach for explaining what degree of confidence one should have in the conclusions of such a case. In this paper, we use the principle of eliminative induction to provide a justified basis for assessing how much confidence one should have in an assurance case argument.","PeriodicalId":322423,"journal":{"name":"2013 35th International Conference on Software Engineering (ICSE)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"36","resultStr":"{\"title\":\"Eliminative induction: A basis for arguing system confidence\",\"authors\":\"J. Goodenough, C. Weinstock, Ari Z. Klein\",\"doi\":\"10.5555/2486788.2486950\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Assurance cases provide a structured method of explaining why a system has some desired property, e.g., that the system is safe. But there is no agreed approach for explaining what degree of confidence one should have in the conclusions of such a case. In this paper, we use the principle of eliminative induction to provide a justified basis for assessing how much confidence one should have in an assurance case argument.\",\"PeriodicalId\":322423,\"journal\":{\"name\":\"2013 35th International Conference on Software Engineering (ICSE)\",\"volume\":\"5 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-05-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"36\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 35th International Conference on Software Engineering (ICSE)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5555/2486788.2486950\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 35th International Conference on Software Engineering (ICSE)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5555/2486788.2486950","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 36

摘要

保证案例提供了一种结构化的方法来解释为什么系统具有某些期望的属性，例如，系统是安全的。但是，对于解释人们应该对这种情况的结论有多大程度的信心，目前还没有一致的方法。在本文中，我们使用了排除归纳法的原则，以提供一个合理的基础，评估多少信心，一个人应该在保证情况下的论点。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Eliminative induction: A basis for arguing system confidence

Assurance cases provide a structured method of explaining why a system has some desired property, e.g., that the system is safe. But there is no agreed approach for explaining what degree of confidence one should have in the conclusions of such a case. In this paper, we use the principle of eliminative induction to provide a justified basis for assessing how much confidence one should have in an assurance case argument.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2013 35th International Conference on Software Engineering (ICSE)

自引率

0.00%

发文量