Abstract

Im Artikel wird ein Vorgehen beschrieben wie Vorbedingungen im Java Quellkode zur Compilezeit abgesichert werden können. Es wird auf einen unterstützenden Codegenerator welche zur Prädikaten und Constraint Generierung genutzt wird eingegangen.

Description

Die Methode welche bechrieben wird ist letztlich die konsequente Umsetzung von Clean Code und der Anwendung des law of demeter. Freie Wertebereiche wie Integer werden auf fachlich sinnvolle Wertebereiche eingeschränkt durch Erstellung von Klassen welche die Einhaltung im Construktor über Prüfungen absichern. Dadurch werden invalide Werte bereit beim Eindringen in die Anwendung (z.B. aus Datenbank, UI Eingabefeld oder Webservice Parameter) erkannt und nicht erst wenn die Übergabe eines solchen Wertes an eine Methode erfolgt welche diesen nicht mehr verarbeiten kann. Aufgeführte Links: 1) http://oval.sourceforge.net/userguide.html 2) http://de.wikipedia.org/wiki/Aussagenlogik 3) http://www.heinerkuecker.de/ConstraintCodeGenerator.html

Links and resources

Tags