Abstract English

Audit 4 SOAs addresses one of the current major problems in Service-oriented Architectures (SOAs) development: testing support. In particular, our project is focused on a systematic testing and diagnosis approach of complex SOAs with the help of real world quality environments. While this is an intricate task and has not been sufficiently addressed so far, we regard the lack of corresponding research as a serious issue that is slowing down research and development in the SOA domain. Furthermore, to decrease time-to-market, enable rapid prototyping of research ideas and product candidates, as well as enhance general design quality in this complex and subtle domain, researchers and engineers have to be assisted in the design and verification process. Our achievements will provide the language and methodology for modeling SOA-based systems and then automatically derive test-suites and corresponding testbeds that provide test environments of real world quality. Our diagnosis engine will enable the user to isolate faults in the case of failing test cases via model-based diagnosis. Combining model-based diagnosis and testing, our methodology and technology will furthermore provide discriminating tests in case of multiple diagnoses, and will enrich the test-generation process with techniques that draw on the fault modes defined for model-based diagnosis (MBD). With this project we will enable a know-how transfer between several research communities and expect to sparkle new research ideas in those communities with our results.

Abstract German

Serviceorientierte Architekturen (SOAs) haben in der Vergangenheit stetig an Bedeutung gewonnen und sind heute ein integraler Bestandteil der Softwarelandschaft für viele Anwendungsbereiche, wie z.B. selbstoptimierende verteilte Systeme, Autonomes Rechnen, adaptive Systeme und Cloud Computing. Typische SOA-basierte Systeme bestehen heute oft aus einer Vielzahl an Webservices, Clients, Verzeichnisdiensten, Bussystemen, Verwaltungskomponenten, etc. Ein negativer Begleiteffekt der stetig steigenden SOA-Komplexität ist die dadurch erhöhte Fehleranfälligkeit solcher Systeme. Aus diesem Grund wurden bereits zahlreiche Konzepte entwickelt um Softwareentwickler und Designer beim Testen von einzelnen Webservices zu unterstützen. Jedoch ist dies nicht ausreichend, da hierbei nur die einzelnen Bestandteile eines SOA-basierten Systems getestet werden können, nicht aber das komplexe Gesamtsystem mit all seinen Abhängigkeiten, Interaktionen und Kontrollstrukturen. Unserer Meinung nach sind jedoch detailierte und hochwertige Laufzeittests des Gesamtsystems unter realen Bedingungen essentiell um der Fehleranfälligkeit komplexer SOA-Systeme wirksam und mit vertretbarem Aufwand engegenzutreten. Der Zweck des Projekts Audit 4 SOAs ist die Entwicklung einer Methodik und entsprechender Technologien zur Qualitätssicherung von SOAs. Ein besonderes Ziel ist sowohl die Entwicklung von SOA-Modellen die es erlauben automatisch realistische Testumgebungen zu erstellen, als auch die Generierung von hochwertigen Testsets für systemweite Laufzeittests. Diese Tests ermöglichen die Bewertung wichtiger Systemeigenschaften wie z.B. Performance, Robustheit, Skalierbarkeit sowie anderer funktionaler als auch nichtfunktionaler Charakteristika. Zusätzlich werden wir diagnostische Aspekte in den Modellen selbst und im Testprozess verankern. Die entwickelten Modelle werden es daher Forschern und Entwicklern ermöglichen für nicht bestandene Tests die Fehlerursache mittels bereitgestellter Techniken aus der modellbasierten Diagnose zu isolieren. Weiterführend werden wir Konzepte aus dem Bereich des Testens und der modellbasierten Diagnose zum Zwecke einer "aktiven Diagnose" verschmelzen. Diese wird es ermöglichen unklare Diagnosen mittels zusätzlich generierter Tests aufzulösen und die Fehlerquelle mit höherer Präzision aufzuzeigen. Als Begleiteffekt werden jene für die Diagnose etablierten Modellteile eine zusätzliche, sehr interessante Basis für eine modellbasierte Testfallgenerierung darstellen. Mit der Fokusierung auf die Entwicklung von Methodik und Technologien zur Analyse von SOAs unter realistischen Bedingungen, sprechen wir aktuelle Bedürfnisse von Forschern und Entwicklern im Bereich der Serviceorientierten Architekturen an. Unsere Ergebnisse werden es ihnen ermöglichen die Qualität von Prototypen und Produkten mittels systemweiter Laufzeittests unter realistischen Bedingungen sicherzustellen. Die Möglichkeit im Bedarfsfall Fehlerquellen über modellbasierte Diagnose isolieren zu können, erweitert das Potential unseres Ansatzes. Weiters werden unsere Modelle eine sehr frühe Design-Analyse ermöglichen. Zusätzlich zu den Effekten unserer Ergebnisse, erwarten wir durch die Integration von Know-How verschiedener Forschungsbereiche (SOA, Testen, modellbasierte Diagnose) weitere neue Impulse für künftige Forschungsprojekte generieren zu können.