-
公开(公告)号:US06853963B1
公开(公告)日:2005-02-08
申请号:US09318286
申请日:1999-05-25
申请人: Larry Apfelbaum , Peter L. Savage , Mark Trumpler , John D. Doyle , Thomas Lynch , Ramesh Vaswani
发明人: Larry Apfelbaum , Peter L. Savage , Mark Trumpler , John D. Doyle , Thomas Lynch , Ramesh Vaswani
CPC分类号: G06F11/3664 , G06F11/3604 , G06F11/3692
摘要: A method of using a computer to analyze an extended finite state machine model of a system includes providing a graphical user interface that presents a table of rows, receiving data in at least one table row, and determining at least one path through the states and transitions of the extended finite state machine model using at least one of the rows in the table.
摘要翻译: 使用计算机来分析系统的扩展有限状态机模型的方法包括提供图形用户界面,其呈现行表格,在至少一个表行中接收数据,以及确定通过状态和转换的至少一个路径 扩展的有限状态机模型使用表中的至少一行。