Testing by Contract mit C4J

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.