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

Posted 2023-02-24

【中文标题】关于软件测试，“语义约束”是啥意思？

【英文标题】：What does "Semantic Constraints" mean regarding Software Testing?关于软件测试，“语义约束”是什么意思？

【发布时间】：2012-05-01 04:39:55

【问题描述】：

软件测试中有几种方法可以决定使用哪些测试用例。测试用例选择的一种方法是组合测试。为了减少组合测试中使用的测试用例数量，可以使用以下规则之一： -语义约束 -组合约束 -随机约束

什么是语义约束，它们与其他约束有何不同？

【参考方案1】：

我目前正在 safaribooksonline 上观看“软件架构实践现场课程”。

在第 4.1 课中描述架构模式时出现了这个术语

它通常被描述为模式允许你做什么和不做什么。

【参考方案2】：

语义约束的使用在很大程度上取决于用户对产品使用条件及其与物理世界的关系的了解。事实上，不同的产品在不同的条件下被用于执行它们的功能。用户必须依靠他们的隐性知识来确定在一定条件下需要执行的动作才能从产品中获得功能。基于这种方法，将决定测试用例。例如，汽车的功能是将人从一个点运送到另一个点。汽车必须在道路上行驶，并且驾驶员必须面向前方坐着才能看到道路。在道路上驾驶汽车并面向前方坐着操作汽车的行为将被视为语义约束。

【参考方案3】：

我之前没有听说过语义限制，所以我不得不用谷歌搜索它。我从 Mauro Pezzè 和 Michal Young 第 13 章功能测试的 Software Testing and Analysis: Process, Principles, and Techniques 中找到了一些解释。显然，这意味着如果有很多变量组合，您可以应用语义约束，这不是没有意义的测试组合（如上下文中的无效组合）。谁会想到？