列功能前置
假設瀏覽要快取K，收據查看要K及儲存D，新增要D及寫入器W。K、D可用，W不可用；每項要齊所列前置，未有替代路線。
| 功能 | 所需集合 | 結果 |
|---|---|---|
| 瀏覽 | K | 可用 |
| 收據查看 | K、D | 可用 |
| 新增 | D、W | 不可用 |
逐項核全部必要依賴
- 固定組件狀態
- 各功能所需全要齊
- 列可用及暫停工作
瀏覽成功不能證明需要W的功能成功。
多少功能仍可用？
查看參考答案
三項中兩項，瀏覽及收據查看；新增欠W，D在也不足。
列可用範圍
| 個案 | 決定 | 理由 |
|---|---|---|
| 全服務停 | 把不可用範圍說大 | 兩項仍符合 |
| 瀏覽成功稱全恢復 | 把恢復說大 | 新增仍受阻 |
W恢復後沿用此表核工作，新增有實際輸出才擴大已恢復範圍。