问题标签 [equivalence-classes]

嘿，伙计，我正在学习一个软件测试模块，并试图为即将到来的期末考试而学习，但是在理解其中一些问题时遇到了一个小问题，去年被问到的问题是

一个大型激进组织使用其电子邮件系统的插件来召开会议。任何有权这样做的成员只需发送一封在主题行中包含以下数据的电子邮件即可召集会议：

日期 +

持续时间 +

位置 +

1{议题}4

日期必须采用 dd/MMM/yy 格式，持续时间必须是 1 到 4 小时（含）之间的整数。（假设开始时间始终相同。）位置必须是以下之一：

利默里克、戈尔韦、科克和都柏林——大小写无关紧要。每个议程项目不得超过 12 个字母字符，但议程不得为空白。您需要使用等价类和边界值分析为此系统设计测试用例。设计应记录如下：

(i) 对于您创建的每个等价类，您应该指定其类号、描述、是否有效/无效并提供具体示例

例如，当它的 dd/MMM/yy 日期时，我将如何编写一个类？任何等效类的解释也将不胜感激，谢谢！

我是软件测试的新手，我正在学习基本技术。我阅读了以下问题：

确定以下规范的等价类：该程序接受 5 到 9 个输入，这些输入是大于 100 的 3 位整数。

我认为这个程序有多少输入并不重要，等价类是{99,100,101}。我是对还是错？

在评论之后，我认为这些课程是：

让我解释一下：我data是一个 5x5 的点网格（所以 n=25）。现在说我要选择J点。我可以combo使用函数计算出所有可能的组合combn。但这是一个非常大的矩阵，加上我最终想要实现的目标，我实际上可以通过旋转（90、180、270 度）和反射来定义一个等价类。例如，p1相当于p2,p3,p4,p5...,p8

在此之后，我可以简单地消除等效行，这样我combo的矩阵就小得多。所以基本上，我正在寻找一个最终为我提供紧凑版本的脚本combo。

任何帮助表示赞赏。谢谢。

编辑：我还没有尝试过任何东西。我希望会有一些用于图论/组合学的 R 包来做到这一点。

我有一个高级搜索功能，我首先搜索一个关键词，然后通过选择不同类别中的不同过滤器来优化我的搜索，这些是多选复选框。

示例：假设我正在寻找“汽车”，一旦我在搜索框中输入并按 Enter，我将获得广泛的结果。现在我需要优化我的搜索，比如我在制造商类别下选择“本田”和“丰田”的复选框接下来我有一个国家类别，我可以在其中选择“美国”它会列出我现在在美国下的所有州我可以选择“华盛顿”接下来我可以细化到华盛顿的某个城市等等....

因此测试所有可能的过滤器选择的结果是非常困难的。所以我想知道是否可以将 ECP 设计模式应用于此测试？我怎样才能优化我的测试？任何例子都会有很大帮助。

我在 Matlab 中有一个数组。我用自然数对数组中的每个条目进行编号。所以我在数组中形成了等价关系。

例如，

我想获取单元格数组：i-th 单元格数组的位置与i-th 初始数组条目相关联，并显示哪些元素与该条目在一个类中。对于上面的示例，我会得到：

使用for循环可以轻松完成，但还有其他解决方案吗？如果它的工作速度比 快，那就太好了，初始数组的大小O(n^2)在哪里。n

Edit. 如果我知道将已排序数组拆分为具有相等元素索引的单元格的方法，问题将得到解决O(n)。

是否有一个 java api 可以用来排列数字以找出其等价类的规范形式？Mastermind的所有可能猜测都需要它。根据文件。

编辑：让我通过示例解释我在寻找什么示例：为了以最少的步骤解决游戏，我们必须给出我们的猜测，并根据响应决定下一个猜测。假设 4 个钉子和 6 种颜色（总组合 = 1296，允许重复）。对于最初的尝试，我们只需要考虑一种可能的猜测，比如0011，我们得到的响应是 1 Black 和 0 White。(1,0)。现在，我们将 0011 与所有 1296 个数字核对并保留所有返回 (1,0) 的数字。因此，我们的解决方案在这个缩减的样本集中的某个地方。现在对于使用文档中提到的等价变换的第二个查询，可能的代码减少了第二次尝试。

现在，我想知道是否有任何现有的 java api 可以用于给定的一组排列（在 1296 上 (0,1) 之后的缩减集）并在我的输入上获得等价转换？

提前致谢。

owl:equivalentClass 的领域和范围提出了一些我无法找到答案的问题。

首先，在OWL本身中，owl:equivalentClass的域和范围设置为rdfs:Class。这个域和范围似乎与规范（http://www.w3.org/TR/owl-ref/#equivalentClass-def）中给出的定义有些冲突，其中提到：

“这样一个类公理 [ie owl:equivalentClass] 的含义是，所涉及的两个类描述具有相同的类扩展（即，两个类扩展都包含完全相同的一组个体）。”

这表明 owl:Class 的域和范围更具体，而不是 rdfs:Class（考虑到个人而不是实例）。

使用 Jena 的推理引擎，我注意到 OWL 推理规则包含以下有趣的元素： (1) 声明 owl:equivalentClass 的公理具有 owl:Class 的域和范围 (2) 两个资源分别为 rdfs:subClassOf 的规则other 必须是 owl:equivalentClass 彼此。

因此，基本上，这里的域和范围仅限于 owl:Class，这似乎可以理解。但是，如果它的域和范围像那样缩小，是否应该将 (2) 中的规则也限制为声明两个资源都应该是 owl:Class 类型以便包含 owl:equivalentClass 关系？毕竟，rdfs:subClassOf 关系可以在 rdfs:Classes 上很好地工作。如果作为彼此子类的类是 rdfs:Classes，那么当然——如果 owl:equivalentClass 的定义在 (1) 中已被缩小——规则不应立即暗示 rdfs:Classes 实际上是 owl:Classes。

有谁知道正确解释 owl:equivalentClass 的答案，可能提供权威来源？

提前致谢！

我有一个这样的元组列表：

我尝试将这些组合起来以获得等价类（合并相同值的元组，例如 (1,2) 和 (2,3) 变为 (1,2,3)）。所以你得到：

在 Python 中完成此任务的最简单方法是什么？

我有几个问题，我不知道如何解决。我知道等价关系是对应于以下属性的关系集：自反、对称、反对称和传递。

1) 考虑字母 Σ = {a,b}。对于哪些语言 L，等价关系 RI 恰好有一个等价类？

2) 让 L 成为字母表上的一种语言（不一定是正则的）。证明如果包含空字符串 [ε] 的等价类不是 {ε}，则它是无限的。

3) 考虑字母 Σ = {a,b} 上的语言 L，描述为 L = {x ∈ Σ: |na(x) = nb(x)}。回想一下 na(x) = a'sin x 的数量。

(1) 证明如果 na(x) - nb(x) = na(y) - nb(y)，则 xRIy。

(2) 证明如果 na(x) - nb(x) 不 = na(y) - nb(y)，则 x 和 y 是 L-可区分的。

(3) 描述RI的所有等价类。

假设我有一个有限的可迭代X和等价关系~。X我们可以定义一个函数my_relation(x1, x2)，True如果x1~x2返回，False否则返回。我想编写一个划分X为等价类的函数。也就是说，my_function(X, my_relation)应该返回 的等价类列表~。

在python中有没有标准的方法来做到这一点？更好的是，是否有设计用于处理等价关系的模块？