[发明专利]一种基于抽象模型的有限状态机分析方法和系统在审
| 申请号： | 202011489589.8 | 申请日： | 2020-12-16 |
| 公开（公告）号： | CN112527419A | 公开（公告）日： | 2021-03-19 |
| 发明（设计）人： | 李隆;赖建新;朱庆;李世杰 | 申请（专利权）人： | XC5香港有限公司;鉴释科技（深圳）有限公司 |
| 主分类号： | G06F9/448 | 分类号： | G06F9/448 |
| 代理公司： | 深圳市中智立信知识产权代理有限公司 44427 | 代理人： | 丁丽琴 |
| 地址： | 中国香港湾仔*** | 国省代码： | 香港;81 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于抽象模型的有限状态机分析方法和系统，所述分析方法包括：使用编译技术，将根据用户描述构建的有限状态机模型转换为系统可识别的表示形式；使用编译技术，从该表示形式的调用关系图上自底向上访问所有软件单元，在单一软件单元内部识别有限状态机模型相关的转换语句，并建立单一转换语句的后继访问列表；遍历所有的软件单元，当识别出有限状态机模型的初始转换语句后，根据该转换语句的后继访问列表，在软件内部按照有限状态机转换语句的先后关联关系遍历软件单元，并依据有限状态机状态转换识别错误并报错。在本发明中，可以覆盖有限状态机模型所关注问题的所有情形，实现针对所关注问题的无漏报、无错报。 | ||
| 搜索关键词： | 一种 基于 抽象 模型 有限状态机 分析 方法 系统 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于XC5香港有限公司;鉴释科技（深圳）有限公司，未经XC5香港有限公司;鉴释科技（深圳）有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011489589.8/，转载请声明来源钻瓜专利网。
- 上一篇：大型压载模块对接装置
- 下一篇：测试用例准备方法、装置、计算机设备和存储介质
