1

Transkript

1 fachartikel der autor M. Sc. Marc-Floria Wedlad ist wisseschaftlicher Mitarbeiter im Frauhofer Istitut FOKUS, Kompetezzetrum SQC (ehemals MOTION). Sei Forschugsschwerpukt liegt vor allem im Bereich modell-/aforderugsbasiertes Teste uter Verwedug der Stadards UML, UTP ud TTCN-3. Marc-Floria Wedlad ist i verschiedee Stadardisierugsiitiative rud um das modellbasierte Teste ivolviert. Er leitet die UTP-Arbeitsgruppe der OMG ud ist maßgeblich am Etwurf des UTP 2 beteiligt. Bei der ETSI arbeitet er am Stadard Test Descriptio Laguage (TDL). Teststadardfamilie Eiblick i de ISO Software Testig Stadard Bereits seit Mitte 2013 sid die erste Teile der eue Software Testig-Stadardfamilie ISO verfügbar. Not yet aother testig stadard, mag ma im erste Momet deke. I Abetracht der Vielzahl verfügbarer testrelevater Idustriestadards ist dieser Gedake durchaus achvollziehbar. ISO ist jedoch eher itegrativer Natur, der eiige bis dato gültige atioale ud iteratioale Stadards zusammeführt ud daher der Übersichtlichkeit der Stadardladschaft im Bereich des Softwaretestes diet. Dieser Artikel versteht sich als Eiführug i ISO ud bietet eie grobe Überblick über seie Kerkozepte. Eiführug Die vo der Software Testig- Stadardfamilie ISO ) abgelöste beziehugsweise itegrierte Stadards sid: IEEE Test Documetatio [IEEE829] IEEE 1008 Uit Testig [IEEE1008] BS Vocabulary of Terms i Software Testig [BS7925-1] BS Software Compoet Testig Stadard [BS7925-2] Iteressat dabei ist, dass die beide abgelöste britische Stadards (BS 7925) auch maßgeblich i de ISTQB-Lehrpla [ISTQB] für Certified Tester -Aus - bildugsprogramme eigeflosse sid. Dadurch ist bis zu eiem gewisse Grad sichergestellt, dass ISO ud der ISTQB-Lehrpla sich ihaltlich überlappe, obgleich erwäht werde muss, dass es vor allem i der Termiologie mituter sigifikate Uterschiede gibt. Methodisch 1 ) Mit vollem Name ISO/IEC/IEEE Software Testig The iteratioal testig stadard. Weitere Iformatioe sowie Iformatioe zum Status des Stadards auf [ISO29119]. ud hisichtlich der Testprozessschritte ud Testdokumetatiosformate ähel sich ISO ud ISTQB jedoch sehr. Dies ist sicherlich eie wichtige Eigeschaft für eie breite Akzeptaz vo ISO 29119, de seit mehr als eiem Jahrzeht werde idustrielle Softwaretester ach ISTQB ausgebildet. Ei radikaler Neuafag seites ISO wäre sicherlich icht vo Erfolg gekröt. Die ISO Stadardfamilie gliedert sich i füf Teile: ISO Kozepte ud Defii - tioe : Dieser Teil behadelt die stadardweite Nomeklatur ud eiige ausgewählte Theme, die für das Teste vo software-itesive Systeme relevat sid, wie etwa die allgemeie Rolle, die ei Testprozess ierhalb der V&V-Prozesse eies Uterehmes/ Pro jekts iehat, risikobasiertes Teste oder auch Testautomatio. Bemer kes - wert ist, dass ISO sich auch dem modellbasierte Teste widmet. Er steht damit i eier Reihe vo kürzlich veröffetlichte oder aktualisierte Stadards (etwa ISO/IEC [ISO61508], ISO [ISO26262], DO-178C [DO178C], isqi CMBT [CMBT]), die die Awedug vo mo - dellbasierte Techike zu Test zwe - cke propagiert. ISO Testprozesse : Dieser Teil beschreibt detailliert die Struk - ture, Kommuikatioswege ud Schittstelle der verschiedee Ebe - e eies Testprozesses. Er ist das Herzstück vo ISO ud wird daher i diesem Artikel geauer utersucht. ISO Testdokumetatio : Dieser Teil setzt auf Teil 2 auf ud beschreibt Struktur ud Ihalte der dort erwähte techische Doku - mete ud Fortschritts- ud Ab - schlussreports. Der erst 2008 ereuerte Stadard für die Dokumetatio vo Testkozepte IEEE ( IEEE Stadard for Software ad System Test Documetatio ) ist vollstädig i diesem Teil aufgegage. ISO Testetwurfsverfahre : Teil 4 befasst sich mit allgemei aerkate Testetwurfsverfahre. Damit ist ISO 29119, ebe dem ISTQB-Lehr - pla, ei zetraler Stadard, der sich mit der Stadardisierug vo Testet - wurfsverfahre befasst. Im Gegesatz zu ISTQB geht ISO jedoch 1

