变量名称

变量含义

UT

所有参数的取值组合集

UC

所有未覆盖的二维取值组合集

T

生成的测试用例集

t

一个测试用例

C(t)

t所覆盖UC中的取值组合的集合

g(t)

C(t)中的元素个数

h(t)

UC未覆盖C(t)中的组合集的最大的参数个数

Cover_over(T)

测试用例集T当前覆盖所有参数取值的权重和

Cover_not(T)

测试用例集T当前未覆盖所有参数取值的权重和

f

当前测试用例的权重函数