Fehlende Verzweigungen bei Verwendung von assertTrue anstelle von assertNull

Question

In Java/Junit muss ich mit einem Objekt auf Null testen. Es gibt eine Vielzahl von Möglichkeiten, wie ich eine Bedingung testen kann, aber ich habe assertTrue für die meisten meiner Tests verwendet. Wenn ich in einem assertTrue nach Nullen suche, gibt EclEmma an, dass es nur einen Zweig testet.

Wenn ich die Anweisung manuell in eine Variable auflöse (z. B. das Ergebnis auf einen booleschen Wert setze und ihn in assertTrue übergebe), gilt die Codeabdeckung als abgeschlossen auf der Assert, aber nicht in der Variableninitialisierungszeile.

Warum passiert das? Bezieht sich dies auf den zusätzlichen Byte-Code, den Java scheinbar hinzufügt, wie unter http://sourceforge.net/apps/trac/eclemma/wiki/FilteringOptions erwähnt? Irgendwelche Lösungen (abgesehen von anderen assert-Anweisungen).

assertTrue:

assertTrue(myObject == null); //1 of 2 branches 

assertTrue:

boolean test = (myObject == null); //1 of 2 branches missing 
assertTrue(test); // complete 

assertNull:

assertNull(myObject) //complete; 

Answer 1

Für die meisten Boolean expressi Der Java-Compiler generiert zusätzliche Zweige im Byte-Code. JaCoCo erzeugt "Branch Coverage" basierend auf dem generierten Byte-Code, nicht basierend auf dem ursprünglichen Java-Code, und zeigt daher zusätzliche Informationen zur Zweigabdeckung für fast jeden booleschen Ausdruck, den Sie verwenden würden.

In Ihrem Code ist der von Ihnen verwendete boolesche Ausdruck myObject == null.

Um diesen Wert zu berechnen, generiert der Java-Compiler Code, der die beiden Argumente auf dem Stapel verschiebt, und führt dann einen bedingten Sprung durch, um 1 (wahr) oder 0 (falsch) auf den Stapel zu schieben. JaCoCo meldet die Filialabdeckung dieses bedingten Sprungs.

Daher löst die Tatsache, dass Sie myObject == null verwenden, das von Ihnen beschriebene Verhalten aus.

Wie einige andere Beispiele, versuchen Sie dies:

boolean t = true; 
boolean f = false; 
boolean result1 = (t && f) || f; // 3 out of 6 missed. 
boolean result2 = !t;   // 1 out of 2 missed. 

Dies kann nützlich sein, wenn der boolesche Ausdruck ist, beispielsweise durch eine Funktion zurückgegeben, die als Bedingung in einer if-then-else-Anweisung verwendet wird irgendwo anders. Obwohl dies hauptsächlich eine Konsequenz der Funktionsweise des Java-Compilers ist, hilft es, die Bedingung Abdeckung (anstelle von nur Abdeckung Abdeckung) des ursprünglichen Java-Codes zu beurteilen.

Diese Funktion auch nicht gut dokumentiert, aber hier sind einige Hinweise:

• Die JaCoCo test cases for Boolean Expressions
• A JaCoCo forum discussion on branches generated for the statement a = !a
• hat jemand einen Zeiger auf weitere Dokumentation?

So ist es in der Tat, mit dem zusätzlichen Byte-Code im Zusammenhang erzeugt wird, aber nicht auf die spezifischen Beispiele für synthetische Byte-Compiler-Konstrukte, für die die Filteroptionen bestimmt sind.

HINWEIS: Wurde Haupt EDIT seit der ersten Antwort zu viel geraten. Danke an @ ira-baxter für gute & kritische Diskussion.

Answer 2

Die Tatsache, dass Emma einen bedingten Ausdruck als "etwas mit einer Verzweigung" behandelt, um (Zweig-) Coverage Count IMHO scheint einfach gebrochen. Es ist keine bedingte Verzweigung.

Wir können mehr über die Assert argumentieren; Wenn es definiert wurde als "löst Ausnahme bei Fehler" aus, dann hat es wirklich eine bedingte Verzweigung; Wenn es so definiert ist [wie ich denke, ich bin kein Java-Experte] als "beende mein Programm bei fehlgeschlagenem Versehen", dann ist es nicht wirklich ein Zweig. Unklar sind auch Methodenaufrufe; Diese sind bedingte Verzweigungen in dem Sinne, dass, wenn die aufgerufene Methode eine Ausnahme auslöst, der Kontrollfluss nicht zum "Rest der Anweisung" fortfährt.

Unser Tool Java Test Coverage erhält die (Zweig-) Coverage-Analyse für solche Bedingungen "richtig".

Answer 3

Zu 100% Code Coverage auf boolean Methoden zu erhalten, gehen Sie wie folgt

Class RecordService{ 


    public boolean doesRecordExist(String id){ 

    return id!=null; 

    } 


    } 

    //Method inside your mock 
    @Test 
    public boolean testDoesRecordExist(){ 
    RecordService recordService = mock(RecordService.class); 
    when(recordService.doesRecordExists()).thenReturn(
        anyString()).thenReturn(null); 

    }