知识卡片
用例的前置条件、保证与触发器
内容
用例除主成功场景和扩展外，还可附加三类共同信息：前置条件描述系统允许用例开始前应确保为真的东西，用处是告诉程序员不必在代码里重复检查这些条件；保证描述用例结束时系统会确保的东西，成功场景结束后是成功保证，任何场景结束后至少是最小保证；触发器规定触发用例开始的具体事件。作者提醒添加这些元素要谨慎，少比多好，用例应保持简短易读，过长反而不好读，违背用例本身的目的。
参考来源
- 位置：《UML精粹：标准对象建模语言简明指南（第3版）》第9章《用例》（源文件：_epub-src/EPUB/8.xhtml）
- 结论依据：原文定义"前置条件（pre-condition）描述在系统允许用例开始之前，系统应该确保为真的东西……保证（guarantee）描述用例结束时系统会确保的东西。成功场景结束后得到的是成功保证；任何场景结束后都会得到最小保证。触发器（trigger）规定了触发用例开始的事件"。
- 原始内容：前置条件（pre-condition）描述在系统允许用例开始之前，系统应该确保为真的东西。前置条件的用处是，告诉程序员在他们的代码中不必检查这些条件……成功场景结束后得到的是成功保证；任何场景结束后都会得到最小保证……触发器（trigger）规定了触发用例开始的事件。