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

本发明公开了一种基于黄金分割搜索及软件执行轨迹的条件切片方法，根据给定的一阶谓词逻辑集，在符合条件的区间内，根据黄金分割搜索法选取变量值作为程序动态运行的输入，通过程序多次运行的执行轨迹集合计算得到相应的语句覆盖集，以此为基础，结合程序的静...
该专利属于东南大学所有，仅供学习研究参考，未经过东南大学授权不得商用。

详细技术文档下载地址

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