2 Olie-Themespecial Testig 2014 fachartikel soweit, dass er die Testetwurfs ver - fahre hisichtlich ihrer Test abdeckug charakterisiert. Wir werde diese wichtige Aspekt des Testetwurfs des Teils 4 i diesem Artikel geauer beleuchtet. Für die Veröffetlichug vo Teil 4 steht och kei Termi fest. ISO Keyword-Drive Tes - tig : Obgleich das schlüsselwortgetriebee Teste seit viele Jahre i der Idustrie agekomme ist, seit viele Jahre i Bücher beschriebe ist ([FeGr99], [SeBaBu11]), zahlreiche (kommerzielle ud Ope-Source-) Werkzeuge zur Verfügug stehe ud sogar mit der vo der ETSI stadardisierte Testsprache Testig ad Test Cotrol Notatio 3 [TTCN-3] bereits eie techische Stadard vorweise ka, immt sich ISO erstmals des schlüsselwortgetriebee Testes auf kozeptueller Basis a ud defiiert eie eiheitliche Termiologie. Auch Teil 5 befidet sich och i Arbeit. Abb. 1: Der mehrstufige Testprozess ach ISO Währed die erste drei Teile durch die Fokussierug auf Struktur ud Schitt - stelle der Testprozesse aufeiader aufbaue ud auch das Herzstück für die Plaug ud Durchführug vo Software - testprozesse bilde, sid die Teile 4 ud 5 autark ud repräsetiere gewissermaße Zusatziformatioe zu allgemei aerkate Testverfahre beziehugsweise Testtechologie. Dies erklärt auch, warum die Teil 4 ud 5 zu eiem spätere Zeitpukt veröffetlicht werde. ISO ist ei typischer kozeptueller Stadard, der sich auf Software Testigrelevate Kozepte ud Prozesse kozetriert, dere Umsetzug aber bewusst offe lässt. Dadurch ist sichergestellt, dass ei mit Papier ud Bleistift realisierter Testprozess we ma Aspekte wie Kosistez ud Effiziez außer Acht lässt im Prizip geauso koform ist wie ei Testprozess, der mit eiem solide Test - maagemetwerkzeug realisiert wurde. Zudem ist ISO bracheuabhägig. Eie weitere wichtige Voraussetzug für eie breite Akzeptaz. Obgleich die Offeheit hisichtlich Umsetzug ud Awedugsbrache bewusst gewählt ist, birgt sie auch Nachteile. Sowohl die prozessspezifische, techische Umsetzug als auch die Itegratio mit etwaige zu berücksichtige brachespezifische Sta - dards (etwa Do-178 aus dem Luft - fahrtbereich oder EN [EN50128] aus dem Bahbereich) müsse gut geplat ud kosistet realisiert werde. Eie icht triviale Aufgabe. ISO leistet i dieser Hisicht keie große Hilfe das ist aber auch icht seie Aufgabe. Im Folgede werde zuächst die Strukture ud Schittstelle der ISO Testprozesse diskutiert. Dieser Abschitt umfasst mehr oder weiger die erste drei Teile der Stadardfamilie. Der achfolgede Abschitt widmet sich de Testetwurfsverfahre. Relevate ISO Begriffe werde i diesem Artikel kosequet deutsch geschriebe, i Klammer folgt stets das eglische Äquivalet. Der Stadard -Testprozess Der zetrale Bestadteil der ISO Familie ist Teil 2 Test Processes. Hier wird der Stadard -koforme Testprozess defiiert. ISO beschreibt eie dreistufige Testprozess (siehe Abbildug 1), der sich i orgaisatioseiheitsspezifische 2 ), projektspezifische ud dyamische Prozesse uterteilt. Diese hierarchische Struktur ist bereits aus dem ISTQB-Lehrpla bekat, 1 ) Auch we ISO explizit vo ur eiem moolithische Orgaizatioal Test Process spricht, so ist dieser Prozess eher rekursiv zu verstehe, da Etscheiduge i eier höhere Orgaisatios - eiheit vo iedere Orgaisatioseiheite durchaus verfeiert werde köe. wegleich ISTQB ur zwei Ebee explizit uterscheidet. I Ergäzug defiiert ISO die Überwachug ud Pflege der Teststrategie. Ziel des orgaisatioseiheitsspezifische Testprozesses ist es, allgemei gültige Testrichtliie (test policy) ud Test - strategie (test strategy) für de Gültigkeitsbereich der Orgaisatios - eiheit (ud ihrer potezielle Uterei - heite) festzulege. Testrichtliie ud Teststrategie werde als techische Doku - mete verstade, die festhalte, wie Testprozesse geerell ierhalb der Orgai - satioseiheit ausgeführt werde solle. Es liegt im Aufgabebereich des orgaisatioseiheitsspezifische Test ma agemets (auch höheres Testmaa ge met geat) zu überwache, dass die Vorgabe vo Testrichtliie ud Teststrategie eigehalte ud gelebt werde. Feedback sollte, sofer kostruktiv ud zielführed, dazu führe, dass sowohl Testrichtliie als auch -strategie stets aktuell gehalte ud schrittweise optimiert werde. Die zweite Stufe beschreibt das Maage - met eies kokrete Testprojektes. Die i Testrichtliie ud Teststrategie allgemei defiierte Grudsätze, Ziele, Methode usw. müsse u auf kokrete Methode ud Verfahre herutergebroche werde. Festgehalte werde diese Etscheiduge i dem sogeate Testkozept (test pla). Für ei kokretes Projekt muss das Olie-Themespecial Testig

