用例流中的Use/Extend关系是否会修改后置条件？及查询所有凭证用例的后置条件定义咨询

首先得明确：后置条件是用例执行完成后，系统必须处于的稳定、可验证的状态——它只关注当前用例本身达成的结果，和用户后续是否触发其他可选用例（比如这里的“标记凭证”）无关。

结合你的场景，我们来逐个拆解三个选项：

选项1：用户已查看所有凭证 #

这是最准确的选项。
“查询所有凭证”用例的核心目标就是让用户在Web门户中加载并查看所有凭证。不管用户后续有没有选择进行标记操作，只要这个用例正常走完主路径（用户成功看到了完整的凭证列表），这个后置条件就完全满足。标记是可选的扩展操作，属于独立的“标记凭证”用例范畴，不需要纳入主用例的后置条件。

选项2：用户已查看所有凭证，且可将某一凭证标记为“valid（有效）”或“not valid（无效）” #

这个选项存在两个问题：

• 首先，“可标记”是系统的功能可用性描述，而非用例执行后的状态。后置条件要描述的是“系统处于什么状态”，而不是“系统能做什么”。
• 其次，标记凭证的能力属于另一个独立用例，主用例的后置条件不需要覆盖其他用例的功能范围。

选项3：用户已查看所有凭证，且可将某一凭证标记为“valid（有效）” #

这个选项的问题和选项2类似，不仅错误地把其他用例的功能当成了主用例的后置条件，还额外限定了标记的主路径，这就更不合理了——主用例本身不负责处理标记操作的任何分支，不管标记是有效还是无效，都属于“标记凭证”用例的后置条件要关注的内容。

额外补充 #

因为“标记凭证”是通过Extend关系关联的扩展用例，它是用户完成主用例后的可选操作。你在规格说明里把“跳转至标记凭证用例”列为第四步是没问题的，但这只是主用例中的一个可选分支，不会影响主用例本身的后置条件。

内容的提问来源于stack exchange，提问作者mec