paperbot · PL 论文追踪

全部论文 待读 收藏

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

FaultWeave:面向微服务应用的带故障诊断能力的有界韧性测试
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 3/10 · 论文聚焦微服务韧性测试与故障注入,虽结合LLM辅助诊断并有工业落地,但未涉及用户核心的静态分析、形式化验证、浮点程序分析或贝叶斯程序分析,与PL与AI交叉的研究方向匹配度较低。引用 0 inbox
Mingzhuo Zheng, Guoquan Wu, Jinbo Zhang, Jun Wei, Wei Chen, Jiaxin Zhu, Zheheng Liang
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:提出增量有界故障空间探索并识别最小失败集,为微服务韧性测试提供高效注入与 LLM 辅助诊断。

微服务架构已成为云原生应用的事实标准,但复杂的服务间依赖使其极易发生级联故障,因此通过注入故障来验证系统行为的韧性测试至关重要。本文提出 FaultWeave,一个实用且有效的微服务韧性测试框架,并具备故障诊断能力。基于小范围假设(small scope hypothesis),FaultWeave 设计了一种高效的故障空间探索技术,增量地探索有界深度内的故障组合,并充分利用先前的故障注入结果来加速测试执行、减少冗余测试场景。该增量策略能够自然地识别最小失败集(Minimal Failure Sets, MFS),即触发韧性失败的最小故障组合,从而为 LLM 辅助的故障诊断提供结构化的差分画像。该框架在中国某大型电网企业的企业级云原生应用(包含 512 个微服务)上进行了为期三个月的工业部署,共发现 237 个韧性缺陷。评估表明,相比现有的人工实践,该工作在测试效率和所发现的韧性故障方面均有显著提升。

问题
微服务应用的服务间依赖复杂、易受级联故障影响,现有韧性测试在故障组合空间探索效率与失败后诊断方面能力不足。
方法
基于小范围假设增量地探索有界深度的故障组合,复用既有注入结果以减少冗余场景,并识别最小失败集(MFS)为 LLM 辅助故障诊断提供结构化差分画像。
评估
在某大型电网企业包含 512 个微服务的企业级云原生应用上开展三个月工业部署,共发现 237 个韧性缺陷,并与现有人工实践在测试效率与故障发现方面进行对比。
原文摘要(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.

链接与引用

DOI 原文 · PDF(开放获取) · DBLP

BibTeX
@inproceedings{ZhengWZWCZL26,
  title = {FaultWeave: Bounded Resilience Testing with Failure Diagnosis Capability for Microservice Applications},
  author = {Mingzhuo Zheng and Guoquan Wu and Jinbo Zhang and Jun Wei and Wei Chen and Jiaxin Zhu and Zheheng Liang},
  booktitle = {FSE},
  year = {2026},
  doi = {10.1145/3803437.3805257}
}