Uwe Kaiser

The SOAMIG Process Model in Industrial Applications

The SOAMIG Project aims at a general migration process model with an emphasis on transformation-based conversion. The SOAMIG Process Model is divided into several phases and disciplines, which describe and organize general migration activities. The process is applied in two industrial software migration projects addressing architecture and code migration.

Test der semantischen Äquivalenz von Translatoren am Beispiel von CoJaC

Im Rahmen des SOAMIG-Projektes1 wurde u.a. der Translator CoJaC (COBOL to Java Converter) entwickelt. Entwicklungsziele von CoJaC waren, performanten und zum COBOL-Code semantisch aquivalenten Java-Code zu generieren. Der vorliegende Beitrag beschreibt die Testmethodik zum Nachweis dieser semantischen Aquivalenz. 1 CoJaC COBOL to Java Converter CoJaC konvertiert ein vollstandiges COBOL-Programm (Hauptprogramm und Copybooks) in ein semantisch aquivalentes Java-Programm. CoJaC besteht aus einer Menge unabhangiger Werkzeuge, welche ihre Ergebnisse uber Schnittstellen austauschen. Eine detaillierte Beschreibung von CoJaC liefert [1]. Eine fur die Beschreibung der Testmethodik vereinfachte Darstellung der Architektur zeigt die nachfolgende Abbildung: Ein COBOL-Frontend realisiert die aus dem Compilerbau bekannten Funktionen des Praprozessors, des Scanners und des Parsers. Der entstehende COBOL-Syntaxgraph wird in eine XML-Reprasentation serialisiert. Die XMLSchnittstelle entspricht einem definierten XSD-Schema (COBOL-XSD). Diese Reprasentation wurde gewahlt, um die Interoperabilitat verschiedener Migrationswerkzeuge der Firma pro et con zu gewahrleisten. Das generierte COBOL-XML fungiert als Eingabe fur ein weiteres Werkzeug (Transformator), welches auf Basis einer vorgegebenen Abbildungsbeschreibung eine model-to-modelTransformation aus dem COBOL-Syntaxgraphen in einen oder mehrere Java-Syntaxgraphen ausfuhrt. Dieser JavaSyntaxgraph wird in Form einer serialisierten XMLDatei (Java-XML) dem Java-Backend zugefuhrt, welches aus dem Java-Generator und dem Java-Formatierer besteht. Ergebnis des Konvertierungsprozesses ist ein JavaProgramm, das in seiner Funktionalitat dem originalen COBOL-Programm entsprechen sollte. Zur Ausfuhrung nutzen die generierten Java-Programme ein Laufzeitsystem. Dieses stellt Bibliotheksfunktionen fur COBOLAnweisungen und -Daten bereit, fur die es in Java keine Entsprechung gibt. 2 Testmethode und Testabdeckung COBOL besitzt die Eigenschaft, dass zu jeder syntaktischen Einheit (Anweisung, Datendefinition, ...) mehrere, zum Teil optionale Klauseln angegeben werden konnen. Diese sind in verschiedensten Kombinationen in kommerziellen Programmen enhalten. Deshalb wurde fur jede mogliche Kombination von Anweisungen und Klauseln ein minimales Testprogramm (im Weiteren Testfall) erstellt, welches nur eine Variante der Anweisung sowie dafur notwendige Datendefinitionen enthalt. Die systematische Spezifikation dieser Testfalle erfolgte anhand einer COBOL-Grammatik, welche dem aktuellen ANSI-85Standard entspricht. Das folgende Listing enthalt eine abgeschlossene Regel aus der COBOL-Grammatik fur eine DISPLAY-Anweisung: stmt = DISPLAY id_lit {id_lit} upon; id_lit= ident | literal; upon = [UPON name | env] [NO ADVANCING]; Die alternativen Klauseln (UPON, NO ADVANCING, ...) sind ersichtlich. Aus dieser Regel lassen sich u.a. die folgenden Testfalle systematisch ableiten: