3.6 测试用例

用例可用于测试系统的正确性和有效性。正确性表明系统的实现符合规格说明。有效性保证开发的系统是用户真正需要的系统。
有效性检查一般在系 统开发之前进行。当用例模型构造完成后，开发者将模型交给用户讨论，由用户检查模型能否满足他们对系统的需求。在此期间，各种问题和想法还会产生，比如修 改用例的不足之处，或在用例中添加新功能。最终，用户和开发者之间对系统的功能达成共识。有效性检查也可以在系统测试阶段进行，如果发现了系统不能满足用 户需求的问题，那么整个工程或许会要从头重来。

正确性测试保证系统的工作符合规格说明。常用的测试方法有二种，一种是用具体的用例测试系统的行为，又称“漫游用例”；另一种是用用例描述本身测试，或称定义测试。这两种方法相比，第一种方法更好一些。
第 一种测试方法的基本思想是用人模拟系统的行为。大致过程如下：指定一个人扮演具体用例中的角色，另一个人扮演系统。扮演角色的人首先说出角色应传给系统的 消息，然后系统接收消息开始执行，在系统执行过程中，扮演系统的人说出他正在做的工作是什么。通过角色模拟，开发者可以从扮演者那里得知用例的不足之处。 比如，发现哪些情况漏掉了，哪些动作描述得还不够详细，扮演系统行为的人洞察力越强用例测试的效果就越好。因此，可以让每个人分别多次扮演各个角色或系 统，从而为建模者提供更多的信息，减少用例描述的遗漏和含糊不清。当所有的角色都被扮演，且所有的用例都以此方式执行过了，那么对用例模型的测试就算完成 了。