错误敏感测试用例分析ESTCA

错误敏感测试用例分析ESTCA（Error Sensitive Test Cases Analysis）
[规则1]：对于A rel B（rel可以是<,=和>）型的分支谓词，应适当地选择A与B的值，使得测试执行到该分支语句时，A<B,A=B和A>B的情况分别出现一次。
[规则2]：对于A rel c（rel可以是<,或是>，A是变量，C是常量）型的分支谓词，当rel为<时，应适当地选择A的值，使：A=c-M （M是距c最小的机器容许正数，若A和C均为整数时，M=1）。同样，当rel为>时，应适当地选择A，使：A=c+M。
[规则3]：对外部输入变量赋值，使其在每一测试用例中均有不同的值与符号，并与同一组测试用例中其它变量的值与符号不一致。
规则1是为了检测rel的错误，规则2是为了检测“差一”之类的错误（如本应该是“IF A>1”而错成“IF A>0”），而规则3则是为了检测程序语句中的错误（如应引用一变量而错成引用一常量）。
当然，ESTCA规则也有很多缺陷。一方面是有时不容易找到输入数据，使得规则所指的变量值满足要求。Foster把这一问题归结为著名的“旅行商问题”，同时提出了一个具体的解决办法。另一方面是仍有很多缺陷发现不了。对于查找错误的广度问题在变异测试中得到较好的解决。