Year: 2013
Type: dissertation
Abstract: Während Test-Driven Development als agile Entwicklungsmethode der Software Community schon lange kein Fremdwort mehr ist, fristet Design by Contract noch eher ein Schattendasein. Dem deutlich robusteren Code, welcher durch das Konzept der Contracts entsteht, stehen die nicht-agilen Charakteristika von DbC gegenüber. Ein neuer Ansatz, Testing by Contract, schafft genau hier Abhilfe. Zusammen mit Contracts for Java hat der Softwareentwickler Methoden und Tools zur Hand, die verbessertes Codedesign und erhöhte Codequalität versprechen. Diese Studienarbeit legt das Thema TbC als Verbindung von TDD und DbC und dessen Nutzen für die praktische Anwendung dar. Dazu wurde eine Beispielapplikation anhand der Testing by Contract-Methode und mithilfe des C4J-Frameworks erstellt. Im Laufe dieser Arbeit stellte sich heraus, dass sich TbC mit C4J als durchdachter und flexibler Ansatz bewährt. Der Mehraufwand wird durch ein feinmaschigeres Sicherheitsnetz wettgemacht.
Authors: Matthias Hauser, Philip R. Kaufmann
Language: German
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7202369