问题原因：没有主持行者
修正后：
范围：ATM系统
主执行者：账户持有者
1.通过读卡机，储户插入ATM卡
2.ATM系统从卡上读取银行ID、账号、加密密码，并用主银行系统验证银行ID和帐号
3.储户键入密码，ATM系统根据上面读出的卡上加密密码，对密码进行验证。
4.储户选择取款，并键入取款数量。
5.ATM系统通知主银行系统，传递储户账号和取款数量，并接收返回的确认信息和储户账户余额。
6.ATM系统输出现金、ATM卡，显示账户余额的收据。
7.ATM系统记录事务到日志文件。 错误用例
用例：买东西
范围：采购应用系统
主执行者：顾客
1.系统显示输入ID及密码屏幕。
2.顾客键入ID和密码，然后按OK。
3.系统验证顾客ID及密码，并在屏幕上显示个人信息。
4.顾客键入姓名、街道地址、城市、州、邮编、电话号码，然后按OK。
5.系统验证是否为老客户
6.系统显示可用商品列表
7.顾客选取需要购买的商品及数量，完成时按DONE。
8.系统通过库存辅助系统验证购买商品是否有足够库存。
9. … … 修正上面的用例
问题原因：过多用户接口细节
修正后：
1. 顾客使用ID和密码进入系统
2. 系统验证顾客身份。
3. 顾客提供姓名、地址、电话号码
4. 系统验证顾客是否为老顾客
5. 顾客选择购买商品及相关数量
6. 系统由库存系统验证购买商品是否有足够库存。
六、用例图
（1）用例图的作用
利用用例图可以实现从用户角度来描述系统所应该具有的功能，同时并能够指出各功能的操作者； 也能够显示出与系统进行交互的外部参与者及其使用方式。 在一个用例图中，一般主要包含有系统边界、参与者、用例和用例关系（通信、使用和扩展等三种形式）。（2）用例之间的关系及其UML的图示
用例除了与参与者有联系外，各个用例之间也可能会存在一定的联系。这些联系包括：泛化关联、包含关联、扩展关联等。
泛化关联：它代表一般与特殊的关系，它充分体现了面向对象的继承性：子类具有父类的所有属性，还可以拥有自己的属性特点及行为。在UML中泛化关联用空心三角箭头的实线表示：其方向从特殊指向一般。
延伸阅读
文章来源于领测软件测试网 https://www.ltesting.net/
