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:

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.