關於軟件測試，「語義約束」是什麼意思？

Question

軟件測試中有幾種方法可以決定使用哪些測試用例。測試用例選擇的一種方法是組合測試。爲了減少測試用例組合測試一個使用可以使用以下規則中的一個量：
-Semantic約束
-Combinatorial約束
-Random約束

什麼是語義約束，以及如何它們是否與其他約束不同？

Answer 1

我之前沒有聽說過語義約束，所以我不得不穀歌了。我從MauroPezzè和Michal Young的第13章功能測試中找到了Software Testing and Analysis: Process, Principles, and Techniques的一些解釋。顯然這意味着如果有很多變量組合，你可以應用語義約束，而不是那些沒有意義的測試組合（比如上下文中的無效組合）。誰曾想到？

Answer 2

語義約束的使用在很大程度上取決於用戶對產品使用條件以及與物理世界的關係的瞭解。事實上，不同的產品正被用於不同的條件下來執行其功能。用戶必須依靠他們的隱性知識來確定在特定條件下需要執行的操作以從產品獲取功能。基於這種方法，測試用例將被確定。例如，汽車的功能是將人從一個地點運送到另一個地點。汽車必須在路上行駛，駕駛員必須坐在前面才能看到路面。在道路上駕駛汽車和麪向前方坐着操作汽車的行爲將被視爲語義約束。

Answer 3

我正在看safaribooksonline上的「Software Architecture in Practice Live Lessons」。

術語描述的體系結構模式時4.1

教訓它通常被描述爲一個什麼模式可以讓你做與不做上來。