Patent ID: 6694290
Filing Date: 2004-02-17
Classification: G06F

Abstract:
A method of using a computer to analyze an extended finite state machine model of a system, the model having states interconneted by transitions, the method comprising:receiving a least one requirement expression, wherein the least one requirement expression includes at least one of the following: a variable, an operator, a state, a transition, a sub-model, a table-model, and another requirement expression; determining at least one path of states and transition through the model to provide at least one determined path associated with the at least one requirement expression, the extended finite state machine model containing states interconnected by transition, the extended finite state machine model being traversed by making calls to the model and traversing transitions through the model, each call to a model making an instance of that model; evaluating the at least one requirement expression based on the at least one determined path through the model to determine whether the at least one determined path satisfies the at least one requirement expression; and generating a report based on the evaluating, the report including at least one of the at least one requirement expression, at least one system requirement associated with the at least one requirement expression, at least one requirement ID associated with the least one system requirement, and at least one version number associated with the one system requirement.