前置条件,后置条件和不变约束之间有什么区别?

iso*_*c_1 4 uml

我是编程和本网站的新手,我正在研究UML设计的一些术语,我正在寻找一个基本的响应.我查阅了每个术语的定义,但我仍然试图掌握这个概念.

Der*_*air 16

在调用用例之前,前置条件必须为true.例如,用例"在WebSite上购买书籍"的前提条件可能是"用户访问过该网站并想要购买书籍".

用例完成后,必须为post条件.例如,用户已成功购买了一本书.

在整个用例中,不变量必须始终为真.例如,用户的ID与数据库中Users表中的ID匹配.

  • 没问题.如果您对答案感到满意,可以通过单击勾选按钮接受它.谢谢. (3认同)