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

本发明属于软件测试领域，涉及一种以布尔表达式的求值序列为谓词单元的软件错误定位方法，步骤包括：提取待测软件程序中的各布尔表达式，得到其对应的布尔表达式的求值序列；将布尔表达式的求值序列作为谓词，收集各谓词在程序执行中的执行信息；根据各谓词的...
该专利属于中国科学院软件研究所所有，仅供学习研究参考，未经过中国科学院软件研究所授权不得商用。

详细技术文档下载地址

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