A method of using a computer to analyze an extended finite state machine
model of a system includes receiving at least one requirement expression,
determining at least one path of states and transitions through the model,
evaluating at least one of the requirement expressions based on at least
one of the determined paths through the model to determine whether the
path satisfies the requirement expression, and generating a report based
on the evaluating.
Eine Methode des Verwendens eines Computers, um ein ausgedehntes Modell Maschine des begrenzten Zustandes eines Systems zu analysieren schließt das Empfangen mindestens von von einem Anforderung Ausdruck ein und stellt mindestens einen Weg der Zustände und Übergänge durch das Modell fest, wertet einen mindestens der Anforderung Ausdrücke aus, die auf einem mindestens der entschlossenen Wege durch das Modell basieren, um festzustellen, ob der Weg den Anforderung Ausdruck erfüllt, und erzeugt einen Report, der auf dem Auswerten basiert.
