MSC2C Test Code Generator
Mit MSC2C werden Testtreiber aus ITU Z.120-konformen Message Sequence Charts („MSCs“) erzeugt. Die Testtreiber liegen als ANSI-konformer C-Code vor, der von jedem der üblichen C-Compiler übersetzt werden kann. Die Treiber stimulieren über Stubs Software- oder Hardwarekomponenten und zeichnen Stimulus wie auch die Antwort der Komponenten in einer Protokolldatei auf. Die Protokolldatei kann wiederum als MSC dargestellt werden.
Näheres zu MSC2C findet sich in der einführenden Präsentation oder im User Manual. Haben Sie Interesse an dem Werkzeug? Probieren Sie es doch einfach aus!
AutoFocus
Die Validas ist, zusammen mit der TU München, maßgeblich an der Entwicklung des frei verfügbaren CASE-Tools AutoFocus beteiligt. Hier finden Sie nähere Informationen zu diesem Tool:
- Die AutoFocus Home Page am Lehrstuhl für Software & Systems Engineering; von dort können Sie auch das Tool selbst herunterladen.
- Eine allgemeine Einführung in AutoFocus
- Ein leicht verständliches Tutorial
Support
Für weitergehende Fragen zu AutoFocus gibt es eine (zugangsbeschränkte) Support-Seite.
Publikationen
Auch einige der Publikationen der Validas AG und unserer Mitarbeiter sind online verfügbar. Sie dokumentieren unsere Arbeiten im Forschungsumfeld.