Some possible adaptions of the chosen equivalence criteria to the special requirements of Java are proposed.
Chapter 1 gives an overview of data flow analysis .
Chapter 2 contains an descripton of the methods used.
www11.informatik.uni-erlangen.deDabei werden einige Anpassungsmöglichkeiten der verwendeten Äquivalenzkriterien an die besonderen Anforderungen der Sprache Java vorgestellt.
Kapitel 1 gibt einen Überblick zur Datenflußanalyse.
Kapitel 2 bietet eine Übersicht über das verwendete Verfahren.
www11.informatik.uni-erlangen.deProgram Analysis :
data flow analysis and abstract interpretation , program optimization , partial verification of programs
Programming Environments:
www.informatik.uni-kiel.deProgrammanalyse :
Datenflussanalyse und abstrakte Interpretation, Programmoptimierung, partielle Verifikation von Programmen
Programmierumgebungen:
www.informatik.uni-kiel.deIt could for instance be specified, that for each definition of a variable all uses that are reachable without a further redefinition of that variable are to be tested.
The determination of all pairs of definitions and uses required is the purpose of the static data flow analysis .
Test coverage can be determined by comparing these with the set of actually executed combinations determined utilizing dynamic data flow analyis.
www11.informatik.uni-erlangen.deBeispielsweise kann gefordert werden, daß zu jeder Zuweisung alle ohne eine weitere Zuweisung an die gleiche Variable erreichbaren Verwendungen getestet werden müssen.
Die Bestimmung der hierzu erforderlichen Kombinationen von Definitionen und Verwendungen ist Aufgabe der statischen Datenflußanalyse.
Durch den Vergleich mit den tatsächlich ausgeführten Kombinationen, die mit einer dynamischen Datenflußanalyse ermittelt werden, kann die Erfüllung des Testkriteriums bewertet werden.
www11.informatik.uni-erlangen.deVuoi aggiungere una parola, una frase o una traduzione?
Inserisci una nuova voce.