一种程序不可达路径判定方法

本发明公开了一种程序不可达路径判定方法，包括以下步骤：S1.通过路径生成算法获得程序中的路径集，并将路径集中的每条路径转换为马尔科夫链；S2.通过学习最优策略估计路径马尔科夫链的累积回报，并通过强化学习计算路径的执行概率；S3.当路径的执行概率小于预设阈值时，该条路径判定为不可达路径。本发明通过将每条路径转换为马尔科夫链，并应用强化学习算法计算路径的执行概率，能够量化路径实际执行可能性，识别不可达路径，基于预设阈值判定不可达路径，提高软件质量和系统稳定性。