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

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

引用次数: 0

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.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

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

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

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

求助全文

约1分钟内获得全文去求助

来源期刊

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.

期刊最新文献

Artificial Intelligence for the Benefit of Everyone Infusing Artificial Intelligence Into Software Engineering and the DevSecOps Continuum Computer Highlights Society Magazines Data Submarines Extended Reality and Artificial Intelligence’s Ethical Crossroads: From Sensory Manipulation to Creative Disruption