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