公开(公告)号：US06694290B1

公开(公告)日：2004-02-17

申请号：US09318204

申请日：1999-05-25

申请人： Larry Apfelbaum ,  Peter L. Savage ,  Katrin Bell

发明人： Larry Apfelbaum ,  Peter L. Savage ,  Katrin Bell

IPC分类号： G06F945

CPC分类号： G06F11/3664 ,  G06F11/3688

摘要： 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.

摘要翻译： 一种使用计算机来分析系统的扩展有限状态机模型的方法包括：接收至少一个需求表达，确定通过模型的至少一个状态和转换路径，至少基于至少一个评估需求表达式中的至少一个 通过模型确定路径之一，以确定路径是否满足需求表达式，以及基于评估生成报告。