Software-Projekt ¨Uberblick I - Informatik - Universität Bremen
Software-Projekt ¨Uberblick I - Informatik - Universität Bremen
Software-Projekt ¨Uberblick I - Informatik - Universität Bremen
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
2009-01-13<br />
<strong>Software</strong>-<strong>Projekt</strong><br />
<strong>Software</strong>-Test<br />
Maße der Testabdeckung<br />
Maße der Testabdeckung<br />
Maße der Testabdeckung<br />
C1, Zweig-/Entscheidungsüberdeckung Verhältnis von Anzahl der mit<br />
Testdaten durchlaufenen Zweige zur Gesamtanzahl der<br />
Zweige.<br />
Jedes Prädikat muss im Code mindestens einmal wahr und einmal falsch sein. Schließt die Befehlabdeckung mit ein<br />
(es sei denn, es gibt unerreichbare Befehle) und ist äquivalent zur Befehlsabdeckung, wenn jeder wahr/falsch-Fall<br />
auch mindestens einen Befehl beinhaltet. Dieses Kriterium ist weiterhin relativ schwach. Erfahrungsgemäß 25%<br />
Fehlerfindung.<br />
<strong>Software</strong>-Test<br />
Maße der Testabdeckung<br />
C2, Bedingungsabdeckung Verhältnis von Anzahl der mit Testdaten<br />
durchlaufenen Terme innerhalb von Entscheidungen zur<br />
Gesamtanzahl der Terme.<br />
i := 1 ;<br />
l o o p<br />
found := a ( i ) = key ;<br />
e x i t when found or i = M a x E n t r i e s ;<br />
i := i + 1 ;<br />
end l o o p ;<br />
Rainer Koschke (Uni <strong>Bremen</strong>) <strong>Software</strong>-<strong>Projekt</strong> Wintersemester 2008/09 32 / 55<br />
Verzweigung<br />
[jahr < 1]<br />
[monat in {1,3,5,7,10,12}]<br />
[monat in {4,6,9,11}]<br />
[monat == 2]<br />
throw new MonatUngueltig<br />
Ende<br />
Anfang<br />
throw new JahrUngueltig<br />
Bedingung<br />
n = 30<br />
n = 32<br />
[istSchaltJahr(jahr)]<br />
n = 29 n = 28<br />
return n<br />
Aktivität