Symbolic program model compositions
AssigneeMicrosoft Corporation
InventorsColin Campbell, Margus Veanes, Nicolas Kicillof, Nikolai Tillmann, Wolfgang Grieskamp, Wolfram Schulte
Life of this patent
Estimating the term…
Abstract
A model composition environment can allow for description of fill or partial symbolic system behavior, as well as the combination of models of specific features into compound models. Compositional operators can include intersection, concatenation, substitution, alternating refinement, as well as a set of regular expression-like operators. Models called “action machines” can represent object-oriented, reactive programs, and an action machine may be composed with another action machine using a compositional operator. This can allow for testing of particular scenarios or behaviors.
Claims20
A computer-implemented method of creating a software program model, the method comprising:
- defining a first symbolic program model;
- defining a second symbolic program model;
- and
- combining the first symbolic program model with the second symbolic program model according to a set of rules to produce the software program model.
A computer-readable medium containing instructions which can cause a computer to perform a method, the method comprising:
- defining a symbolic program model;
- defining a symbolic model operator;
- and
- modifying the symbolic program model according to properties of the symbolic model operator.
A system for testing programs comprising:
- a digital processor;
- and
- a digital memory, the memory comprising,
- a symbolic program model, and
- a symbolic model operator, wherein the processor is configured to modify the symbolic program model according to one or more properties of the symbolic model operator to produce a software program model with one or more states.
Dependencies are inferred from the claim text.