《表1 Tracey设计的针对不同谓词的目标函数[3]》
分支距离被用来表示测试数据和目标分支的偏离程度,其最早由Korel提出,其后Tracey对其进行了改进.Tracey针对不同的关系谓词设计了不同的目标函数,具体如表1所示.当分支关系谓词为真的时候,目标函数为零,否则为正数.
图表编号 | XD00195400900 严禁用于非法目的 |
---|---|
绘制时间 | 2020.12.15 |
作者 | 王云霞 |
绘制单位 | 江苏省淮安体育运动学校 |
更多格式 | 高清、无水印(增值服务) |
分支距离被用来表示测试数据和目标分支的偏离程度,其最早由Korel提出,其后Tracey对其进行了改进.Tracey针对不同的关系谓词设计了不同的目标函数,具体如表1所示.当分支关系谓词为真的时候,目标函数为零,否则为正数.
图表编号 | XD00195400900 严禁用于非法目的 |
---|---|
绘制时间 | 2020.12.15 |
作者 | 王云霞 |
绘制单位 | 江苏省淮安体育运动学校 |
更多格式 | 高清、无水印(增值服务) |