μJava不杀死突变体?

时间:2015-10-03 17:54:49

标签: java unit-testing mutation mutation-testing

我使用μJava进行java程序的突变测试。因为我正在学习突变测试。

我有2个班级

1:父母

public class Parent 
{
public String temp;
public int number;

public Parent(String temp)
{
    this.temp = temp;
    this.number = 20;
}

public String printTemp()
{       
    return "temp is : "+temp+number;
} 
} 

和2:孩子

public class Child extends Parent
{
public int number;

public Child(String temp)
{
    super(temp);
    this.number = 5;
}

public String printTemp()
{
    String temp = "i am fake !";
    int number = 766;
    return "temp is : "+super.temp+this.number+"c";
}
}

我正在应用muJava的IOD操作。因此,它正在产生突变体。它正在删除子类的重写方法printTemp。

我的TestCase是:

public class MyTest
 {
    public String test1 ()
      {  
      String result;

     Parent p1 = new Parent("i am temp of parent");

      Child c1 = new Child("i am temp of child");

      Parent p2 = new Child("i am both !");

      result = ""+ c1.printTemp() + p1.printTemp() + p2.printTemp(); 

      return result;
      }
   }

但是当我进行突变测试时,我发现突变体存活了。我想杀了它! 我该怎么办?

1 个答案:

答案 0 :(得分:1)

MuJava已将其测试基础设施转换为JUnit(参见https://cs.gmu.edu/~offutt/mujava/,第III.3节)。这意味着您应该编写一个JUnit测试,它不仅涵盖代码,还会对结果进行断言。

示例:

@Test
public void testPrintTempChild() {
    Child c = new Child("Child");
    String actual = c.printTemp();
    String expected = "temp is : Child5c"; 
    assertEquals(expected, actual);
}

@Test
public void testPrintTempParent() {
    Parent p = new Parent("Parent");
    String actual = p.printTemp();
    String expected = "temp is : Parent20";
    assertEquals(expected, actual);
}

如果您应用IOD变异运算符,第一个测试应该检测到该变种(即,它应该失败,因为printTemp返回" temp是:Child20")。

作为附加注释,测试代码中的引用p2也是Child的实例,因此c1.printTemp()和p2.printTemp()都会在类Child中调用方法printTemp。