前置条件、后置条件和不变约束之间有什么区别?
What is the difference between precondition, postcondition and invariant constraints?
我是编程和这个网站的新手,我正在研究 UML 设计的一些术语,我正在寻找基本的回应。我查阅了每个术语的定义,但我仍在努力掌握这个概念。
先决条件是在调用用例之前必须为真的条件。例如用例 "Buy Book on WebSite" 的先决条件可能是 "The user has accessed the website and wants to buy a book".
post 条件是用例完成后必须为真。例如用户已成功购书。
不变量是在整个用例中必须始终为真的东西。例如用户的 ID 与数据库中用户 table 的 ID 匹配。
我是编程和这个网站的新手,我正在研究 UML 设计的一些术语,我正在寻找基本的回应。我查阅了每个术语的定义,但我仍在努力掌握这个概念。
先决条件是在调用用例之前必须为真的条件。例如用例 "Buy Book on WebSite" 的先决条件可能是 "The user has accessed the website and wants to buy a book".
post 条件是用例完成后必须为真。例如用户已成功购书。
不变量是在整个用例中必须始终为真的东西。例如用户的 ID 与数据库中用户 table 的 ID 匹配。