变态容错：解决当代软件系统可靠性保证的 Oracle 问题

IF 2 4区计算机科学 Q3 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE

Computer Pub Date : 2024-06-27 DOI:10.1109/mc.2024.3390759

Zheng Zheng, Daixu Ren, Huai Liu, Tsong Yueh Chen

{"title":"变态容错：解决当代软件系统可靠性保证的 Oracle 问题","authors":"Zheng Zheng, Daixu Ren, Huai Liu, Tsong Yueh Chen","doi":"10.1109/mc.2024.3390759","DOIUrl":null,"url":null,"abstract":"We present the first comprehensive framework for implementing metamorphic fault tolerance. A key innovation in this framework is the application of risk formulas to evaluate the likelihood of inputs producing trustworthy outputs. Experiments demonstrate its effectiveness, especially without the need of test oracles.","PeriodicalId":10623,"journal":{"name":"Computer","volume":"45 1","pages":""},"PeriodicalIF":2.0000,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Metamorphic Fault Tolerance: Addressing the Oracle Problem of Reliability Assurance for Contemporary Software Systems\",\"authors\":\"Zheng Zheng, Daixu Ren, Huai Liu, Tsong Yueh Chen\",\"doi\":\"10.1109/mc.2024.3390759\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present the first comprehensive framework for implementing metamorphic fault tolerance. A key innovation in this framework is the application of risk formulas to evaluate the likelihood of inputs producing trustworthy outputs. Experiments demonstrate its effectiveness, especially without the need of test oracles.\",\"PeriodicalId\":10623,\"journal\":{\"name\":\"Computer\",\"volume\":\"45 1\",\"pages\":\"\"},\"PeriodicalIF\":2.0000,\"publicationDate\":\"2024-06-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Computer\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1109/mc.2024.3390759\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1109/mc.2024.3390759","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, HARDWARE & ARCHITECTURE","Score":null,"Total":0}

引用次数: 0

摘要

我们提出了第一个实现变态容错的综合框架。该框架的一项关键创新是应用风险公式来评估输入产生可信输出的可能性。实验证明了它的有效性，尤其是在不需要测试谕令的情况下。

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

查看原文本刊更多论文

Metamorphic Fault Tolerance: Addressing the Oracle Problem of Reliability Assurance for Contemporary Software Systems

We present the first comprehensive framework for implementing metamorphic fault tolerance. A key innovation in this framework is the application of risk formulas to evaluate the likelihood of inputs producing trustworthy outputs. Experiments demonstrate its effectiveness, especially without the need of test oracles.

求助全文

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

来源期刊

Computer 工程技术-计算机：软件工程

CiteScore

3.90

自引率

4.50%

发文量

378

审稿时长

12 months

期刊介绍： Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed articles written for and by computer researchers and practitioners representing the full spectrum of computing and information technology, from hardware to software and from emerging research to new applications. The aim is to provide more technical substance than trade magazines and more practical ideas than research journals. Computer seeks to deliver useful information for all computing professionals and students, including computer scientists, engineers, and practitioners of all levels.