SIKOSA Von der Prozessanalyse zur Testautomatisierung

Transkript

1 SIKOSA Von der Prozessanalyse zur Testautomatisierung Forschungsverbund PRIMIUM Prof. Dr. St. Kirn (Sprecher) Prof. Dr. B. Paech Prof. Dr. D. Kossmann Prof. Dr. G. Müller

2 Agenda 1. Vision SIKOSA Projektablauf 3. SIKOSA Methoden ProQAM Process-oriented Questionnaire for Analyzing and Modelling Scenarios TORE Task-Oriented Requirements Engineering MOQARE Misuse Oriented Quality Requirements Engineering PAT 3 Process, Automation, Testability, Transformation, Traceability User-Centered Security Engineering und Online-Sicherheitsmonitoring 4. Stand der Methodenintegration 5. Dank Seite 2

3 Vision 2004 "Als Ergebnis angestrebt werden an in Zusammenarbeit mit Praxispartnern definierten Fallbeispielen validierte Vorgehensweisen und Werkzeuge, die es den Anbietern komponentenbasierter Software erlauben, auf der Basis von Tests abgesicherte Aussagen über die Qualität ihrer Systeme im Zusammenspiel mit den Systemen kooperierender Anbieter zu treffen. [Projektantrag 3/2004] Seite 3

4 Grundlegende Projektthesen Prozessmodell-Validität: Wie kann das Alignment von Unternehmensstrategie und Unternehmensprozessen sichergestellt werden? These I: Dies kann erreicht werden durch Entwicklung eines Prozessmodellierungskonzepts, welches die unternehmensstrategischen und betriebswirtschaftlichen Anforderungen in das Prozessmodell integriert. Vertikale Durchgängigkeit der Modellierung: Wie kann sichergestellt werden, dass die Unternehmens-IT auch unter der Bedingung eines raschen Wandels von Unternehmensstrategie und Unternehmensprozessen zuverlässig die Erreichung der Unternehmensziele unterstützt? Grundsätzlich setzt dies... vollautomatisierte Softwaretests voraus. These II: Die Möglichkeiten des automatisierten Tests von Unternehmenssoftware können dann weiter verbessert werden, wenn die dazu erforderlichen Informationen bereits bei der Modellierung von Unternehmensprozessen erhoben und im Zuge des Requirements Engineering formalisiert werden. Seite 4

5 Projektarchitektur Supply Chain Management (Porsche / LEONI / KMUs) Geschäftsprozessmodellierung Risikoanalyse Schwachstellenanalyse Anforderungsspezifikation Architekturspezifikation Gegenmaßnahmen ermitteln Testspezifikation Auswahl der Sicherheitsmechanismen Validierung des Prozesses Implementierung Testdaten und Testfallgenerierung Test Sicherheitstest Seite 5

6 Projektverlauf Seite 6

7 SIKOSA-Methoden ProQAM Process-oriented Questionnaire for Analyzing and Modelling Scenarios TORE Task-Oriented Requirements Engineering MOQARE Misuse Oriented Quality Requirements Engineering PAT 3 Process, Automation, Testability, Transformation, Traceability User-Centered Security Engineering und Online-Sicherheitsmonitoring Seite 7

8 Stand der Methodenintegration (SIKOSA-Methodik) 1. Konzeptionelle Methodenintegration: ProQAM MOQARE ProQAM TORE TORE MOQARE TORE PAT 3 2. Empirische Validierung: Einzelmethoden (noch ohne PAT 3 ) ( ) paarweise Integration Top Down Durchgängigkeit 3. Evaluierung der Testverfahren: Ab Januar 2007 (ETH Zürich) 4. Evaluierung und angestrebter Transfer der SIKOSA-Methodik: => entfällt Seite 8

9 Dank Den Initiatoren des Förderprogramms USW, den Kolleginnen und Kollegen im Forschungsverbund, sehr ausdrücklich dem PRIMIUM Sprecher Prof. Armin Heinzl, meinen KollegInnen im Projekt SIKOSA und den betroffenen Mitarbeiterinnen und Mitarbeitern Seite 9