검색으로 돌아가기
기록
一种程序不可达路径判定方法
발명유효
3조회수
10청구항 · 1 독립항
§ Ⅰ
개요
발명자
欧阳宸; 戴鹏; 马小琴; 陆克中; 石钟山; 何瑭; 朱玉荣; 彭泽波
IPC 분류
G06F 11/3604 (2025.01)G06F 8/75 (2018.01)G06F 8/41 (2018.01)G06F 18/20 (2023.01)G06N 20/00 (2019.01)
本发明公开了一种程序不可达路径判定方法，包括以下步骤：S1.通过路径生成算法获得程序中的路径集，并将路径集中的每条路径转换为马尔科夫链；S2.通过学习最优策略估计路径马尔科夫链的累积回报，并通过强化学习计算路径的执行概率；S3.当路径的执行概率小于预设阈值时，该条路径判定为不可达路径。本发明通过将每条路径转换为马尔科夫链，并应用强化学习算法计算路径的执行概率，能够量化路径实际执行可能性，识别不可达路径，基于预设阈值判定不可达路径，提高软件质量和系统稳定性。