一种基于抽象模型的有限状态机分析方法和系统

摘要

本发明公开了一种基于抽象模型的有限状态机分析方法和系统，所述分析方法包括：使用编译技术，将根据用户描述构建的有限状态机模型转换为系统可识别的表示形式；使用编译技术，从该表示形式的调用关系图上自底向上访问所有软件单元，在单一软件单元内部识别有限状态机模型相关的转换语句，并建立单一转换语句的后继访问列表；遍历所有的软件单元，当识别出有限状态机模型的初始转换语句后，根据该转换语句的后继访问列表，在软件内部按照有限状态机转换语句的先后关联关系遍历软件单元，并依据有限状态机状态转换识别错误并报错。在本发明中，可以覆盖有限状态机模型所关注问题的所有情形，实现针对所关注问题的无漏报、无错报。