Step8:变异数的计算
  l 量化评价指标:
  4 =1代表相关于变异T是充分的
  4 <1表示相关于变异T是不充分的
  4 可以通过增加额外的测试用例提高变异数
  l  T的变异数记为MS(T)
  |D|表示:杀死的变异体数
  |L|表示:表示活的变异体数
  |E|表示:等价的变异体数
  |M|表示:第2步生成的所有变异体数
  测试增强
  如上图:设计测试用例T {t1:<x = 1, y = 0>, t2:<x=0,y=1>}来覆盖foo被测函数。

  变异后生成的被测程序编译体P1,使用测试集T对程序P和变异体P1进行运行,无法区分P与P1。增加一个测试用例<x= 1,y = 1>,使得P和P1区别,表明增强了T。我们使用这种方法对单元测试用例进行增强,使我们的单元测试用例足以应对程序的简单变化,及时发现代码中的问题。