|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsota.ast.util.ModBIPathManager
public class ModBIPathManager
Klasse mit statischen Methoden zur Berechnung der BI-Pfadüberdeckung.
Nested Class Summary | |
---|---|
protected static class |
ModBIPathManager.ModBIPath
|
protected static class |
ModBIPathManager.ModBIPathInfo
Hält die Informationen für den Iterationszustand Schleife (für Stack). |
Field Summary | |
---|---|
protected static ASTFunctionNode |
currFunctionNode
|
protected static boolean |
INFO
|
protected static boolean |
VERBOSE
|
protected static boolean |
VERBOSE_COVER
|
protected static boolean |
VERBOSE2
|
protected static boolean |
VERBOSE3
|
Constructor Summary | |
---|---|
ModBIPathManager()
|
Method Summary | |
---|---|
protected static void |
addDecisionToModBIPath(ModBIPathManager.ModBIPath modBIPath,
int i,
int width)
Fügt eine Entscheidung an den BIPfad an. |
protected static ModBIPathManager.ModBIPathInfo |
computeModBIPaths(ASTNode start,
ASTNode end)
Berechnet PfadInfo für MBIPfade eines Quellcodeabschnitt |
static void |
computeNrModBIPaths(ASTFunctionNode fn)
Berechnet die Anzahl der möglichen Pfade für den Modifizierten Boundary-Interior-Pfadtest. |
static void |
createCoveredModBIPathsSet(ASTManager ast)
Erstellt für alle Pfade des aktuellen TestLogs die ModBiPfade. |
protected static void |
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 |
createCoveredModBIPathsSetForIteration(ASTManager ast,
TestCase testCase,
java.util.ArrayList<java.lang.Integer> list,
int start)
|
protected static ModBIPathManager.ModBIPathInfo |
joinExceptionModBIPaths(ModBIPathManager.ModBIPathInfo head,
ModBIPathManager.ModBIPathInfo tail,
ASTNode endNode)
Vereingt die Pfadinfos der vereinigten Pfade von Try + allen Catches mit den folgenden finally-Pfaden. |
protected static ModBIPathManager.ModBIPathInfo |
joinParallelModBIPaths(ModBIPathManager.ModBIPathInfo first,
ModBIPathManager.ModBIPathInfo second)
Vereinigt die Pfadinfos zweier paralleler Pfade (true-false bei If, case bei Switch) Addiert Pfade zusammen. |
protected static ModBIPathManager.ModBIPathInfo |
joinSequentialModBIPaths(ModBIPathManager.ModBIPathInfo head,
ModBIPathManager.ModBIPathInfo tail,
ASTNode endNode)
Vereingt die Pfadinfos zweier aufeinanderfolgender Pfadverläufe an einem Endknoten. |
protected static java.lang.String |
pathToString(java.util.ArrayList<java.lang.Integer> l)
|
protected static void |
printModBIPath(int f,
ModBIPathManager.ModBIPath p)
|
protected static ModBIPathManager.ModBIPathInfo |
transferLoopMaps(ModBIPathManager.ModBIPathInfo first,
ModBIPathManager.ModBIPathInfo second)
Überträgt die loopMaps von einer PathInfo auf die nächste, spart doppelte aus. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected static ASTFunctionNode currFunctionNode
protected static boolean INFO
protected static boolean VERBOSE
protected static boolean VERBOSE_COVER
protected static boolean VERBOSE2
protected static boolean VERBOSE3
Constructor Detail |
---|
public ModBIPathManager()
Method Detail |
---|
protected static void addDecisionToModBIPath(ModBIPathManager.ModBIPath modBIPath, int i, int width)
modBIPath
- - der aktuelle BIPfadi
- - die Entscheidung binär kodiert , 0/1 bei einfacher, sonst längerprotected static ModBIPathManager.ModBIPathInfo computeModBIPaths(ASTNode start, ASTNode end)
start
- - beginn des Abschnittesend
- - Ende des Abschnittes
public static void computeNrModBIPaths(ASTFunctionNode fn)
fn
- - der ASTFunctionNode der entsprechenden Funktionpublic static void createCoveredModBIPathsSet(ASTManager ast)
ast
- - Der aktuelle ASTManager.protected static void createCoveredModBIPathsSetForFunction(ASTManager ast, TestCase testCase, java.util.ArrayList<java.lang.Integer> list)
ast
- der ASTManagertestCase
- - Das entsprechende TestLog.list
- - Die Pfadliste.protected static int createCoveredModBIPathsSetForIteration(ASTManager ast, TestCase testCase, java.util.ArrayList<java.lang.Integer> list, int start)
protected static ModBIPathManager.ModBIPathInfo joinExceptionModBIPaths(ModBIPathManager.ModBIPathInfo head, ModBIPathManager.ModBIPathInfo tail, ASTNode endNode)
head
- - PfadInfo des Ursprungspfades (Try-Catch)tail
- - PfadInfo des Finally-PfadesendNode
- - der vereinigende Knoten des Try-Konstrukts
protected static ModBIPathManager.ModBIPathInfo joinParallelModBIPaths(ModBIPathManager.ModBIPathInfo first, ModBIPathManager.ModBIPathInfo second)
first
- - ein Pfadsecond
- - ein paralleler Pfad
protected static ModBIPathManager.ModBIPathInfo joinSequentialModBIPaths(ModBIPathManager.ModBIPathInfo head, ModBIPathManager.ModBIPathInfo tail, ASTNode endNode)
head
- - PfadInfo des Ursprungspfadestail
- - PfadInfo des TeilpfadesendNode
- - der vereinigende Knoten des verzweigenden Konstrukts
protected static java.lang.String pathToString(java.util.ArrayList<java.lang.Integer> l)
protected static void printModBIPath(int f, ModBIPathManager.ModBIPath p)
protected static ModBIPathManager.ModBIPathInfo transferLoopMaps(ModBIPathManager.ModBIPathInfo first, ModBIPathManager.ModBIPathInfo second)
first
- - die erste PathInfosecond
- - die zweite PathInfo
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |