软件容错技术的最优性评价

M. Rizwan, A. Nadeem, Muhammad Bilal Ahmad Khan
{"title":"软件容错技术的最优性评价","authors":"M. Rizwan, A. Nadeem, Muhammad Bilal Ahmad Khan","doi":"10.1109/ICET.2015.7389208","DOIUrl":null,"url":null,"abstract":"Chances of occurrence of fault increases when program goes beyond few thousand lines, even with the use of formal methods for fault prevention. These faults need very exhaustive testing to be removed, which is infeasible. This implies the indispensability of software fault tolerance (SFT) before facing the consequences of faults. Since 1972, several different SFT techniques have been proposed. But still occurrence of failures imply the failure of existing SFT techniques in considering all the required parameters. In this paper we analyze 16 replication based SFT techniques proposed after 1972 that have long-term influence or some paramount significance. We put them in classification based upon diversity they offer, adjudication mechanism they use & whether or not they are adaptive. Then we catalog the essential parameters for optimal adjudication, diversity & adaptiveness along with suggestions to incorporate those parameters. Finally, we map the listed techniques on these parameters. We came up with the result that none amongst the existing technique addresses all the essential parameters. This paper serves as a touch stone to evaluate any SFT technique & provides substantial guide for the researchers in proposing new SFT technique.","PeriodicalId":166507,"journal":{"name":"2015 International Conference on Emerging Technologies (ICET)","volume":"172 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"An evaluation of software fault tolerance techniques for optimality\",\"authors\":\"M. Rizwan, A. Nadeem, Muhammad Bilal Ahmad Khan\",\"doi\":\"10.1109/ICET.2015.7389208\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Chances of occurrence of fault increases when program goes beyond few thousand lines, even with the use of formal methods for fault prevention. These faults need very exhaustive testing to be removed, which is infeasible. This implies the indispensability of software fault tolerance (SFT) before facing the consequences of faults. Since 1972, several different SFT techniques have been proposed. But still occurrence of failures imply the failure of existing SFT techniques in considering all the required parameters. In this paper we analyze 16 replication based SFT techniques proposed after 1972 that have long-term influence or some paramount significance. We put them in classification based upon diversity they offer, adjudication mechanism they use & whether or not they are adaptive. Then we catalog the essential parameters for optimal adjudication, diversity & adaptiveness along with suggestions to incorporate those parameters. Finally, we map the listed techniques on these parameters. We came up with the result that none amongst the existing technique addresses all the essential parameters. This paper serves as a touch stone to evaluate any SFT technique & provides substantial guide for the researchers in proposing new SFT technique.\",\"PeriodicalId\":166507,\"journal\":{\"name\":\"2015 International Conference on Emerging Technologies (ICET)\",\"volume\":\"172 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 International Conference on Emerging Technologies (ICET)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICET.2015.7389208\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 International Conference on Emerging Technologies (ICET)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICET.2015.7389208","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5

摘要

当程序超过几千行时,即使使用正式的方法来预防故障,发生故障的机会也会增加。这些故障需要非常详尽的测试才能消除,这是不可行的。这意味着在面对故障的后果之前,软件容错(SFT)是不可或缺的。自1972年以来,已经提出了几种不同的SFT技术。但是,故障的发生仍然意味着现有的SFT技术在考虑所有所需参数方面的失败。本文分析了1972年以后提出的16种具有长期影响或重要意义的基于复制的SFT技术。我们根据它们提供的多样性、它们使用的裁决机制以及它们是否具有适应性来对它们进行分类。然后,我们对最佳裁决的基本参数、多样性和适应性进行了编目,并提出了将这些参数纳入其中的建议。最后,我们将列出的技术映射到这些参数上。我们得出的结果是,现有的技术中没有一个能解决所有的基本参数。本文可以作为评价任何SFT技术的试金石,并为研究人员提出新的SFT技术提供了实质性的指导。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
An evaluation of software fault tolerance techniques for optimality
Chances of occurrence of fault increases when program goes beyond few thousand lines, even with the use of formal methods for fault prevention. These faults need very exhaustive testing to be removed, which is infeasible. This implies the indispensability of software fault tolerance (SFT) before facing the consequences of faults. Since 1972, several different SFT techniques have been proposed. But still occurrence of failures imply the failure of existing SFT techniques in considering all the required parameters. In this paper we analyze 16 replication based SFT techniques proposed after 1972 that have long-term influence or some paramount significance. We put them in classification based upon diversity they offer, adjudication mechanism they use & whether or not they are adaptive. Then we catalog the essential parameters for optimal adjudication, diversity & adaptiveness along with suggestions to incorporate those parameters. Finally, we map the listed techniques on these parameters. We came up with the result that none amongst the existing technique addresses all the essential parameters. This paper serves as a touch stone to evaluate any SFT technique & provides substantial guide for the researchers in proposing new SFT technique.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信