3 fachartikel Abb. 2: Zerlegug eies projektspezifische Testprozesses i Uterprozesse projektspezifische Testmaagemet etscheide, wie die Vorgabe der übergeordete Orgaisatioseiheit umzusetze sid. Geauso wie Etwicklugsprojekte uterschiedlich verlaufe, ist es logisch, dass auch die Testkozepte zu diese Projekte variiere, obgleich sie koform zur selbe Teststrategie sid. Beispiels - weise köte die allgemeie Teststrategie forder, dass der Testetwurf stets risikogetriebe durchgeführt werde muss. Das jeweilige Testmaagemet muss u auf Basis der Faktelage festlege, wie die Forderug ach eier risikogetriebee Testvor gehes weise (test practice) kokret umgesetzt wird. Das projektspezifische Testmaagemet iteragiert sowohl mit dem übergeordete orgaisatioseiheitsspezifische Test - maagemet als auch mit de eizele sogeate dyamische Testprozesse des projektspezifische Testprozesses (siehe Abbildug 1). Währed ach obe vor allem Erfahrugswerte kommuiziert werde mit dem Ziel, die orgaisatiosspezifische Testrichtliie ud -strategie zu optimiere, wird ach ute isbesodere kotrolliered ud steuerd eigegriffe. ISO fasst die Aktivitäte eies projektspezifische Testmaagemet pro - zesses wie folgt zusamme (siehe Ab bil - dug 3): Testplaug: I der Testplaug geht es darum, de Kotext der testrelevate Aktivitäte zu idetifiziere ud zu aalysiere. Basiered auf dieser Aalyse werde da wichtige Et scheiduge getroffe, wie etwa die Beschaffug des otwedige Perso als, die grobe Zeitplaug, Umgag mit Risiko - iformatioe (hier wird deutlich, dass ISO die Be rücksichtigug vo Risiko als dogmatisches Kozept verierlicht) oder die kokrete Umsetzug der übergeordete Teststrategie. Ergebis dieser Überleguge ist wiederum ei techisches Dokumet: das Testkozept (test pla). Testkozepte köe hierarchisch i sogeate Stufetestkozepte (level test pla) dekompoiert werde, um de Problembereich i überschaubarere Stücke zu zerlege (siehe Abbildug 2). Nach welche Kriterie diese Zer legug vorgeomme werde muss, ist icht vorgeschriebe. ISO empfiehlt jedoch die Zerlegug ach Teststufe (test level) ud/oder Testarte (test type). Teststufe werde gemeihi ach de Abb. 3: Aktivitäte des projektspezifische Testmaagemets ach ISO Greze des zu testede Systems (test item) bezeichet. ISO defiiert die Teststufe Kompoete-, Ite - gratios-, System- ud Abahmetest. Uter Testarte versteht ma die Uterteilug der Testaktivitäte ach Qualitätsmerk male. Eie gute ud vo ISO verwedete Referez ist der Stadard ISO [ISO25010]. Ab - bildug 2 weist jedoch zwei Schwäche auf: Zum eie lasse sich Stufe - testkozepte icht ereut dekompoiere, zum adere muss ei Stufe - testkozept zwiged etweder ach Teststufe oder ach Testart klassifiziert werde. Eie Zerlegug i Form eies fuktioale Systemtestkozepts ist somit ausgeschlosse. Beide Eischrä - kuge sid ach Asicht des Autors zu restriktiv. Testüberwachug ud Teststeuerug: Im Wesetliche wird hier die Ei - haltug der jeweils festgesetzte (Stu- fe-)testkozepte überwacht. Darüber hiaus wird reguliered i de Test - prozess eigegriffe. Eie effiziete Regulierug beziehugsweise Steu - erug beötigt jedoch ausreiched Iformatioe aus de dyamische Testprozesse i Form vo Messuge. Testabschluss: I dieser abschließede Phase geht es vorragig darum, die Testarbeite sauber zu beede ud der Nachwelt eie strukturierte ud gut dokumetierte Testware zu hiterlasse. Dazu zählt die Archivierug der Testspezifikatioe ud Testumge - buge, aber auch die Koservierug vo Best practices ud Lessos leart, um eie stete Verbesserug der Testprozesse zu erreiche. Die kostruktive Testarbeit (also der Test - etwurf, die Durchführug ud das Kommuiziere vo Abweichuge) wird i ISO uter dem Begriff Dyamischer Testprozess (dyamic test process) zusammegefasst. Hier spiegelt sich der Begriff des dyamische Testes wider, welches die Ausführug des zu testede Systems (test item) verlagt. Der dyamische Testprozess ähelt stark dem fudametale Testprozess des ISTQB ud besteht aus folgede Phase (siehe Abbildug 4): Testetwurf & -realisierug: Grud - legede Aufgabe für jede dyamische Testprozess ist die Aalyse der Test - 3

