AGEDIS Methode und Werkzeuge. 1. Was ist AGEDIS 2. Die AGEDIS Methode 3. Architektur / Werkzeuge 4. Fazit

Transkript

1 AGEDIS Methode und Werkzeuge Gliederung: 1. Was ist AGEDIS 2. Die AGEDIS Methode 3. Architektur / Werkzeuge 4. Fazit

2 A G E D I S Automated Generation and Execution of test suites for DIstributed component based Software - mit EU Mitteln gefördertes Projekt über 3 Jahre ( ) - Konsortium aus 7 akademischen und industriellen Vertretern Ziel: verbesserter modelbasierter Software Test (Qualität/Kosten) - Testentwicklung in möglichst früher Phase der SW Entwicklung - Weiterentwicklung der Tests parallel zur Entwicklung des SW Projektes - Entwicklung einer Methode und der notwendigen Werkzeuge

3 Die AGEDIS - Methode

4 AGEDIS Architektur / Werkzeuge

5 Interfaces: Behaviour Modelling Language - AGEDIS Modelling Language (AML) auf Basis von UML 1.4 an die Bedürfnisse von AGEDIS angepasst - beinhaltet: Klassendiagramme Zustandsdiagramme Objektdiagramme (Initialzustand)

6 Interfaces: Test Generating Directives - festlegen der Teststrategien - verschiedene Möglichkeiten, die u.a. dem Tester das Erstellen vereinfachen sollen: zufällige Testgenerierung Überdeckungskriterien (Zustand, Übergang, Interface) Testdirektiven (constraints start, end, exclude, include) Test Purposes Interfaces: Test Execution Directives - festlegen der Testarchitektur - beschreibt die Testarchitektur und die Schnittstellen zwischen Model und SUT - u.a. Prolog und Epilog des Tests, Informationen über die Hosts, Delays, Timeouts etc.

7 Interfaces: Model Execution Interface - enthält im Intermediate Formate (IF) codiert die Klassen, Objekte und endlichen Zustandsautomaten - IF notwendig als Basis für den Generator Interfaces: Abstract Testsuite + Execution Trace - sind zu einem File zusammengefasst - beinhaltet die einzelnen Testfälle in Form der einzelnen Schritte bis zum Erreichen des verdicts mit den entsprechenden Eingaben sowie den erwarteten Reaktionen - nach Durchführung der Tests werden die tatsächlichen Reaktionen hinzugefügt - vor dem Hintergrund der Austauschbarkeit von Komponenten der AGEDIS - Architektur in XML gehalten

8 AGEDIS TOOLS: User Interface Seminar - Spezifikationsbasierter Softwaretest - standalone Java Applikation - graphische Oberfläche, die alle Funktionalitäten zusammenfasst AGEDIS TOOLS: Model Simulator - bietet die Möglichkeit das vorhandene Modell zu überprüfen - Beispielsweise Übergabe von Stimuli an die als controllable markierten Schnittstellen entsprechen die Reaktionen den Erwartungen wie sehen mögliche Pfade aus - wichtiges Werkzeug zur Überprüfung des Modells und der Testdirektiven

9 AGEDIS TOOLS: Test Generation Seminar - Spezifikationsbasierter Softwaretest - Testgenerierung basiert auf TGV und Gotcha TGV: - arbeitet mit Test Purposes, Test Constraints und LTS - generiert Completed Test Graph (CTG) oder einzelne Testfälle Gotcha - arbeitet mit endl. Zustandsautomaten, Überdeckungskriterien und Test Constraints - generiert eine Menge von Testfällen oder einen Testgraphen AGEDIS: - beide Generierungsmethoden werden kombiniert und entsprechend der gewählten Testdirektiven eingesetzt, Schwerpunkt liegt auf TGV - zur Vermeidung von Redundanz werden Test Purposes und Überdeckungskriterien zusammen behandelt.

10 AGEDIS TOOLS: Test Execution - Spider - bietet Plattform für die Ausführung der Tests, die Überwachung und Protokollierung der Ergebnisse - kann Tests für Systeme in C, C++ und Java ausführen - verteilte System mit unterschiedlichen Betriebssystemen sind ansprechbar - Stresstests AGEDIS TOOLS: Test Analysis Seminar - Spezifikationsbasierter Softwaretest Test Analyzer: - generiert Test Purposes für Werte und Abläufe die durch den aktuellen Test nicht abgedeckt wurden Defect Analyzer - erkennt und fasst Testfälle zusammen, die den selben Fehler/Fehlerhintergrund produzieren - generiert entsprechenden Test Purpose, der den Fehler reproduziert

11 Fazit + Entwicklung einer Methode und der zugehörigen Werkzeugen sowie bestmögliche Automatisierung der Prozesse des Softwaretests, bei gleichzeitigem Erhalt der Fähigkeit, andere Werkzeuge zu integrieren + Verwendung von UML und XML werden als positiv angesehen, da quasi Standard - Experimente mit industriellen Partnern zeigen zum Teil unbefriedigende Ergebnisse bzgl. Verwendbarkeit, Marktreife und der Funktionalitäten - Verwendung von Objecteering ist problematisch, da nicht mehr kostenfrei - Userinterface sollte besser in Entwicklungsplattformen wie Eclipse integriert werden

12 Vielen Dank für die Aufmerksamkeit Fragen?

13 Quellen: Alan Hartman and Kenneth Nagin - AGEDIS Tools Paper - ISSTA 2004 Alan Hartman - Final Project Report - public version I. Craggs, M. Sardis, T. Heuillard - AGEDIS Case Studies - Model Based Testing in Industry