公开(公告)号：US20160026561A1

公开(公告)日：2016-01-28

申请号：US14337345

申请日：2014-07-22

申请人： Matthias Schur ,  Andreas Roth

发明人： Matthias Schur ,  Andreas Roth

IPC分类号： G06F11/36

CPC分类号： G06F11/3692 ,  G06F11/3672

摘要： Methods, systems, and computer-readable storage media for resolving nondeterminism in a behavior model of a computing system under test (SUT). In some implementations, actions include: receiving a behavior model relating to a SUT, the behavior model including two or more nondeterministic transitions; obtaining trace data associated with execution of the SUT across the two or more nondeterministic transitions; determining based on the trace data, two or more transition guards that resolve nondeterminism of the two or more nondeterministic transitions; and associating the two or more transition guards with the two or more nondeterministic transitions to provide an extended behavior model.

摘要翻译： 用于解决被测计算系统（SUT）的行为模型中的非确定性的方法，系统和计算机可读存储介质。 在一些实现中，动作包括：接收与SUT相关的行为模型，所述行为模型包括两个或多个非确定性转换; 获得与所述两个或多个非确定性转换之间的所述SUT的执行相关联的跟踪数据; 基于跟踪数据确定两个或更多个过渡守卫，其解决两个或更多个非确定性转换的非确定性; 并且将两个或多个过渡保护与两个或多个非确定性转换相关联以提供扩展行为模型。

公开(公告)号：US09304892B2

公开(公告)日：2016-04-05

申请号：US13908244

申请日：2013-06-03

申请人： Matthias Schur ,  Andreas Roth

发明人： Matthias Schur ,  Andreas Roth

IPC分类号： G06F11/36

CPC分类号： G06F11/3684

摘要： Methods, systems, and computer-readable storage media determining a behavior model of a computing system under test. In some implementations, actions include executing, using a user interface of a computing SUT, an initial test script on the SUT; recording, after executing the initial test script, a state of the SUT in the behavior model by observing one or more events that can be triggered using the user interface of the SUT; and iteratively refining the behavior model until an end condition is reached by generating one or more new test scripts, executing the new test scripts on the SUT to test unobserved behavior, and recording one or more new states reached by executing the new test scripts on the SUT in the behavior model.

摘要翻译： 确定被测计算系统的行为模型的方法，系统和计算机可读存储介质。 在一些实现中，动作包括使用SUT的初始测试脚本来执行计算SUT的用户界面; 在执行初始测试脚本之后，通过观察可以使用SUT的用户界面触发的一个或多个事件来记录行为模型中的SUT的状态; 并迭代地改进行为模型，直到通过生成一个或多个新的测试脚本，在SUT上执行新的测试脚本来测试不可观察的行为，并记录通过执行新测试脚本而达到的一个或多个新状态 SUT在行为模式中。

公开(公告)号：US09355020B2

公开(公告)日：2016-05-31

申请号：US14337345

申请日：2014-07-22

申请人： Matthias Schur ,  Andreas Roth

发明人： Matthias Schur ,  Andreas Roth

IPC分类号： G06F11/36

CPC分类号： G06F11/3692 ,  G06F11/3672

摘要： Methods, systems, and computer-readable storage media for resolving nondeterminism in a behavior model of a computing system under test (SUT). In some implementations, actions include: receiving a behavior model relating to a SUT, the behavior model including two or more nondeterministic transitions; obtaining trace data associated with execution of the SUT across the two or more nondeterministic transitions; determining based on the trace data, two or more transition guards that resolve nondeterminism of the two or more nondeterministic transitions; and associating the two or more transition guards with the two or more nondeterministic transitions to provide an extended behavior model.

摘要翻译： 用于解决被测计算系统（SUT）的行为模型中的非确定性的方法，系统和计算机可读存储介质。 在一些实现中，动作包括：接收与SUT相关的行为模型，所述行为模型包括两个或多个非确定性转换; 获得与所述两个或多个非确定性转换之间的所述SUT的执行相关联的跟踪数据; 基于跟踪数据确定两个或更多个过渡守卫，其解决两个或更多个非确定性转换的非确定性; 并且将两个或多个过渡保护与两个或多个非确定性转换相关联以提供扩展行为模型。