Statische Hilfsklassen

IntelliTest bietet eine Reihe von statischen Hilfsklassen, die beim Erstellen von parametrisierten Unittests verwendet werden können:

• PexAssume: wird verwendet, um Annahmen auf Eingaben zu definieren und eignet sich zum Filtern unerwünschter Eingaben
• PexAssert: eine einfache Assertionsklasse, die Sie zum Testen verwenden können, wenn Ihr Testframework keine Assertionsklasse zur Verfügung stellt
• PexChoose: ein Datenstrom von zusätzlichen Testeingaben, der von IntelliTest verwaltet wird
• PexObserve: protokolliert konkrete Werte und überprüft diese optional im generierten Code

Einige Klassen ermöglichen Ihnen eine Low-Level-Interaktion mit der Ansatzpunkt-Engine von IntelliTest:

• PexSymbolicValue: Hilfsprogramme zum Überprüfen oder Ändern von symbolischen Einschränkungen für Variablen

PexAssume

Eine statische Klasse zum Ausdrücken von Annahmen, wie z.B. Vorbedingungen in parametrisierten Unittests. Mit den Methoden dieser Klasse können unerwünschte Testeingaben herausgefiltert werden.

Wenn die angenommene Bedingung für einige Testeingaben nicht erfüllt ist, wird eine PexAssumeFailedException ausgelöst. Dies bewirkt, dass den Test ohne Benachrichtigung ignoriert wird.

Beispiel

Der folgende parametrisierte Test berücksichtigt j = 0 nicht:

public void TestSomething(int i, int j) {
     PexAssume.AreNotEqual(j, 0);
     int k = i/j;
     ...
}

Anmerkungen

Der obige Code ist fast äquivalent zu:

     if (j==0)
          return;

mit dem Unterschied, dass das Fehlschlagen von PexAssume zu keinen Testfällen führt. Im Falle einer if-Anweisung generiert IntelliTest einen separaten Testfall, um den then-Branch der if-Anweisung abzudecken.

PexAssume enthält auch spezialisierte geschachtelte Klassen für Annahmen für Zeichenfolgen, Arrays und Sammlungen.

PexAssert

Eine statische Klasse zum Ausdrücken von Assertionen, wie z.B. Nachbedingungen in parametrisierten Unittests.

Wenn die angenommene Bedingung für eine bestimmte Testeingabe nicht erfüllt ist, wird eine PexAssertFailedException ausgelöst, was dazu führt, dass der Test fehlschlägt.

Beispiel

Im Folgenden wird bestätigt, dass der absolute Wert einer ganzen Zahl positiv ist:

public void TestSomething(int i) {
     int j = Maths.Abs(i);
     PexAssert.IsTrue(j >= 0);
     ...
}

PexChoose

Eine statische Klasse, die zusätzliche Eingabewerte für einen Test bereitstellt, die dazu verwendet werden können, parametrisierte Pseudoobjekte zu implementieren.

Mit der PexChoose-Klasse kann nicht ermittelt werden, ob ein Text für bestimmte Eingabewerte erfolgreich ist oder fehlschlägt. PexChoose liefert nur Eingabewerte, die auch als Auswahlwerte bezeichnet werden. Der Benutzer muss weiterhin die Eingabewerte einschränken und Assertionen schreiben, um zu definieren, wann ein Test erfolgreich ist bzw. fehlschlägt.

Betriebsmodi

Die PexChoose-Klasse kann in zwei Modi betrieben werden:

• Während der IntelliTest eine symbolische Analyse des Tests und des getesteten Codes während der Eingabegeneration durchführt, gibt die Auswahl beliebige Werte zurück und IntelliTest verfolgt nach, wie jeder Wert im Test und dem getesteten Code verwendet wird. IntelliTest generiert relevante Werte, um unterschiedliche Ausführungspfade im Test und dem getesteten Code auszulösen.

• Der Choice-Anbieter richtet den generierten Code für bestimmte Testfälle auf eine bestimmte Weise ein, damit die erneute Ausführung eines solchen Testfalls spezifische Auswahlwerte erstellt, um einen bestimmten Ausführungspfad auszulösen.

Nutzung

• Machen Sie einen einfachen Aufruf an PexChoose.Value, um einen neuen Wert zu generieren:

public int Foo() {
    return PexChoose.Value<int>("foo");
}

PexObserve

Eine statische Klasse zum Protokollieren benannter Werte.

Wenn IntelliTest den Code untersucht, wird PexObserve verwendet, um die berechneten Werte mithilfe von deren formatierten Zeichenfolgendarstellungen aufzuzeichnen. Diesen Werten werden eindeutige Namen zugeordnet.

PexObserve.Value<string>("result", result);

Beispiel

// product code
public static class MathEx {
     public static int Square(int value) { return value * value; }
}

// fixture
[TestClass]
public partial class MathExTests {
     [PexMethod]
     public int SquareTest(int a) {
        int result = MathEx.Square(a);
        // storing result
        return result;
     }
}

PexSymbolicValue

Eine statische Klasse, die verwendet wird, um Einschränkungen für Parameter zu ignorieren, und symbolischen Informationen zu drucken, die Werten zugeordnet wurden.

Nutzung

Normalerweise versucht IntelliTest alle Ausführungspfade des Codes während der Ausführung abzudecken. Allerdings sollte es, besonders bei der Berechnung von Annahmen und Assertionen, nicht alle möglichen Fälle untersuchen.

Beispiel

Dieses Beispiel zeigt die Implementierung der PexAssume.Arrays.ElementsAreNotNull-Methode. In der Methode ignorieren Sie die Einschränkungen für die Länge des Arraywerts, um zu vermeiden, dass IntelliTest versucht, unterschiedliche Arraygrößen zu generieren. Die Einschränkungen werden nur hier ignoriert. Wenn sich der getestete Code für verschiedene Arraylängen unterschiedlich verhält, kann IntelliTest keine verschieden großen Arrays von den Einschränkungen des getesteten Codes generieren.

public static void AreElementsNotNull<T>(T[] value)
    where T : class
{
    PexAssume.NotNull(value);
    // the followings prevents the exploration of all array lengths
    int len = PexSymbolicValue.Ignore<int>(value.Length);

    // building up a boolean value as follows prevents exploration
    // of all combinations of non-null (instead, there are just two cases)
    bool anyNull = false;
    for (int i = 0; i < len; ++i)
        anyNull |= value[i] == null;

    // was any element null?
    if (anyNull)
        PexAssume.Fail("some element of array is a null reference");
}

Sie haben Fragen oder Anmerkungen?

Posten Sie Ihre Ideen und Featureanfragen in der Entwicklercommunity.