編寫有效用例筆記- 第六章 前置條件、觸發事件和保證

http://tommwq.tech/blog/2020/11/26/236

前置條件（precondition）是啓動用例時必須滿足的最小條件。系統要對前置條件進行檢查。如果一個用例的前置條件太多，要仔細檢查是否將異常情況判斷當作用例的前置條件了。前置條件是在用例開始時滿足的條件。如果在用例執行中，無論用例成功或失敗，系統都可以保證一些條件不被破壞，這些條件就構成了系統的最小保證。

最小保證：只有收到付款以後才啓動訂單。
最小保證：系統將執行進度記入日誌。

在用例執行成功時系統滿足的條件叫成功保證（success guarantee）。

成功保證：系統爲客戶創建一個訂單，收到付款信息，並將訂單請求記入日誌。

觸發事件（trigger event）是啓動用例的事件，它可以是用例的第一個步驟，也可以不屬於用例操作步驟。

用例：使用ATM
觸發事件：客戶插入信用卡
1. 客戶插入信用卡，卡上記錄着銀行ID、銀行賬號和加密的PIN碼等信息。
...

用例：記錄客戶投訴
觸發事件：客戶打電話投訴
1. 職員打開應用程序。
2. 記錄用戶投訴。
...