Skip to content
Book Open access

FaultWeave: Bounded Resilience Testing with Failure Diagnosis Capability for Microservice Applications

Jul 2026 · SIGSOFT FSE Companion · pp. 857-867 · 0 citations · 40 references
Computer Science

TL;DR

Fault-Weave designs an efficient fault space exploration technique which incrementally explores fault combinations up to a bounded depth, taking full advantage of previous fault injection results to speed up test execution and reduce redundant test scenarios.

Abstract

Microservice architecture has become the de-facto standard for developing cloud-native applications, yet its complex inter-service dependencies make systems highly fragile to cascading failures. Resilience testing, which validates system behavior by injecting various faults, is therefore critical to improve the robustness of target systems. We present FaultWeave, a practical and effective resilience testing framework with failure diagnosis capability for microservice applications. Based on the small scope hypothesis, Fault-Weave designs an efficient fault space exploration technique which incrementally explores fault combinations up to a bounded depth, taking full advantage of previous fault injection results to speed up test execution and reduce redundant test scenarios. This incremental strategy naturally identifies Minimal Failure Sets (MFS)—the smallest fault combinations that trigger resilience failures—which provide structured differential profiles for LLM-assisted failure diagnosis. Industrial deployment on an enterprise-level cloud-native application (containing 512 microservices) at a large power grid company in China over three months discovered 237 resilience vulnerabilities. The evaluation demonstrates significant improvements in testing efficiency and discovered resilience failures compared to existing manual practices.

Read PDF

Similar papers

Conference Jul 2026

Chaos Engineering and Observability Integration for Resilient Cloud Infrastructure

Cloud computing acts as the core foundation supporting modern digital services, and hosts large-scale applications across five major domains: finance, healthcare, e-commerce, education, and industrial automation. However, its inherent complex, distributed, and dynamic native characteristics make it susceptible to four...

Ganesh Gurudu, Ajay Devineni · 0 citations
Open access Jul 2026

ResilienceBench-Operator: A Kubernetes Extension for Systematic Evaluation of Microservice Resilience Patterns

The paper formalizes the underlying scenario-based evaluation model, details the design and implementation of the operator, and demonstrates its capabilities through a controlled benchmark experiment on the Online Boutique application, covering hundreds of automatically orchestrated evaluation scenarios across multiple...

C. Aderaldo, N. C. Mendonça · 0 citations
Conference Jul 2026

AI Driven Chaos Engineering for Stateful Financial Microservices

The rapid adoption of cloud-native banking platforms and distributed fintech applications has significantly increased the use of stateful financial microservices for payment processing, transaction management, fraud detection, and digital financial operations. However, these distributed financial systems are very sensi...

Rohith Venkata Sai Kumar Potladurthy, Mufaddal Munim, Rajesh Makala · 0 citations
Jul 2026

SequenceFI: Non-intrusive Temporal Fault Injection for Microservice Systems

This paper presents SequenceFI, a non-intrusive framework for temporal fault injection in microservice systems that synthesizes temporal guards from traces, reducing the need for exhaustive enumeration of temporal fault-injection configurations, while requiring no modifications to application code or serialization libr...

Yuzhen Tan, Jian Wang, Bing Li et al. · 0 citations
Open access Jul 2026

Formal Verification Frameworks for Cloud-Native Microservices

A formal verification framework that consists of a combination of specifications of temporal logic, model checking and modeling of service interactions graphs to study the behavior of the system and confirm the correctness properties is suggested.

Aparna S. Patil, Pratibha V. Kashid, Sourabh Rungta et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.