UTP @ Fraunhofer FOKUS

Das UML Testing Profile

Die Unified Modeling Language (UML) ist eine von der Object Management Group (OMG) standardisierte, graphische Modellierungsnotation, die zur objektorientierten Analyse und dem objektorientierten Design von IT-Systemen eingesetzt wird. Die UML ist mittlerweile sowohl in der Forschung als auch in der Industrie als „lingua franca“ etabliert. Die Akzeptanz der UML als Modellierungsnotation wirkte rasch auf den Forschungsbereich des modellbasierten Testens (MBT) ein, indem versucht wurde die UML als Testbasis- oder Testspezifikationsmodell zu verwenden. Leider definiert die UML keinerlei native Testelemente. Solche Elemente sind jedoch vonnöten, wenn die UML zur systematischen und strukturierten Validation und Verifikation von IT-Systemen eingesetzt werden soll. Um diesem Mangel abzuhelfen, wurde parallel zum Entwurf der UML 2.0 Spezifikation ein Konsortium bei der OMG gegründet, das sich der Entwicklung eines testspezifischen UML-Profils widmete. Das resultierende UML Testing Profile (UTP) unterstützt modellbasierte Testverfahren durch die Spezifikation dedizierter Testkonzepte, basierend auf der Semantik der durch das Profil erweiterten UML-Elemente. Dadurch fügt sich das UTP nahtlos in die UML ein und verhindert dadurch einen konzeptionellen, semantischen und notationsabhängigen Bruch zwischen System- und Testentwicklung. Weitere Informationen über das UTP finden Sie in den nachfolgenden Abschnitten, insbesondere in den Abschnitten Dokumente und Präsentationen.

top

---

UML Testing Profile 1.1 Revision

Das UML Testing Profile ist im Jahre 2005 von der OMG als Standard zur Unterstützung graphischer, modellbasierter Testverfahren verabschiedet worden. Bis heute wurde das UTP von diversen Herstellern implementiert – sowohl im Open Source, als auch im kommerziellen Bereich. Die Spanne reicht dabei von reinen Profilimplementierungen bis hin zu interaktiven Testentwicklungsumgebungen auf Basis des UTP. Darüber hinaus ist das UTP Diskussionsgegenstand zahlreicher wissenschaftlicher Veröffentlichungen.

Trotz seiner weiten Verbreitung befinden sich bis heute einige, zum Teil signifikante technische Probleme in dem Profil, welche zumeist aus der Tatsache resultieren, dass das UTP vor der UML, auf der es ja basiert, finalisiert wurde. Um das UML Testing Profile für die Zukunft und die wechselnden bzw. steigenden Ansprüche an modellbasierte Testnotationen fit zu machen, wurde fünf Jahre nach der Veröffentlich des Standards eine erste Revision Task Force (RTF) bei der OMG ins Leben gerufen. Die verhältnismäßige große Spanne für eine erste RTF profitiert daher von zahlreichen praktischen Erfahrungen, die in den vergangenen fünf Jahren von verschiedensten Institutionen bzgl. modellbasierten Testens generell und dem UTP im speziellen gesammelt wurden.

Im Juni 2010 wurde auf dem Technical Meeting der OMG in Minneapolis auf Anfrage des Fraunhofer Institut FOKUS de UTP 1.1 RTF ins Leben gerufen, deren Vorsitz FOKUS übernimmt. Als Hauptklärungspunkte wurden u.a. folgende Punkte identifiziert:

- Angleichen des UTP an die aktuellen Version der UML (2.4)
- Entfernen und Korrigieren von technischen Problemen
- Identifizieren von unintuitiven oder umständlichen Konzepten
- Überarbeiten des Spezifikationsdokument an sich.

Sollten Sie sich für die technischen oder administrativen Details der UTP 1.1 RTF interessieren, so schauen Sie bitte auf den entsprechenden Seiten der OMG (OMG work in progress section). Neue Issues können entweder per E-mail oder über das Eingabeformular auf den OMG-Seiten gemeldet werden. Letzteres ist aus Gründen der Einfachheit seitens der OMG bitte vorzuziehen!

top

---

Mitglieder der UTP Revision Task Force

Unternehmen/ Institution	Mitglied
Fraunhofer Institut FOKUS	Andreas Hoffmann Ina Schieferdecker Marc-Florian Wendland (Chair)
KnowGravity Inc.	Markus Schacher
Lockheed Martin	Jon D. Hagar
No Magic Inc.	J. D. Baker
SINTEF	Oystein Haugen
THALES	Laurent Rioux
Université de Franche-Compté	Fabien Peureux
IBM	Eldad Palachi

top

---

Unterstützer der UTP Revision Task Force

Unternehmen/ Institution	Mitglied
FH Hamburg	Zhen-Ru Dai
University of Pitesti	Alin Stefanescu

Weitere Angebote für unterstützende Arbeiten sind gerne gesehen. Supporter sind hauptsächlich an der Indentifizierung neuer Issues, sowie dem Review des Spezifikationsdokuments beteiligt. Informationen können über folgende Email-Adresse eingeholt werden: utp-info [at] fokus [dot] fraunhofer [dot] de.

top

---

UML Testing Profile 1.0 Spezifikationen

