发明名称 |
RESOLVING NONDETERMINISM IN SYSTEM UNDER TEST BEHAVIOR MODELS |
摘要 |
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. |
申请公布号 |
US2016026561(A1) |
申请公布日期 |
2016.01.28 |
申请号 |
US201414337345 |
申请日期 |
2014.07.22 |
申请人 |
Schur Matthias;Roth Andreas |
发明人 |
Schur Matthias;Roth Andreas |
分类号 |
G06F11/36 |
主分类号 |
G06F11/36 |
代理机构 |
|
代理人 |
|
主权项 |
1. A computer-implemented method for resolving nondeterminism in a behavior model of a computing system under test (SUT), the method being executed using one or more processors and comprising:
receiving, by the one or more processors, a behavior model relating to a SUT, the behavior model comprising two or more nondeterministic transitions; obtaining, by the one or more processors, trace data associated with execution of the SUT across the two or more nondeterministic transitions; determining, by the one or more processors, based on the trace data, two or more transition guards that resolve nondeterminism of the two or more nondeterministic transitions; and associating, by the one or more processors, the two or more transition guards with the two or more nondeterministic transitions to provide an extended behavior model. |
地址 |
Darmstadt DE |