Hauptseminar AOSD. Design-by-Contract

Transkript

1 Hauptseminar AOSD Seite 1

2 Entstehung Was ist das? Java Annotations und AOP ConceptJ Zusammenfassung Seite 2

3 Entstehung Entwickelt von Bertrand Meyer Heute Prof. an der ETH Zürich Erstmals in Programmiersprache Eiffel OO-Programmiersprache ( Meyer Interactive Software Engineering (Bertrand Alternative zu C++ Seite 3

4 - Was ist das? Garantien bei der Ausführung einer Methode ( Precondition(s ( Postcondition(s ( Invariant(s Sollten vor der Implementierung festlegbar sein Unabhängig von der Implementierung... Aspektorientierte Softwareentwicklung ( AOSD ) Seite 4

5 ( Eiffel ) Beispiel1 Pre- und Postconditions Preconditions Postconditions Seite 5

6 ( Eiffel ) Beispiel2 Invariants Beziehen sich auf Eigenschaften einer Klasse Legen einen Rahmen fest Pre- und Postconditions müssen diese beachten ( Unittest Gut geeignet für Tests (Integration- und Seite 6

7 ( 1 ) Annotations in Java5 Liefern Information an den Compiler Auswertung Compilezeit Laufzeit Anwendbar name = "Benjamin Franklin", date = "3/27/2003" ) class MyClass() { } Klassen = "unchecked") void mymethod() { } Methoden Beginnt in eigener Zeile Kann Elemente enthalten Seite 7

8 ( 2 ) Annotations in Java5 Ersetzten häufig ( author = "John Doe", date = "3/17/2002", currentrevision = 6, lastmodified = "4/12/2004", lastmodifiedby = "Jane Doe" reviewers = {"Alice", "Bob", "Cindy"} // Note array notation ) public class Generation3List extends Generation2List { // class code goes here } @SupressWarnings ( Warning (=> Compiler ( super-method (override ( Warnings (=> no Compiler Seite 8

9 Annotations für DBC und AOP Mit Annotations werden die Methoden benannt Adressierung dieser Namen in JoinPoints möglich ((..)* * call(@test pointcut mypointcut : ( Eclipse ContractJ bietet default @Positive Seite 9

10 Contract enforcement mit AOP Contract unabhängig vom Rest Bedingungen können einfach angepasst werden Abstrakter Basis-Aspekt nötig Seite 10

11 Pre- und Postconditions Postcondition Precondition Für Parameterwerte Problematisch AspectJ ist an dieser Stelle überfordert => ContractJ nimmt sich diesem Problem an Seite 11

12 ( contractj.sourceforge.net/updatesite ) ContractJ Ermöglicht den Zugriff auf annotierte Parameter Nachteile: Kein Pointcut-Matching für annotierte Pointcuts Unübersichtlicher Seite 12

13 Zusammenfassung Seite 13

14 Quellen [1] [2] [3] [4] Seite 14