ds-blast-radius

ds-blast-radius

呼び出し元を一覧にするのは簡単です。難しいのは、テキスト検索では見つからない不具合を探し、議論ではなく実行によって変更が安全であることを証明することです。

手順

1. 変更内容を読みます。差分、追加・変更・削除されるシンボル、そして差分に明記されていない新たな動作を確認します。
2. 変更が安全である根拠となる重要な事実を、1つか2つ特定します。たとえば、「これはすでに期限切れのキャッシュエントリだけを削除する」などです。その事実が成り立てば、リスクの大半は解消されます。ここに労力をかけてください。
3. 検索だけでは追えなくなる箇所を確認します。呼び出しているライブラリのソースを、固定されているバージョンで読みます。非同期処理の順序、終了処理、再試行など、タイミングも確認します。コードの外に出ていくデータを追います。API レスポンス、データベースの列、ファイル形式、設定、同じデータを読み取る他の言語などです。
4. 重要な事実ごとに、どこまで証明できたかを評価します。
   1. そう述べただけ（それだけでは価値はありません）、
   2. 実在するファイルと行を示した、
   3. 障害に至る経路をたどり、そこに到達できないことを示した、
   4. 間違いであれば明確に失敗するスクリプトまたはテストを、実際のコードに対して実行した、
   5. 実行中のアプリで再現した。
5. コストが低ければ、各重要な事実をレベル4まで引き上げます。通常は、対象の関数を直接呼び出す小さなスクリプトを1つ用意すれば十分です。
6. 報告します。重要な事実、その証明レベルとコマンドおよび出力、実際に見つかった不具合、未証明のまま残ったことを記載します。

次の場合に終了します

• すべての重要な事実がレベル4以上に達したか、達しなかった理由を説明し、報告を書き終えた場合。
• または、実際の不具合を見つけた場合。その再現手順を報告して終了します。

ルール

• 説得力のある説明は証明にはなりません。出力を示してください。
• ここでは何も修正しないでください。修正は通常のフローに引き継いでください。