Patent · US Active

Resolving nondeterminism in application behavior models

US9355020B2 · kind B2 · utility

2Cited by

1References

17Claims

0Family size

Assignee

SAP SE · DE

Inventors

Matthias Schur · Darmstadt, DE
Andreas Roth · Karlsruhe, DE

Key dates

Filing date	Jul 22, 2014
Grant date	May 31, 2016
Priority date	—
Expiry date	Jul 24, 2034

Classification

Technology area (CPC G)Physics
CPC primaryG06F11/3672
WIPO fieldComputer technology
WIPO sectorElectrical engineering

Abstract

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.