Softwarequalitätssicherung:Zusammenfassung

Konstruktive Maßnahmen zur QS

• Präventive Maßnahmen zur Fehlervermeidung; damit Fehler erst garnicht entstehen.

Analytische Maßnahmen zur QS

• Postventive Maßnahmen (Fehlerfindung); es must erst ein Fehler gemacht werden damit Maßnahmen greifen.

Statische Maßnahmen

Formale Prüftechniken

1. Formaler Korrektheitsbeweis:

1. Symbolische Programmausführung:

Funktionsorientierter Test

Äquivalenzklassenmethode

1. Zu jeder Funktion werden Äquivalenzklassen gebildet:
   • Für jedes möglichen Ergebnisse der Funktion wird eine Äquivanzklasse gebilden. Alle Elemente (Eingaben) die das äquivalente Ergebins leifern gehören zu dieser Klasse.
   • Jeder Eingabe wurd genau eine Äquivalenzklasse zugeordnet. Eingaben die einen bestimmte Fehler veruhrsachen gehören zu genau dieser Fehlerklasse (ungültige)
   • Gültige und ungültige Aquivalnzklassen decken den gesammten Eingaberaum ab.
2. Testfallgenerierung:
   • Idee: Es reicht aus einen Vertrete jeder Klasse zu testen, da die Anderen ja das äquvalente Ergebniss liefern (math. Definition der Äquivalenzklasse)

• Äquivalenzklassenbildung im Artikel Testmethode

Grenzwertanalyse

• Grenzwertanalyse im Artikel Testmethode

Ursache-Wirkungsgraph-Methode

• Ursache-Wirkungs-Analyse im Artikel Testmethode

Zustandsbasierter Test

• Artikel Zustandsbezogener Test
• Zustandsbasierte Testmethoden im Artikel Testmethode

9.

Kontrollflussorientierte Testverfahren

Zusammenfassung

	Kurzname	erfüllte Bediungung
Anweisungsüberdeckungstest	C0-Test	jeder Knoten im KFG wird mindestens einmal ausgeführt
Zweigüberdeckungstest	C1-Test	jede Kante im KFG wird mindestens einmal durchlaufen
Bedingungsüberdeckungstest
Minimale Bedingungsabdeckung	C2-Test	jede atomare Bedingung wird einmal mit true und false getestet
Bedingungs-Entscheidungsabdeckung	Starker C2-Test	jede atomare Bedingung wird einmal mit true und false getestet und zeigen, das jede atomare Bedingung für sich selbst die Gesamtentscheidung beeinflussen kann
Mehrfache Bedingungsabdeckung	C3-Test	jede true/false Kombination der atomaren Bedingungen wird getestet
minimalen Mehrfach-Bedingungstest	Schwacher C3-Test	jede atomare Bedingung und die Gesamtbedingung wird mit true und false getestet
Pfadüberdeckungstest	C4-Test	Alle möglichen Pfade werden durchlaufen
Boundary-Interiour	Sonderform des C4-Tests	wie C4, Schleifen werden jedoch nach speziellen Regeln durchlaufen

Bei uns	In der Wikipedia
C0-Test Anweisungsüberdeckungstest statement-coverage	Artikel Anweisungsüberdeckungstest Anweisungsüberdeckungstest im Artikel Kontrollflussorientierte_Testverfahren Anweisungsüberdeckungstest im Artikel Testmethode
C1-Test Zweigüberdeckungstest branch coverage	wikipedia:Zweigüberdeckungstest Artiel Zweigüberdeckungstest Zweigüberdeckungstest im Artikel Kontrollflussorientierte_Testverfahren Zweigüberdeckungstest im Artikel Testmethode
C2-Test Minimale Bedingungsabdeckung simple condition coverage	(Abweichende C-Bezeichnungen in der Wikipedia möglich:) C3a in Einfachbedingungsüberdeckungstest im Artikel Bedingungsüberdeckungstest C3a in Einfachbedingungsüberdeckungstest im Artikel Kontrollflussorientierte_Testverfahren C2 in Einfacher Bedingungsüberdeckungstest im Artikel Testmethode
Starker C2-Test Bedingungs-Entscheidungsabdeckung modified condition/decision coverage	(Keine Entsprechung in der Wikipedia gefunden)
C3-Test Mehrfache Bedingungsabdeckung multiple condition coverage	(Abweichende C-Bezeichnungen in der Wikipedia möglich:) C3b in Mehrfachbedingungsüberdeckungstest im Artikel Bedingungsüberdeckungstest C3b in Mehrfachbedingungsüberdeckungstest im Artikel Kontrollflussorientierte_Testverfahren C3 in Mehrfach-Bedingungsüberdeckungstest im Artikel Testmethode
Schwacher C3-Test minimalen Mehrfach-Bedingungstest minimal multiple condition coverage	(Abweichende C-Bezeichnungen in der Wikipedia möglich:) C3c in minimaler Mehrfachbedingungsüberdeckungstest im Artikel Bedingungsüberdeckungstest C3c in minimaler Mehrfachbedingungsüberdeckungstest im Artikel Kontrollflussorientierte_Testverfahren Dritter Absatz in Mehrfach-Bedingungsüberdeckungstest im Artikel Testmethode
C4-Test Pfadüberdeckungstest path-coverage	(Abweichende C-Bezeichnungen in der Wikipedia möglich:) C2 im Artikel Pfadüberdeckungstest C2 in Pfadüberdeckungstest im Artikel Kontrollflussorientierte_Testverfahren C4 in Pfadüberdeckungstest im Artikel Testmethode
Boundary Interior Test Sonderform des C4	(Abweichende C-Bezeichnungen in der Wikipedia möglich:) C2b in Boundary-Interior Pfadüberdeckungstest im Artikel Pfadüberdeckungstest C2b in Boundary-Interior-Pfadüberdeckungstest im Artikel Kontrollflussorientierte_Testverfahren

Beispiel zum Starken C₂-Test

Eine Beispiel

A ^ B v C ^ D

	D	0	0	1	1
A	B\C	0	1	1	0
0	0	0	0	1	0
0	1	0	0	1	0
1	1	1	1	1	1
1	0	0	0	1	0

Übergänge von A,B,C und D bei denen sich das Ergebnis ändert:

+---+---+---------------+
|   | D | 0   0   1   1 |
+---+---+---------------+
| A |B\C| 0   1   1   0 |
+---+---+---------------+
|   |   |               |
| 0 | 0 | 0   0---1---0 |
|   |   |               |
| 0 | 1 | 0   0---1---0 | 
|   |   | |   |       | |
| 1 | 1 | 1   1   1   1 | 
|   |   | |   |       | |
| 1 | 0 | 0   0---1---0 |
|   |   |               |
+---+---+---------------+

Mögliche Testfallwahl:

+---+---+---------------+
|   | D | 0   0   1   1 |
+---+---+---------------+
| A |B\C| 0   1   1   0 |
+---+---+---------------+
|   |   |               |
| 0 | 0 | 0   0   1   0 |
|   |   |               |
| 0 | 1 | 0   0---1---0 | 
|   |   |     |         |
| 1 | 1 | 1   1   1   1 | 
|   |   |     |         |
| 1 | 0 | 0   0   1   0 |
|   |   |               |
+---+---+---------------+

Liste der Testfälle:

A	B	C	D	A^BvC^D
1	0	1	0	0
1	1	1	0	1
0	1	1	0	0
0	1	1	1	1
0	1	0	1	0

Datenflussorientiertes Testen

• Datenflussorientierte Tests im Artikel Testmethode