一种基于矛盾片段模式的路径生成方法

专利申请号：CN201310693444.3

公 开 号：CN104035864B

发 明 人：黄俊飞 宫云战 李峰 王雅文 金大海 

代 理 人：刘淑敏

代理机构：11228 北京汇泽知识产权代理有限公司

专利类型：发明专利

申 请 日：20171020

公 开 日：20131217

专利主分类号：G06F11/36(20060101)

关 键 词：路径生成 控制流图 快速检测 路径片段 片段模式 回退 判定 成功 失败 矛盾 

摘      要：本发明公开了一种基于矛盾片段模式的路径生成方法，包括：A、从控制流图中选择本次路径生成的起点作为当前点，然后执行步骤B；B、选择后继点，然后执行步骤C；C、如果成功选到后继点，则执行步骤G；否则执行步骤D；D、查看是否还有前一个点，有则执行步骤E；否则执行步骤F；E、将前一个点设为当前点，然后执行步骤B；F、由于已经回退到起点，所以生成路径失败；G、查看后继点是否是路径的终点，是则成功生成路径；否则执行步骤H；H、将后一个点设置为当前点，然后执行步骤B。采用本发明方法，能够在路径生成过程中快速检测当前路径片段已经是不可达路径，从而大大提高判定不可达路径的效率。