Zum modellbasierten funktionalen Test reaktiver Systeme

2.3. Modelle und Modellbasierung
PSOVerifyDigSig(SigCA)
Modell
ResVerifyDigSig(
KeyPubCA,
DigCA, SigCA)
Konkretisierung
Konfig.−
datei
Vergleich
81 2A 00 A8 83 9E 81
+ Signatur der CA
Karte
90 00
Statt einer konkreten zu erwartenden Antwort liefert das Kartenmodell
eine symbolische Antwort mit allen zur Überprüfung der Signatur nötigen
Parametern. Auf die abstrakte Eingabe PSOVerifyDigSig(SigCA) wird die
abstrakte Antwort ResVerifyDigSig(KeyPubCA, DigCA, SigCA) geliefert:
der öffentliche Schlüssel der Zertifizierungsbehörde, der Digest und die
Signatur. Die ersten beiden Parameter wurden mit vorangehenden Kommandos
gesetzt.
Für die Codegenerierung eines Zufallszahlengenerators beispielsweise ist das
Modell offenbar ungeeignet. Für die Testfallgenerierung hingegen ist es geeignet
und kann auch als ausführbare Schnittstellenspezifikation aufgefaßt werden.
2.3.3. Zusammenfassung Modellbasierung
Modellbasierte Entwicklung und modellbasiertes Testen beruhen auf der Verwendung
abstrakter Sprachen zur Formalisierung von Sachverhalten. Diese Sprachen
sollen
• domänenspezifisch sein, um
– einerseits die relevanten Zusammenhänge einer Domäne konzise ausdrücken
zu können und
– andererseits die Vorteile eingeschränkter Beschreibungsmittel in bezug
auf ihre Analysierbarkeit ausnutzen zu können,
• soweit das möglich ist, die separate und integrierbare Beschreibung unterschiedlicher
Aspekte eines Systems ermöglichen, und die Sprachen sollen
• die Formalisierung und Integration verschiedener Abstraktionsstufen der
einzelnen Aspekte erlauben, um im Sinne einer – mathematisch nicht
unbedingt zu präzisierenden – schrittweisen Verfeinerung der Komplexität
Herr werden zu können.
Das zentrale Problem ist der Wunsch, gleichzeitig abstrakt und zu verschiedenen
Zwecken – Testfallgenerierung, Codeerzeugung – hinreichend präzise zu sein.
In diesem Abschnitt wurden bewußt eher Anforderungen als Lösungen formuliert.
Die Suche nach geeigneten Modellierungssprachen mit Werkzeugunterstützung
bedarf weitergehender Anstrengungen. Der über den Einsatz von
53