4 Olie-Themespecial Testig 2014 fachartikel Abb. 4: Der dyamische Testprozess ach ISO basis. Uter dem Begriff Testbasis (test basis) werde alle Iformatioe zu - sammegefasst, die für de Testetwurf hilfreich sid. I ISTQB wird daher vor dem Testetwurf och eie Testaa - lyse phase vorweggeomme, die aber i ISO fehlt beziehugsweise i die Phase Testetwurf itegriert ist (kei Etwurf ohe Aalyse). Die gewoee Erketisse werde für das gewählte Testetwurfsverfahre (test desig techique) aufbereitet, aus welchem da die Testfälle abgeleitet ud für die techische Zielplattform des zu testede Systems realisiert werde. Aufsetze ud Pflege der Testum - gebug: Es wird sichergestellt, dass die für die Ausführug beötigte Test - umgebug (test eviromet) bereitsteht ud für die Dauer des dyamische Testprozesses verfügbar ud fuktioal bleibt. Testausführug: Ausführug der Test - fälle gege das zu testede System. Kommuiziere vo Abweichuge: Abweichuge (Deviatio), die währed der Testausführug aufgezeichet wurde ud sich icht als Fehler im Testfall oder Testumgebug herausgestellt habe, sid sowohl a das Test - maagemet als auch die Etwickler zu kommuiziere. Die iitiale Aalyse eier mögliche Ursache (Testfall, Testumgebug, System) vo Ab wei - chuge obliegt dem Tester. Zwische de jeweilige Aktore der drei Testprozessstufe sollte ei kotiuierlicher Kommuikatiosfluss herrsche. Formal defiiert ISO für diese Zweck eie Mege vo Reports ud Messuge, dere Struktur ud Ihalt Bestadteil vo ISO sid. Auch we der direkte Iformatiosaustausch zwische de Mitarbeite icht explizit erwäht wird, so muss gesagt werde, dass zwischemeschliche Kommuikatio atürlich uterstützt werde sollte. Geht es jedoch um de formale Abschluss beziehugsweise das Kommuiziere hadfester Fakte, ist es drigedst zu empfehle, dies i Form vo geduldige Dokumete zu erledige. Die Stadard - Testetwurfsverfahre Mit dem och icht veröffetlichte Teil 4 Testetwurfsverfahre stadardisiert ISO eie Mege allgemei bekater Testetwurfsverfahre, die auch zu große Teile vom ISTQB-Lehrpla geschult werde. ISO gliedert die Testet - wurfsverfahre i drei Kategorie: spezifikatios-, struktur- ud erfahrugsbasierte Testetwurfsverfahre. Zu de spezifikatiosorietierte Etwurfsverfahre gehöre Äquivalezklasse, Grezwertaalyse, Etscheidugstabelle, Zustadsmaschie usw. Die strukturbasierte Etwurfs - verfahre sid im Wesetliche durch die bekate kotrollfluss- ud datefluss - orietierte Verfahre beschriebe. Wegleich scho die Neug dieser Verfahre i eiem iteratioale Stadard ei echter Mehrwert ist, geht ISO och weiter ud beschreibt sowohl die Vorgehesweise der Awedug als auch die Mächtigkeit der Verfahre bezüglich ihrer Abdeckug. Zu diesem Zweck wird das Kozept des Testabdeckugs - elemets (test coverage item) explizit eigeführt, um das Ergebis eies Testet - wurfsverfahres uabhägig vo dem Format des später resultierede Testfalls erfasse ud auswerte zu köe. Ei Testabdeckugs elemet ist defiiert als Merkmal eier Testbedigug oder Testaforderug (test coditio/test requiremet), welches währed eies Tests abgedeckt werde ka. Für die Ableitug vo Testabdeckugs elemete wird ei Testmodell 3 ) (test model) beötigt, auf welchem mauelle oder automatisierte Testetwurfsverfahre agewedet werde. Das Zusammespiel zwische Testet - wurfsverfahre, Testmodell ud Testabde - ckugselemet ist i Abbildug 5 i Form eies kozeptuelle Modells zusammegefasst. Hier wird uter aderem ersichtlich, 3 ) Hiermit ist icht zwiged ei (semi-)formales Modell gemeit, wie es etwa im modellbasierte Teste verwedet wird. Sowohl ISO als auch ISTQB verstehe im Allgemeie uter eiem Testmodell eie Basis, auf der Testfälle etworfe werde. Ist diese Basis eie Etscheidugstabelle auf eiem Blatt Papier, so spricht ma hier deoch vo eiem Testmodell. Um Missverstädisse vorzubeuge, wurde beispielsweise im UML Testig Profile v2 [UTP2] der Begriff des Testetwurfsmodells eigeführt, welches die Sematik des ISO oder ISTQB-Kozeptes Testmodell iehat. Abb. 5: Kozeptuelles Modell für de Testetwurf gemäß ISO Olie-Themespecial Testig

