|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsota.ast.util.BIPathManager
public class BIPathManager
Klasse mit statischen Methoden zur Berechnung der BI-Pfadüberdeckung.
Nested Class Summary | |
---|---|
protected static class |
BIPathManager.BIPathInfo
|
Field Summary | |
---|---|
protected static ASTFunctionNode |
currFunctionNode
|
protected static boolean |
INFO
|
protected static boolean |
VERBOSE
|
protected static boolean |
VERBOSE2
|
protected static boolean |
VERBOSE3
|
Constructor Summary | |
---|---|
BIPathManager()
|
Method Summary | |
---|---|
protected static long |
addDecisionToBIPath(long biPath,
int nrDecisions,
int i)
Fügt eine Entscheidung an den BIPfad an. |
protected static BIPathManager.BIPathInfo |
computeBIPaths(ASTNode start,
ASTNode end)
Berechnet PfadInfo für die BIPfade eines Quellcodeabschnitt |
static void |
computeNrBIPaths(ASTFunctionNode fn)
Berechnet die Anzahl der möglichen Pfade für den Boundary-Interior-Pfadtest. |
static void |
createCoveredBIPathsSet(ASTManager ast)
Erstellt für alle aktuellen TestLogs die BiPfade. |
protected static void |
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 BIPathManager.BIPathInfo |
joinExceptionPaths(BIPathManager.BIPathInfo head,
BIPathManager.BIPathInfo tail,
ASTNode endNode)
Vereingt die Pfadinfos der vereinigten Pfade von Try + allen Catches mit den folgenden finally-Pfaden. |
protected static BIPathManager.BIPathInfo |
joinIterationPath(BIPathManager.BIPathInfo head,
BIPathManager.BIPathInfo loop,
ASTIterationNode iterationNode)
Berechnet die PfadInfo der Schleife. |
protected static BIPathManager.BIPathInfo |
joinParallelPaths(BIPathManager.BIPathInfo first,
BIPathManager.BIPathInfo second)
Vereinigt die Pfadinfos zweier paralleler Pfade (true-false bei If, case bei Switch) Addiert Pfade zusammen. |
protected static BIPathManager.BIPathInfo |
joinSequentialPaths(BIPathManager.BIPathInfo head,
BIPathManager.BIPathInfo 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 |
printBIPath(int f,
long i)
|
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 VERBOSE2
protected static boolean VERBOSE3
Constructor Detail |
---|
public BIPathManager()
Method Detail |
---|
protected static long addDecisionToBIPath(long biPath, int nrDecisions, int i)
biPath
- - der aktuelle BIPfadnrDecisions
- - wie breit die Entscheidung ist (Switch, Try)i
- - die Entscheidung binär kodiert , 0/1 bei einfacher, sonst länger
protected static BIPathManager.BIPathInfo computeBIPaths(ASTNode start, ASTNode end)
start
- - beginn des Abschnittesend
- - Ende des Abschnittes
public static void computeNrBIPaths(ASTFunctionNode fn)
fn
- - der ASTFunctionNode der entsprechenden Funktionpublic static void createCoveredBIPathsSet(ASTManager ast)
ast
- - Der aktuelle ASTManager.protected static void createCoveredBIPathsSet(ASTManager ast, TestCase t, java.util.ArrayList<java.lang.Integer> list)
ast
- der ASTManagert
- - Das entsprechende TestLog.list
- - Die Pfadliste aus dem TestLog.protected static BIPathManager.BIPathInfo joinExceptionPaths(BIPathManager.BIPathInfo head, BIPathManager.BIPathInfo tail, ASTNode endNode)
head
- - PfadInfo des Ursprungspfades (Try-Catch)tail
- - PfadInfo des Finally-PfadesendNode
- - der vereinigende Knoten des Try-Konstrukts
protected static BIPathManager.BIPathInfo joinIterationPath(BIPathManager.BIPathInfo head, BIPathManager.BIPathInfo loop, ASTIterationNode iterationNode)
head
- - die PfadInfo des Verlaufes bis zum Eingang der Iterationloop
- - die PfadInfo eines LoopdurchlaufesiterationNode
- - der entsprechende ASTIterationNode
protected static BIPathManager.BIPathInfo joinParallelPaths(BIPathManager.BIPathInfo first, BIPathManager.BIPathInfo second)
first
- - ein Pfadsecond
- - ein paralleler Pfad
protected static BIPathManager.BIPathInfo joinSequentialPaths(BIPathManager.BIPathInfo head, BIPathManager.BIPathInfo 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 printBIPath(int f, long i)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |