[发明专利]抽象模型中虚假路径的高效检测方法

摘要

本发明公开了一种抽象模型中虚假路径的高效检测方法，所述方法具体是，在反例路径中，每个状态是不是失败状态，只与它的前驱状态和后继状态有关。所以，判断时，采用并发执行，通过集合In和集合Out的交集来判断状态是否为失败状态。本发明在检测无穷反例路径时，采用有限前缀分析的多项式比已有的算法短。同时，采用并发技术，能更快的找出失败状态；而且，本发明能更早找到隐藏在反例路径中的失败状态，实验结果显示，系统的规模越大，本发明提出的方法执行的效果越好。

主权项

一种高效的抽象模型虚假路径检测的方法，包括如下步骤：（1）生成反例路径，根据抽象模型，随机生成长度为n的反例路径，同时初始化变量i=0；（2）遍历反例路径，如果i

下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。 免登录下载普通用户下载升级VIP会员，免费下载

该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西安电子科技大学，未经西安电子科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】

本文链接：http://www.vipzhuanli.com/patent/201310129977.9/，转载请声明来源钻瓜专利网。