Die Prüfung ist eine der wichtigsten Aufgaben bei der Entwicklung großer, komplexer Softwaresysteme. "In der Praxis wird dafür ein erheblicher Teil des gesamten Entwicklungsaufwands aufgebracht, und doch beobachtet man oft deutliche Qualitätsmängel," so Prof. Dr. Peter Liggesmeyer, einer der profiliertesten Experten auf diesem Gebiet. Es existieren heute zahlreiche Methoden, Techniken und Werkzeuge für die Softwareprüfung, und sie entwickeln sich ständig weiter, zusammen mit denen für die Softwareentwicklung. So arbeiten z.B. immer mehr Unternehmen mit objektorientierten Entwicklungsmethoden und -werkzeugen, und die Entwickler müssen diesen ihre Prüfmethoden und -werkzeuge anpassen. Diese Inhalte vermittelt das DIA-Seminar über systematisches Testen vom 04.11. - 05.11.2010 in Heidelberg .

TTCN-3 (Testing and Test Control Notation) ist die weltweit einzige international standardisierte Testspezifikations und -implementierungssprache für Kommunikation- und Softwaresysteme. TTCN-3 wurde beim European Telecommunications Standards Institute (ETSI) und der International Telecommunication Union (ITU-T) auf Nachfrage führender Hersteller in der zur Unterstützung bei der Testbeschreibung und Automatisierung der Testausführung entwickelt.

Die Anwendbarkeit von TTCN-3 wurde auf alle Arten des Testens ausgedehnt und dient zum Testen von Protokollen, Diensten, Plattformen, Komponenten und Software-Applikationen. TTCN-3 findet Anwendung in unterschiedlichen Industriebereichen (Telekommunikation, Automotive, Medizin, Luftfahrt, Finanzwirtschaft etc.).

Bei Werkzeugherstellern und Forschungsinstituten ist TTCN-3 eine Zielnotation für modellbasiertes Testen. 2010 werden von ETSI Erweiterungen veröffentlicht, die der Industrie eine standardisierte Basis für innovatives Testen bereitstellt.

Das Seminar bietet eine Einführung und Überblick zu Struktur und Sprachelementen in TTCN-3 Tests und beinhaltet praktische Übungen zur Erstellung und Ausführung von TTCN-3 Testsuites.

Die Teilnehmer erhalten Wissen und Verständnis der Grundelemente der Testbeschreibung und -implemen­tie­rung mit TTCN-3. Die Teilnehmer erwerben die Fähig­keit zur selbstständigen Erstellung kleiner (vollständiger) TTCN-3 Testbeispiele sowie Erfahrungen im Umgang mit Werkzeu­gen zur TTCN-3 Testentwicklung und –aus­führung.

Die Prüfung ist eine der wichtigsten Aufgaben bei der Entwicklung von komplexer, umfangreicher Software. In der Praxis wird dafür ein erheblicher Anteil des gesamten Entwicklungsaufwands aufgebracht, und dennoch beobachtet man oft deutliche Qualitätsmängel. Es existieren heute zahlreiche Methoden, Techniken und Werkzeuge für die Prüfung von Software, und sie entwickeln sich ständig weiter, zusammen mit denen für die Softwareentwicklung. So arbeiten immer mehr Unternehmen mit objektorientierten Methoden und Werkzeugen der Softwareentwicklung und müssen deshalb ihre Prüfmethoden und -werkzeuge entsprechend anpassen.

Es ist für die industrielle Praxis entscheidend, aus der Vielzahl von Methoden, Techniken und Werkzeugen die für den Einzelfall am besten geeigneten auswählen und sie dort einsetzen zu können, wo sie den größtmöglichen Nutzen bringen. Natürlich muss dabei ein Kompromiss zwischen der Erreichung der geforderten Qualität und der Einhaltung wirtschaftlicher, zeitlicher und technischer Restriktionen erzielt werden.

Um dies unter industriellen Rahmenbedingungen zu erreichen, muss man die unterschiedlichen Prüfmethoden, -techniken und -werkzeuge kennen und ihre Leistungsfähigkeit im konkreten Anwendungsfall bewerten können.

Die Teilnehmenden erhalten den breiten, klassifizierenden Überblick über den Stand der Technik in der analytischen Software-Qualitätssicherung, den sie benötigen, um bei ihren konkreten Aufgaben zu optimalen Lösungen zu kommen. Sie werden die praxisrelevanten Lösungen im Detail kennen lernen, die eine schnelle Umsetzung ermöglichen. Neben den generellen Methoden, Techniken und Werkzeugen werden sie auch die spezifischen Aspekte der Prüfung objektorientierter Software verstehen.

Sie erwerben ferner umfassende, präzise Kenntnisse über modernes, systematisches Prüfen von Software, über systematische, dynamische Testverfahren und über wichtige statische Analysen und formale Verifikationsverfahren. Sie werden in der Lage sein, die Eignung von Prüfverfahren in der Praxis zu bewerten, Verfahren auszuwählen und erfolgreich einzusetzen.

Auf der Basis dieser Kenntnisse und ihrem Verständnis der zahlreichen Methoden und Techniken, ihrer Zusammenhänge, Unterschiede, Stärken und Schwächen, können die Teilnehmenden eine für ihre konkreten Verhältnisse maßgeschneiderte Prüfstrategie und -methodik konzipieren, erfolgreich umsetzen und durch Werkzeuge unterstützen. Ferner beherrschen sie einen systematischen Testansatz, der alle heute existierenden Anforderungen an systematisches Testen erfüllt und so einfach umsetzbar ist, dass er eine geeignete Einstiegsmöglichkeit in den systematischen Test bietet.