5 Fazit I diesem Artikel habe wir us der eue Software Testig-Stadardfamilie ISO gewidmet, ihre eizele Teile hervorgehobe ud die Keraspekte wie die vo ISO defiierte Testprozesse ud Dokumetstrukture ausführlicher behadelt. Dabei ist deutlich geworde, dass ISO eie gewisse Kompa tibilität zu Testprozesse aderer Stadards wahrt etwa zum fudametale Test prozess des ISTQB-Lehrplas. Abweichu ge im Detail sid dabei icht wegzudiskutiere. Im Große ud Gaze darf sich die Idustrie darauf verlasse, dass eie Umstellug auf ISO icht allzu große Äderuge a de Prozesse verlagt, sofer dieser Testprozess sauber strukturiert ist ud sich bestefalls ach ISTQB richtet. Eie sigifikate Neuerug brigt ISO bei der Defiitio vo Testet - wurfsverfahre ud ihrer Mächtigkeit hifachartikel dass die Wahl des Testmodells zum Testet - wurfs ver fahre passe muss. Es wäre weig effiziet, eie Etscheidugstabelle azuwede mit dem Ziel, eie bestimmte Aweisugsab deckug zu erreiche. Die zu verwedede Testetwurfsverfahre sid gemeihi jedoch vo der projektspezifische Teststrategie vorgegebe ud diese wird wiederum vo der jeweils geltede Testbasis beeiflusst. Die wohl auffälligste Neuerug i ISO ist, dass ei Testetwurfsverfahre zuächst Testabde - ckugs elemete produziert. Um vo eier Mege a Testabdeckugselemete (die auf ihre Art wieder sehr abstrakt sei köe) zu eiem Testfall zu komme, bedarf es meist och weiterer Apassuge oder Ergäzuge, die jedoch vo ISO icht beschriebe sid. Auch hier spiegelt sich die offee Natur des Stadards wider. Um diese Lücke zu schließe, wurde beispielsweise das i Abbildug 5 gegebee kozeptuelle Modell aus de Defiitioe vo ISO im Rahme des EU-MIDAS- Projekts [MIDAS] abgeleitet ud uter aderem für die Ereuerug des UML Testig Profils [UTP2] verwedet. Es ist icht Bestadteil vo ISO per se. sichtlich der Testabdeckug. Dazu wurde das Kozept des Testabdeckugselemets eigeführt, welches durch Testetwurfs ver - fahre aus Test(etwurfs)modelle abgeleitet wird ud als ei Zwischeschritt für die Ableitug vo Testfälle diet. Dieses Zwischeformat erlaubt die gesoderte Betrachtug ud Verarbeitug vo abgeleitete Elemete uabhägig vom schluss - edliche Format der Testfallspezifi ka - tioe. Als kozeptueller Stadard schreibt ISO icht vor, wie diese Testab - deckugselemete dargestellt werde. Dies muss vo kokrete ISO koforme Testprozesse gemäß der ivolvierte Werkzeugladschaft etschiede werde. Literatur & Liks Adere Stadardisierugsiitiative, wie etwa die UML Testig Profile-Arbeits - gruppe (UTP) der OMG, habe ISO mittlerweile adressiert. Im Rahme der UTP 2-Stadardisierugsarbeite sid beispielsweise große Teile des kozeptuelle Modells ud der Termiologie vo ISO i die Modellierugssprache UTP 2 [UTP2] eigeflosse. Dazu zählt vor allem das hier vorgestellte kozeptuelle Modell der Testetwurfsverfahre. Es ist zu erwarte, dass ISO i Zukuft a Be deu - tug gewie wird ud idustrielle Software Testig-Prozesse sich mehr ud mehr ach ISO richte werde. [BS7925-1] British Stadards Istitutio: BS , Vocabulary of terms i software testig [BS7925-2] British Stadards Istitutio: BS , Software compoet testig [CMBT] Certified Model-Based Tester, Mai 2014, siehe: [DO178C] RTCA/DO-178C, Software Cosideratios i Airbore Systems ad Equipmet Certificatio [EN50128] CENELEC/EN 50128, Railway Applicatios Software for railway cotrol ad protectio systems [FeGr99] M. Fewster, D. Graham, Software Test Automatio, Addiso-Wesley Pub Co Ic, 1999 [IEEE1008] IEEE Stadards Associatio: IEEE Stadard for Software Uit Testig, 1987 [IEEE829] IEEE Stadards Associatio: IEEE Recommeded Practice for Software Requiremets Specificatios, 2008 [ISO25010] Iteratioal Orgaisatio for Stadardisatio: ISO/IEC 25010, Systems ad software egieerig Systems ad software Quality Requiremets ad Evaluatio (SQuaRE) System ad software quality models [ISO26262] Iteratioal Orgaisatio for Stadardisatio: ISO/IEC 26262, Road vehicles - Fuctioal safety [ISO29119] Iteratioal Orgaisatio for Stadardisatio: ISO/IEC 29119, Software Testig Stadard, siehe: [ISO61508] Iteratioal Orgaisatio for Stadardisatio: ISO/IEC 61508, Fuctioal Safety of Electrical/Electroic/Programmable Electroic Safety-related Systems [ISTQB] Iteratioal Software Testig Qualificatios Board: ISTQB/GTB stadard glossary for testig terms, siehe: [MIDAS] EU-MIDAS-Projekt, siehe: [SeBaBu11] R. Seidl, M. Baumgarter, Th. Bucsics, Basiswisse Testautomatisierug, Dpukt Verlag, 2011 [TTCN-3] Testig ad Test Cotrol Notatio Versio 3, siehe: [UTP2] Object Maagemet Group (OMG): UML Testig Profile 2, Iitial Submissio, Doc#: ad/ ,