Methods in sota.ast.util with parameters of type TestCase |
void |
TestLog.addTestCase(TestCase testCase)
|
static void |
TestLogManager.applyTestCase(ASTManager ast,
TestCase testCase)
Appliziert die vorher berechneten HitLists (incl. |
void |
ASTManager.applyTestCase(TestCase t)
|
protected static void |
TestLogManager.collectHitList(ASTManager ast,
TestCase testCase)
Läuft über den AST und erstellt für das TestLog die HitLists. |
int |
TestCase.compareTo(TestCase arg0)
|
protected static void |
BIPathManager.createCoveredBIPathsSet(ASTManager ast,
TestCase t,
java.util.ArrayList<java.lang.Integer> list)
Erstellt für eine Pfadliste die BIPfade, d.h. berechnet ein Long-Zahl, welche eindeutig den BI-Pfad
repräsentiert. |
protected static void |
ModBIPathManager.createCoveredModBIPathsSetForFunction(ASTManager ast,
TestCase testCase,
java.util.ArrayList<java.lang.Integer> list)
Erstellt für einen Pfad die ModBIPfade, d.h. für den Funktion und für die Iterationen. |
protected static int |
ModBIPathManager.createCoveredModBIPathsSetForIteration(ASTManager ast,
TestCase testCase,
java.util.ArrayList<java.lang.Integer> list,
int start)
|
void |
TestCase.sumUp(TestCase tc)
|