Universität Paderborn - Home Universität Paderborn
Die Universität der Informationsgesellschaft

Generating Software from Specifications WS 2013/14 - File README

This directory contains a test suite for a DSL compiler.
There are two subdirectories conform and deviate.

The directory conform contains correct programs.
The script checkcon executes the following steps for each
xxx.dsl program in the directory conform:
- execute the compiler DSL.fw.exe in the directory above Test,
- check that no messages are given,
To insert a new test case one has to add only the DSL file
  yyy.dsl

The directory deviate contains erroneous DSL programs.
The script checkdev executes the following steps for each
xxx.dsl program in the directory deviate:
- execute the compiler DSL.fw.exe in the directory above Test,
- compare the given messages with the expected messages
  in the file xxx.dsl.cmp.
  Each message line in that file has the format
  "./xxx.dsl", line 3:7 ERROR: Syntax error
To insert a new test case one has to add two files
  yyy.dsl, yyy.dsl.cmp

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 08.01.2014