imported>Crazy1880: Vorlagen-fix (GoogleBuch)

2020-01-05T10:55:46Z

Vorlagen-fix (GoogleBuch)

Neue Seite

Eine '''Def-Use-Kette''' ist eine [[Datenstruktur]], die aufeinanderfolgende Paare von Schreib- und Lesezugriffen einer [[Variable (Programmierung)|Variablen]] beschreibt.

Im Rahmen des Software Engineerings werden beim [[White-Box-Test]]ing mittels Def-Use-Ketten Datenflusstests durchgeführt, welche das Durchlaufen von Code mittels Testwerten für Variablen ermöglichen.<ref name="SEKuchenSkript">Prof. Herbert Kuchen: {{Webarchiv |url=http://www.wi1.uni-muenster.de/pi/lehre/ws0910/se/SEk7.pdf |wayback=20170123163739 |text=''Software Engineering, Skript WS09/10''. |archiv-bot=2019-03-12 07:23:32 InternetArchiveBot}} (PDF; 234 kB) [[Westfälische Wilhelms-Universität]] Münster. S. 403, 407ff. Abgerufen am 23. Januar 2017.</ref>

== Anwendungsbeispiel ==
Im Folgenden soll eine Def-Use-Kette für die Variable "d" erzeugt werden.
Der nachfolgende Code findet den größten gemeinsamen Teiler (GGT) zweier Zahlen "a" und "b" und ist in [[Java (Programmiersprache)|Java]] implementiert.

<syntaxhighlight lang="Java" line>
public int ggt(int a, int b){
int c = a;
int d = b;
if(c == 0)
return d;
while(d != 0){
if(c > d)
c = c - d;
else
d = d - c;
}
return c;
}
</syntaxhighlight>

Um alle Def-Use-Ketten für die Variable "d" zu erzeugen, ist folgendermaßen vorzugehen:

# Ermitteln des ersten Schreibzugriffes (Definition der Variablen)
#: In diesem Fall entspricht dies der Zuordnung "d=b" (Zeile 3)
# Ermitteln des ersten Lesezugriffes
#: In diesem Fall entspricht dies der Anweisung "return d"
# Aufschreiben dieser Information im folgenden Stil:
#: [Name der untersuchten Variablen, konkreter Schreibzugriff, konkreter Lesezugriff]
#: In diesem Fall entspricht dies [d, d=b, return d]

Nun werden diese Schritte wiederholt, wobei jeder Schreibzugriff mit jedem Lesezugriff der untersuchten Variablen verbunden wird.

Das Ergebnis ist dann:
# [d, d=b, return d]
# [d, d=b, while(d!=0)]
# [d, d=b, if(c>d)]
# [d, d=b, c=c-d]
# [d, d=b, d=d-c]
# [d, d=d-c, while(d!=0)]
# [d, d=d-c, if(c>d)]
# [d, d=d-c, c=c-d]
# [d, d=d-c, d=d-c]<ref name="SEKuchenUebung">Henning Heitkötter: {{Webarchiv |url=http://www.wi1.uni-muenster.de/pi/lehre/ws0910/se/uebungen/Uebung6-Vorstellung.pdf |wayback=20170123163744 |text=''Software Engineering WS09/10, Lösung Übungsblatt 6''. |archiv-bot=2019-03-12 07:23:32 InternetArchiveBot}} (PDF; 554 kB) [[Westfälische Wilhelms-Universität]] Münster. S. 25. Abgerufen am 23. Januar 2017.</ref>

== Literatur ==
* {{Literatur |Autor=Aditya P. Mathur |Titel=Foundations of Software Testing. Fundamental Algorithms and Techniques. An Undergrate and Graduate Text. A Reference for the Practicing Software Engineer |Verlag=Pearson Education India |Ort=Delhi u. a. |Datum=2008 |ISBN=978-81-317-0795-1 |Seiten=462 |Sprache=en |Online={{Google Buch |BuchID=yU-rTcurys8C |Seite=462}}}}

== Einzelnachweise ==
<references />

[[Kategorie:Testen (Software)]]

Def-Use-Kette - Versionsgeschichte

imported>Crazy1880: Vorlagen-fix (GoogleBuch)