Patent ID: 7302677
Filing Date: 2007-11-27
Classification: G06F

Abstract:
1. A system for error-checking a software product comprising: at least one processor and a computer-readable storage medium coupled to the at-least one processor; a model of the software product defining a model space comprising a set of states of the model, the model having places, transitions, and tokens, wherein a transition is operable to pass at least one token from at least one place, and wherein the model of the software product comprises components automatically extracted from the software product; and a simulation engine for manipulating the software product and the model of the software product to cause an occurrence of an event in the software product and to cause an occurrence of a corresponding transition in the model of the software product, and to compare a state of the software product after occurrence of the event with the state of the model of the software product after occurrence of the corresponding transition, and to log errors found in the software product.