系统用例规范中的前置条件是什么？
系统用例前置条件是系统已知的给定状态，必须始终为真，才能开始用例执行。例如，用于进行在线支付的用例可能具有以下前置条件：“客户订单完成”（对于零售系统）或“提交课程注册”（对于教育或培训系统）
前置条件只有在用例中每个可能流开始之前是真的才是有效的。对于一个流必需而对另一个流非必需的东西将不是用例的前置条件。
系前置条件不是什么？
系前置条件不是调用或触发用例的操作。使用在线支付示例，包含“角色选择进行在线支付”的前置条件无效。相反，应该在每个用例流的开头描述启动或调用操作。
系前置条件不是系统外部发生的（对于系统用例而言）。接收文档不是系统的前置条件，除非系统被设计成以电子方式接收文档。前置条件只描述系统已知或检测到的事物。
系前置条件不是角色脑子里发生的事情。前置条件不应被称为“角色希望……”。我还没有看到一个能够读懂思想的IT系统——尽管如果有人创建了一个系统，它肯定会使需求获取更加容易！这个规则在描述用例流如何被启动或调用时也是正确的——绝不是由参与者的意愿或意图，而是由参与者的动作来启动。
系小贴士：在写前置条件时使用现在时态（某事是“是”，而不是“已经”）。单词前置条件用来描述必须存在的状态，并避免诸如“...存在”这样的冗余术语。前置条件描述了系统必须能够检测的状态，这也意味着它必须固有地存在。在在线支付示例中，重点是状态（“完成”）和对象（“客户订单”）。