μJava Не убивает мутантов?

Question

Я использую μ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"; 
} 
} 

и я подаю операцию IOD из muJava. `следовательно, он порождает мутант. он удаляет переопределенный метод 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; 
     } 
    } 

Но когда я бегу мутацию тестирования, я нашел мутант жил. Я хочу убить его! Что я могу сделать?

Answer 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 возвращает «Темп является: Child20»).

В качестве дополнительного комментария ссылка p2 в вашем тестовом коде также является экземпляром Child, поэтому c1.printTemp() и p2.printTemp() вызывают метод printTemp в вашем классе Child.