关于软件测试，“语义约束”是什么意思？

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

教训它通常被描述为一个什么模式可以让你做与不做上来。