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
%0 Journal Article
%1 kucker2013toleranz
%A Kücker, Heiner
%D 2013
%J JavaMagazin
%K analyse java software softwaretest test vorbedingung
%N 10
%P 21 - 26
%T Das Ende der Toleranz
%X 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.
@article{kucker2013toleranz,
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.},
added-at = {2013-10-27T17:52:14.000+0100},
author = {Kücker, Heiner},
biburl = {https://www.bibsonomy.org/bibtex/253518458c2e4b2873ccf4780940b874f/funthomas424242},
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},
interhash = {417774d4ddc05eeb5756af76c7908cc5},
intrahash = {53518458c2e4b2873ccf4780940b874f},
journal = {JavaMagazin},
keywords = {analyse java software softwaretest test vorbedingung},
number = 10,
pages = {21 - 26},
timestamp = {2013-10-27T17:52:14.000+0100},
title = {Das Ende der Toleranz},
year = 2013
}