# Rainmaker [[Yinfang Chen]]・[[Xudong Sun]]・[[Suman Nath]]・[[Ze Yang]]・[[Tianyin Xu]] が NSDI'23 で発表した([[@2023__NSDI__Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker]])、クラウドを利用するアプリケーション向けの「push-button」型信頼性テストツール。後年、Chen の博士論文([[Agentic Failure Management of Cloud Systems]]第2章)にも同一研究として収録された。 - outbound の REST API 呼び出しを HTTP 層で傍受・操作する HTTP プロキシにより、既存テストスイートにコード変更なしで一時的クラウド障害を注入する(4種のポリシー P1–P4)。 - クラウドベースの障害モデルの下でエラー処理が壊れるパターンを4分類する taxonomy(no error handling / throwing unrelated exceptions / silent semantic violations / state divergence)に基づいて設計。 - 11個の .NET アプリケーションで新規バグ73件(確認55件・修正51件、誤検知率1.96%)を発見。call-site 単位の網羅率指標 C1–C4 と inheritable thread-local storage (ITLS) により、exhaustive baseline 比平均64.47%のテスト実行回数削減を達成。 - アーティファクトは https://github.com/xlab-uiuc/rainmaker で公開(論文記載)。 - 博士論文第2章([[@2026__PhD__Agentic Failure Management of Cloud Systems - Chapter 2 Reliability Testing for Cloud-Backed Applications]])は NSDI'23 論文の再録であり、taxonomy・実験対象アプリ数・検出バグ数・誤検知率などの主要数値を照合した結果、矛盾は見つからなかった。博士論文側は DistributedLock-132(900件超のリクエストのうちわずか4件が発生源の call site でのみ露見するバグ)のような一次論文の要約に含まれない具体例と、ポリシー×オラクル別のバグ内訳(Table 6)を追加している。 - 限界は §2.9 に6点明示: 既存テストスイートへの依存、テストコスト、単一 REST 呼び出しに閉じた障害モデル(相関する複数呼び出しにまたがるバグは対象外)、クラウドサービス自体のバグの取り扱い、応答経路タイムアウトのような修正困難なバグの存在、.NET 限定のプロトタイプ。 ## 関連 - ソース: [[@2023__NSDI__Push-Button Reliability Testing for Cloud-Backed Applications with Rainmaker]](一次論文, NSDI'23) / [[Agentic Failure Management of Cloud Systems]](博士論文第2章に再録) / [[@2026__PhD__Agentic Failure Management of Cloud Systems - Chapter 2 Reliability Testing for Cloud-Backed Applications]](章単位 source ページ) - 概念: [[障害注入]] - 著者: [[Yinfang Chen]] / [[Xudong Sun]] / [[Suman Nath]] / [[Ze Yang]] / [[Tianyin Xu]] - 所属: [[University of Illinois Urbana-Champaign]] / [[Microsoft Research]] - 関連 MOC: [[LLM4SRE - MOC]] / [[Project AI4SRE - MOC]]