Bislang fokussierte die Unified Modeling Language (UML) hauptsächlich die Spezifikation struktureller und verhaltensspezifischer Aspekte von IT-Systemen, wodurch die graphische objektorientierte Analye/Design unterstützt wurde. Mit Aufkommen modellgetriebener Entwicklungsszenarien für IT-Systeme, die die Möglichkeit bietet den Systemcode automatisiert aus Modellen abzuleiten, ist der Bedarf für umfassende Conformance Test und System-Zertifizierungen durch eine staatliche Zulassungsbehörde deutlich angestiegen. Unglücklicherweise bietet die UML aufgrund fehlender, nativer testspezifischer Konzepte kaum Möglichkeiten an, um Testprozeduren systematisch, widerspruchsfrei und konsistent zu beschreiben.

Der Request for Proposals (RFP) der OMG forderte für den Entwurf des UML Testing Profils unter anderem Vorschläge und Ausarbeitungen für folgende Fähigkeit:

• Entwicklung eines UML-Testprofils auf Basis des UML Metamodells oder eines autarken MOF-basierten Metamodells
• Spezifizierung von Tests für strukturelle (statische) und verhaltensspezifische (dynamsiche) Aspekte berechenbarer/ausführbarer UML-Modelle
• Interoperabilität und Austauschbarkeit mit bestehenden Testtechnologien für Black-Box-Testverfahren

Der RFP wurde im Juli 2001 freigegeben. Das UTP Konsortium hat sich im November 2001 zusammengefunden, eine gemeinsame Lösung für den RFP (nur für OMG Mitglieder) zu erarbeiten und einzureichen, welche im März 2003 von der OMG angenommen wurde. Bis zur endgültigen Standardisierung im Jahre 2005 hat eine Finalization Task Force (FTF) dafür gesorgt, dass zahlreiche Probleme aus der initial eingereichten Lösung entfernt wurden.

Der RFP wurde im Juli 2001 freigegeben. Das UTP Konsortium hat sich im November 2001 zusammengefunden, eine gemeinsame Lösung für den RFP zu erarbeiten und einzureichen, welche im März 2003 von der OMG angenommen wurde. Bis zur endgültigen Standardisierung im Jahre 2005 hat eine Finalization Task Force (FTF) dafür gesorgt, dass zahlreiche Probleme aus der initial eingereichten Lösung entfernt wurden.

top

---

Konsortium

Das Kosortium wurde von in Testmothoden und -technologien sowie UML führenden Unternehmen und Forschungseinrichtungen gegründet.

Konsortiumspartner	Ansprechpartner
Ericsson	Øystein Haugen
IBM	Clay E. Williams
Fraunhofer FOKUS	Ina Schieferdecker
Motorola	Paul Baker
Rational	Serge Lucio
Softeam	Philippe Desfray Eric Riou du Cosquer
Telelogic	Eric Samuelsson
University of Lübeck	Jens Grabowski Zhen Ru Dai

top

---

Unterstützer

Die Arbeit des UTP Konsortiums wird von folgenden Unternehmen unterstützt.

Unterstützer	Ansprechpartner
iLogix	Eldad Palachi
IRISA/INRIA	Loic Helouet
ScapaTechnologies	Michael Norman

Weitere Unterstützer sind sehr willkommen. Die unterstützen das Konsortium mit Reviews und Anmerkungen zum aktuellen Status des UML Testing Profil.

top

---

Präsentationen

Das UML Testing Profil wurden auf dem Panel zu "UML and Testing - A Perfect Fit ?!" bei der Fifth International Conference on the Unified Modeling Language - the Language and its applications, UML2002, 30. September bis 4. Oktober 2002 in Dresden, präsentiert.

Das UML Testing Profil wurde beim Panel zu "The UML Testing Profile - Its Roots and Perspectives" bei IBM, Watson Research Center, 13. November 2002, in New York, U.S.A, vorgestellt.

Das UML Testing Profil wurde beim ASQF Workshop on UML 2.0 am 8. April 2003 in Berlin (FOKUS) präsentiert.

Das UML Testing Profil wurde in einem Tutorial beim Eleventh SDL FORUM "System Design" Stuttgart , 1st-4th July 2003 vorgestellt.

top

---

Dokumente

Die nachfolgenden Dokumente sind frei verfügbar:

• The UML Testing Profile Version 1.0 (May 2007) of the UTP Consortium.
• The talk at CONQUEST 2004, Nürnberg, Germany (September 2004) on the UTP final submission.
• The final adopted submission (August 2003) of the UTP Consortium
• The talk at TestCom 2003, Sophia Antipolis, France (May 2003) on the UTP and its Relation to TTCN-3.
• The final submission (March 2003) of the UTP Consortium.
• The second revised initial submission (December 2002) of the UTP Consortium.
• The talk at OMG ADTF, Burlingame (January 2003) on the initial submission by Ina Schieferdecker.
• The revised initial submission (April 2002) of the UTP Consortium
• The talk at OMG ADTF, Orlando (June 2002) on the initial submission.
• The initial submission (April 2002) of the UTP Consortium
• The Request For Proposal (RFP, July 2001) on the UML Testing Profile
• The intial (December 2000) and second (April 2001) initiating talk at OMG ADTF by Ina Schieferdecker to get the UML Testing Profile RFP approved.

Weitere Dokumente sind auf dem BSCW Server zu finden.

top

---

Kontakt

Für weitere Informationen besuchen Sie bitte die Website des UML Testing Profile.

An die folgenden Mailingadressen können Sie sich mit generellen Informationsanfragen und mit Issuesmeldungen wenden:

• utp-info [at] fokus [dot] fraunhofer [dot] de bei generellen Informationsanfragen
• utp-issues [at] fokus [dot] fraunhofer [dot] de zum Melden von neuen Issues.

top

zurück     nach oben