Software Engineering –
Grundlagen, Menschen, Prozesse, Techniken

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.