问题标签 [model-based-testing]

我想从纸莎草创建的 .uml 文件中获取状态机。我正在使用下面的代码解析 model.uml 文件。

此代码工作正常并打印内容。但是当我尝试使用下面的代码将其转换为 Model 类时

它抛出这个异常，

我不确定我是否遗漏了什么。我认为问题出在UMLPackage.Literals.MODEL中。那么，谁能帮我解决这个问题并从模型中获取状态机。

作为练习，我想实现一个 2-3 指树。这应该是尝试FsCheck的基于模型的测试的绝佳机会。我决定尝试更新的实验版本。

到目前为止，我只为测试机器编写了一个命令，因为我已经无法完成这项工作——另一方面，它使帖子变得简短。完整代码可在GitHub 上获得。

我的理解是：运行两次以从一个元素Operation<_>.Run构建一个。ResizeArray然后Operation<_>.Check使用相同的数字运行两次以插入到单个元素FingerTree<_>中。

两次通过中的第一个。单元素树传入，添加使其成为（正确的）二元素树，在第一个命令之后与模型进行了很好的比较。

第二个命令总是失败的。Check使用更大的ResizeList（现在是 3 个元素）但与第一个命令中相同的单元素 Tree 调用。再添加一个元素当然不会使其大小为 3，并且测试失败。

我本来希望我需要返回更新的模型，Check以便命令到来。但是你需要返回 aProperty所以这是不可能的。

我完全误解了如何解决这个问题吗？应该如何编写基于模型的工作测试？

我的来源在“退出时打开”字段中有以下代码：TRUCK.ID_number = parameter; 参数 = 参数 + 1；

然后，每辆卡车都会收到一个 ID：1、2、3、...

问题是所有卡车都在同时流通，看起来每次生成新卡车并且代码运行时它都会重置所有卡车的 ID。

例如：在源头创建卡车 4 (ID = 4) 时，所有其他卡车都收到 ID 4，因此我无法知道每辆卡车的正确 ID。

我究竟做错了什么？

我已经生成了需要执行的测试用例。我已经编写了彼此独立的测试方法，并且编写脚本以通过 adb 执行这些方法并没有帮助，因为它们没有按照给定的顺序执行。

我想知道采取的首选方法？或者我如何通过 adb 自动化这些多个测试。

我已经意识到大多数人都倾向于在他们的代码下使用 adb 命令，所以不知道是否有可能有帮助的工具。我也对此持开放态度

谢谢

我有一些与我的问题建模有关的问题。我正在从事基于模型的测试的论文项目。还想从专家的角度了解我是否采用正确的方法来建模我的场景。我正在为 android 应用程序的 UI 建模，遍历它们，生成测试用例并为 espresso 框架生成测试代码。

我将简单地解释我对被测系统进行建模并为测试用例生成测试代码的方式。（我也在编写生成android代码的算法）。我正在为 android espresso 测试框架生成代码。espresso 的结构总是需要首先找到与之交互的元素。这是通过将“OnView()”方法传入其中的参数来完成的，例如 withId(R.id.title) 或 withText(“Hello”) 以分别找到具有给定 Id 或 Text 的元素。然后，我们附加框架调用的 ViewActions 或 ViewMatchers 以分别通过执行操作或执行断言来与元素交互。下面是一个 espresso 测试用例的示例，它找到一个带有文本“幸运按钮”的文本视图，点击它并检查它是否显示。

简单案例 让我们以一个有两个屏幕的 android 应用程序为例。屏幕 A 和屏幕 B。每个屏幕包含不同的元素。例如 TextView(Textlabel)、ImageView(Image label) 等 我使用状态图来描述屏幕可以处于的状态。对于每个状态，都有一个活动图来描述要对元素执行的测试，例如 TextView、ImageView。我们将每个测试套件分组在泳道中，并用活动操作表示测试操作。但是有需要的输入信息。例如，可以调用活动操作 isVisible 来检查 ToolBarDesign 泳道中工具栏的可见性。为了达到这个动作，我们需要工具栏上的信息来首先定位它并检查它的可见性。我通过提供有关动作或状态转换的必要信息来做到这一点。

此状态图有 2 个状态。从 MainActivity 转换到 NewNote 是一个名为 openNewNote 的触发器，其动作是自由文本格式的。自由文本操作包含必要的信息，我通过这些信息在我的 java 框架中处理和提取，以生成类似于上述代码的一段代码。在框架中，我先选择id为title的元素，然后执行click方法。同样在 MainActivity 状态中包含一个如前所述的子活动图。在这个子活动图中，我们为人员建模（我们认为他是具有 espresso 框架知识的人）提供了编写活动操作以进行测试的机会。下面是一个测试应用程序工具栏和登录屏幕的 MainActivity 活动图示例。

工具栏从初始节点过渡到 isVisible 活动。关于转换，我们在状态图上对转换进行如上所述的描述。在这里，我们得到自由文本动作“withText:Lucky Button,matches,isDisplayed”，然后在我们的框架中对其进行处理以获取代码。

问题。到目前为止，这对团队有效，因为程序员是建模的人。我将提供用于建模系统的文档。我想问一下这是否是一种有效的建模方式，是否可以在我的研究中描述。如果您有任何意见或建议。

我有两个 simulink 模型（比如 X 和 Y），我应该先运行 X，几秒钟后（比如说 10 秒），当 X 已经处于执行阶段时，我需要运行 Y。这必须从 matlab 命令行完成。我曾尝试使用 set_param()，但无法按预期进行模拟。

有人可以帮忙吗？

我最近听说了基于模型的测试，并搜索了可以遵循这种方法的工具。

结果我找到了 FsCheck。

在实验页面，作者描述了如何创建一个可以执行的基于模型的测试。

这一切都很好，但遗憾的是我不明白实际对象和对象模型之间有什么区别。

因此，给定以下代码：

规范： - 用户能够提供订单名称 - 用户能够提供订单描述 - 如果订单在 OrderList 中，用户将无法更新订单 (IsOnOrderList = true)

错误：
代码

不应该有!。

有人可以帮我构建一个OrderModel，我可以用它来验证我的Order对象并向我解释为什么必须这样做吗？目前，我非常热衷于认为Order并且OrderModel是相同的。

升级版：

声明模型具有与被测对象相同的属性，但这些值只是硬编码的，这是否正确？

我一直很困惑如何让我的代码使用graphwalker遍历基于模型的测试图。

我使用 yEd 构建了一个图形 (e2e.graphml)，并将该文件复制到我在 Eclipse 中的项目中。我还为每个边和顶点创建了一个包含方法的接口。接下来，我为我的接口创建了一个实现类，其中我提供了在遍历该边或顶点时需要执行的少量功能。接下来，我执行了如下功能测试：

在这里，MODEL_PATH 是我用来提供 yEd 文件的位置或路径的变量。每当我运行此测试时，都不会遍历任何边或顶点，并且错误日志如下：

它在生成路径时出错。如果我以错误的方式实施某些事情，请提供帮助。谢谢！！

大家下午好，

尽管在网络上进行了大量研究，但我没有找到满足我需求的解决方案。

我需要找到一个免费工具来对流程进行建模（如 BPMN、UML 活动图）并从图中生成所有可能的路径/组合。

你知道什么工具可以帮助我做到这一点吗？十分感谢。

更新 1

我们将测试场景定义为 UML 活动图，以保持可重用性和可理解性。现在，我们必须将这些图表链接到我们的 Matlab 或 Visual Studio 环境。是否有任何实用的方法可以将活动图转换为 XML 或类似格式。我们的设计工具是 Enterprise Architect(EA)。