下载一种面向巧合一致性问题的统计学软件缺陷定位方法的技术资料

文档序号:8105656

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

一种面向巧合一致性问题的统计学软件缺陷定位方法,它包括五个步骤:(1)对含有缺陷的程序插桩;(2)加载程序的测试用例,运行插桩后的程序;(3)收集程序运行成功和运行失败时桩函数的输出信息;(4)对收集到的谓词动态执行信息进行分析,包括计算谓...
该专利属于北京航空航天大学所有,仅供学习研究参考,未经过北京航空航天大学授权不得商用。

详细技术文档下载地址

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