编写有效用例笔记- 第六章 前置条件、触发事件和保证

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

前置条件（precondition）是启动用例时必须满足的最小条件。系统要对前置条件进行检查。如果一个用例的前置条件太多，要仔细检查是否将异常情况判断当作用例的前置条件了。前置条件是在用例开始时满足的条件。如果在用例执行中，无论用例成功或失败，系统都可以保证一些条件不被破坏，这些条件就构成了系统的最小保证。

最小保证：只有收到付款以后才启动订单。
最小保证：系统将执行进度记入日志。

在用例执行成功时系统满足的条件叫成功保证（success guarantee）。

成功保证：系统为客户创建一个订单，收到付款信息，并将订单请求记入日志。

触发事件（trigger event）是启动用例的事件，它可以是用例的第一个步骤，也可以不属于用例操作步骤。

用例：使用ATM
触发事件：客户插入信用卡
1. 客户插入信用卡，卡上记录着银行ID、银行账号和加密的PIN码等信息。
...

用例：记录客户投诉
触发事件：客户打电话投诉
1. 职员打开应用程序。
2. 记录用户投诉。
...