温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。

本发明公开了一种程序不可达路径的自动检测方法，通过将待检测的计算机程序转化为控制流图；将控制流图转化为程序模型，进行可达性分析得到不可达状态，通过自动检测不可达状态得到不可达状态的集合，然后根据不可达状态的集合得到不可达路径集合。本发明以理...
该专利属于福建工程学院所有，仅供学习研究参考，未经过福建工程学院授权不得商用。

详细技术文档下载地址

温馨提示：您尚未登录，请点 登陆 后下载，如果您还没有账户请点 注册 ，登陆完成后，请刷新本页查看技术详细信息。