The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jun. 18, 2013
Filed:
Aug. 31, 2009
Wolfgang Grieskamp, Redmond, WA (US);
Yuri Gurevich, Redmond, WA (US);
Wolfram Schulte, Bellevue, WA (US);
Nikolai Tillmann, Redmond, WA (US);
Wolfgang Grieskamp, Redmond, WA (US);
Yuri Gurevich, Redmond, WA (US);
Wolfram Schulte, Bellevue, WA (US);
Nikolai Tillmann, Redmond, WA (US);
Microsoft Corporation, Redmond, WA (US);
Abstract
A state component saves a present state of a program or model. This state component can be invoked by the program or model itself, thereby making state a first-class citizen. As the state of the program evolves from the saved state, the saved state remains for reflection and recall, for example, for testing, verification, transaction processing, etc. Using a state reference token, the saved state of the program or model can be accessed by the program or model. For example, the program or model by utilizing a state component, can return itself to the saved state. After returning to the saved state, a second execution path can be introduced without requiring re-execution of the actions leading to the saved state. In another example, the state space of an executing model is saved in order to generate inputs required to exercise a program or model.