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

本发明提供了一种代码异常定位与处理方法，该方法包括：生成用例，然后向路径约束条件中输入错误约束；求解新的路径约束条件，产生触发软件错误的用例；对外部函数进行建模，监控外部函数导致的符号传递；通过符号传递定位代码错误。本发明提出了一种代码异常...
该专利属于成都四象联创科技有限公司所有，仅供学习研究参考，未经过成都四象联创科技有限公司授权不得商用。

详细技术文档下载地址

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