TTCN-3 (Testing and Test Control Notation Version 3) ist ein internationaler ETSI-Standard (European Telecommunications Standardisation Institute) zur Definition von Testspezifikationen für die meisten Anwendungsdomänen im Umfeld der Informations- und Telekommunikationsindustrie.

Die wesentliche Zielsetzung bei der Standardisierung von TTCN-3  war die Bereitstellung einer einfach erlernbaren formalen Notation zur Plattform-unabhängigen, flexiblen und leicht anpassbaren Beschreibung von Testfällen, Testsuiten und Testumgebungen. UTP (UML Testing Profile) der OMG (Open Management Group) ist eine, auf der UML (Unified Modeling Language) aufbauende Testmodellierungssprache, die die wesentlichen TTCN-3 Konzepte wiederverwendet und für die UML nutzbar macht. Das Tutorial behandelt TTCN-3 und UTP anhand illustrativer Beispiele und ermöglicht den Teilnehmern dieses Wissen für die systematische Erweiterung eigener Testumgebungen einzusetzen.

In diesem Tutorial machen wir Sie mit den Grundlagen des modellzentrierten Testens (.mzT) und dessen produktivem Einsatzes im industriellen Umfeld vertraut und zeigen Ihnen, wie Sie die Methode in Ihre Prozesse integrieren können. Die Methode des modellzentrierten Testens erweitert das vielbeschworene modellbasierte Testen. Während Letztere auf Entwickler- oder Verhaltensmodellen aufsetzt, werden im modellzentrierten Test auch Aspekte der Systembenutzung, die Denkweise der Testers (engl.: "testers mindset") und das Testmanagement berücksichtigt. Dadurch werden Modelle erst effizient im Test einsetzbar.

Im ersten Teil des Tutorials wird .mzT als Methode eingeführt.

Es wird erklärt:

• wie .mzT als Methode funktioniert,
• mit welcher Werkzeugunterstützung man Automatismen optimal ausnutzt,
• wie .mzT-Modelle aus Anforderungen und Use Cases zu gestalten sind,
• wie man auf Projektziele optimierte Testfälle aus Modellen generiert.

An Hand von Beispielen aus realen und erfolgreichen Industrieprojekten wird dargestellt, auf was man beim Modellieren im Test zu achten hat, um die geforderte Testqualität zu erreichen und gleichzeitig die Wirtschaftlichkeit zu verbessern. Modelle und Generierstrategien bzw. -filter werden exemplarisch vorgestellt. Die Strategien und Filter dienen der Einschränkung von Testfällen auf optimale Test Sets, welche spezifisch auf das Projektziel ausgerichtet sind (z.B. Regressionstests).

Im zweiten Teil des Tutorials erarbeitet, diskutiert und optimiert die Seminargruppe gemeinsam ein Testmodell auf Basis von Übungsvorgaben (Projektziel, Anforderungen, Use Cases). Anforderungen an das Testmodell, die sich aus der Projekterfahrung der Teilnehmer ergeben, werden besprochen. Das Übungsmodell wird entsprechend angepasst. Am Ende der Übung wird ein Test Set "live" generiert.

Moderne Produktentwicklung wird zunehmend komplexer. Damit steigt die Fehleranfälligkeit der Produkte. Um diesem Effekt gegenzusteuern, rückt zunehmend die Qualitätssicherung in den Fokus. Hinzu kommt der Druck des Marktes, der immer kürzere Lebenszyklen und höhere Wirtschaftlichkeit bei gleichbleibender Qualität verlangt. Dies kann nur durch einen effizienten, qualitätsorientierten Software-Entwicklungsprozess erreicht werden.

Qualitätssicherung ist jedoch mehr als nur Test. Eine systematische Anforderungsanalyse ist Voraussetzung aller qualitätssichernden Maßnahmen, denn nur eine gute Anforderung lässt sich auch gut testen. In sicherheitskritischen Umfeldern sind außerdem unterschiedliche, branchenspezifische Regularien zu berücksichtigen, welche sich allerdings auf gemeinsame, grundlegende Prinzipien zurückführen lassen (z.B. Nachvollziehbarkeit).

Das Tutorial bietet einen Einstieg in die Qualitätssicherung von der Erhebung der Produktanforderungen durch das Marketing bis hin zur Abnahme des getesteten Produktes durch den Kunden. Dabei wird insbesondere auf die Aspekte eingegangen, welche für einen erfolgreichen industriellen Einsatz unabdingbar sind. Es werden zum einen der Prozess im gesamten Ablauf, zum anderen die Zusammenhänge der einzelnen Prozessschritte dargestellt. Verschiedenen Varianten und Werkzeugumgebungen werden angesprochen. Darüber hinaus werden grundlegende Methoden des Softwaretestens und des Test-Managements im Allgemeinen und des modellzentrierten Testens im Besonderen vermittelt.

Ziel ist es, einen Überblick über moderne Prozesse, Methoden und Werkzeuge zu bekommen, um im industriellen Einsatzfeld als Anwender oder Entscheider entsprechend gerüstet zu sein.

In regulierten Umfeldern (Medizintechnik, Automotive, etc.) unterliegen die im Entwicklungsprozess verwendeten Werkzeuge oft ähnlichen Qualitätsanforderungen wie die zu entwickelnden Produkte selbst. Eine Testumgebung muss verlässliche und nachvollziehbare Artefakte liefern, die es erlauben, sowohl das getestete Produkt sicher zu bewerten, als auch Qualitätsaudits Stand zu halten. Darüber hinaus müssen Testdokumente wie z.B. Testspezifikation, Testprotokoll, Automatisierungscode usw. ein konsistentes und nachvollziehbares Tracing von den Anforderungen bis zur Testbewertung ermöglichen.

Gerade für Audits, aber auch für entsprechende Verbesserungen an Qualität und Effizienz der Testumgebung ist eine formale Validierung der Testumgebung sinnvoll, manchmal unerlässlich. Dagegen spricht jedoch oft der vermeindlich hohe Aufwand für die Erstvalidierung und mögliche Regression (z.B. bei der Integration neuer Testwerkzeuge).

Im Tutorial soll gezeigt werden, wie eine wirtschaftlich vertretbare, aber dennoch qualitativ hochwertige Validierung der Testumgebung vorgenommen werden kann. Das Vorgehen orientiert sich weniger an den kompletten Funktionalitäten der eingesetzten Werkzeuge, sondern eher an den Abläufen im Prozess und den im jeweiligen Umfeld gültigen Regularien (z.B. 21 CFR 11 in der Medizintechnik). Es wird ein Überblick gegeben und diskutiert, wie die einzelnen Analyse- und Valdierungsschritte in typischen industriellen Umfeldern aussehen sollten. Die Teilnehmer werden dadurch in die Lage versetzt, effektiv und effizient an Validierungen von Testumgebungen heranzugehen und diese wirtschaftlich vertretbar abzuwickeln.