Software Engineering –
Grundlagen, Menschen, Prozesse, Techniken
Jochen Ludewig, Horst Lichter
Beispiele
Hier finden Sie den Quellcode für einige der im Buch enthaltenen Beispiele.
17.4.1:
Implementierung einer Kapsel in C
Die zip-Datei enthält die Header- und die C-Datei der
Kapsel DATASTORE sowie ein kleines
Testprogramm.
17.4.2:
Implementierung eines Abstrakten Datentyps in C
Die zip-Datei enthält die Header- und C-Dateien der ADTs KEYVALUEPAIR und DATASTORE sowie ein kleines Testprogramm.
17.6.4:
Verwendung einer Vertragsbibliothek / Das Vertragsmodell und der Programmtest
Die zip-Datei enthält den Java-Code des Interface IAccount und zwei Implementierungen
dazu.
- Die Klasse AccountImplValid4J nutzt die Vertragsbibliothek Valid4J, um die Vor- und Nachbedingungen zu implementieren.
- Die Klasse AccountImplValid4JBestPractice nutzt diese nur für die Vorbedingungen. Die Nachbedingungen werden durch JUnit-Tests der Klasse TestAccountImplValid4JBestPractice geprüft.
18.8.1: Demonstration der
Teststrategien an einem konstruierten Beispiel
Die zip-Datei enthält eine Java-Klasse für die Implementierungen der neun Summenfunktionen (add1,
... ,add9) und dazu passende einfache Testtreiber-Klassen.
Alle Programme dürfen gemäß Creative Commons License
Attribution 4.0 International (CC BY 4.0) 
verwendet werden.