Rational SDL Suite

Beschreibung typischer Szenarien mit einer Visual Trace-Sprache

• Automatisch generierte MSCs dienen als wichtiges grafisches Trace-Tool bei der Simulation eines Systems, das in SDL spezifiziert wurde.
• Mit SDL Explorer lässt sich ein MSC anhand Ihres SDL-Systems testen. Sie können erkennen, ob Ihr MSC ein mögliches Verhalten in Ihrem System beschreibt.
• Mit High-Level Message Sequence Charts (HMSCs) können Sie Hierarchien von MSCs erstellen.
• Statt verschiedene MSCs für Situationen zu erstellen, in denen sich zwei Fälle durch nur eine einzige Bedingung unterscheiden, können Sie ein HMSC erzeugen, das Alternativpfade beschreibt.

Simulation für den Konzeptnachweis

• Die Verifizierung erfolgt über statische Analyse und eine automatische, umfassende Untersuchung der SDL-Spezifikation und des gesamten eingeschlossenen C-Codes.
• Rational SDL Suite testet alle möglichen Ausführungspfade des SDL-Systems. Dazu gehört die Prüfung von Regeln und die Dokumentation von Regelverstößen wie Deadlocks, Schleifen und überschrittene Warteschlangenlängen. Die Ergebnisse der Verifizierung werden in einer leicht verständlichen Baumstrukturansicht dargestellt.

• In der Validierungsphase bestätigen Sie, dass das System genau wie vorgesehen funktioniert. Sie können die Simulation im Batch- oder interaktiven Modus über eine grafische Benutzerschnittstelle durchführen. Die Verbindung mit einem weiteren SDL-System oder einer TTCN-Testsuite ist möglich. Der Fortschritt der Simulation lässt sich grafisch überwachen und Sie haben die Möglichkeit, nach Bedarf Unterbrechungspunkte zu setzen.
• Das Validierungstool kann verifizieren, ob ein SDL-System mit einem MSC-Anwendungsfall konsistent ist, indem es prüft, ob es einen möglichen Ausführungspfad gibt, der dem MSC entspricht. So lässt sich Ihr Systemverhalten mit einer Anforderungsspezifikation abgleichen.

Möglichkeit für frühes Feedback der Projektbeteiligten

• Rational SDL Suite MSC to SDL Synthesizer setzt leicht verständliche, formalisierte Anwendungsfallszenarien automatisch in vollständige Softwaresysteme um. Sie können mithilfe der integrierten Funktionen von Rational SDL Suite simuliert und validiert werden.
• Rational SDL Suite MSC to SDL Synthesizer nutzt die Szenariosprache als Eingabe für den Modellierungsprozess und setzt Szenarien automatisch in ausführbare Zustandsmaschinen um.
• Rational SDL Suite MSC to SDL Synthesizer kann verwendet werden, um Modelle Ihres Systems zu validieren, damit falsche Entscheidungen aufgrund von unvollständigen oder unrichtigen Anforderungen vermieden werden.

Generierung von ausführbarem Code ohne Schreiben einer einzigen Zeile

• Der SDL-Compiler übersetzt automatisch von SDL in C/C++-Umgebungen. Er nutzt sowohl bei der Simulation als auch in Anwendungen genau denselben generierten C-Code. Damit wird Konsistenz zwischen dem getesteten System und seiner Implementierung sichergestellt.
• Rational SDL Suite bietet zwei SDL-Compiler. Der erste ist ein unbegrenzter C-Code-Generator, der die Generierung von ausführbarem Code beliebiger Art unterstützt. Der zweite ist für kleinere eingebettete Systeme optimiert, für die Codeeffizienz, minimaler Speicherbedarf und hohe Leistung ausschlaggebend sind.

Integration in Ihre Zielumgebung

• Die SDL-Compiler umfassen Laufzeitbibliotheken im Quellcode. Sie ermöglichen die Entwicklung portierbarer Anwendungen, die sich auf beliebigen Maschinen mit einem passenden C-Compiler ausführen lassen.
• Sie können dieselbe SDL-Struktur an verschiedene Architekturen anpassen – einfach durch die Auswahl der entsprechenden Vorlage. Wählen Sie zwischen Monotasking-, Multitasking- oder verteilten Systemen, z. B. Common Object Request Broker Architecture (CORBA).
• Durch die Einstellung der Zielparameter in Targeting Expert können Sie die Integration und die Kompilation Ihres Systems vereinfachen.
• Die Kommunikation mit der Umgebung wird durch ein allgemeines, offenes Framework für ASN.1-basierte Ver- und Entschlüsselung flexibel. Dieses Framework kann Verbindungen mit der Umgebung automatisch generieren.