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

Generating Software from Specifications WS 2013/14 - Solution 9

Solution for Exercise 24

For the solution of this exercise inspect the directory blatt9/solution:

  1. The file QualNamesSol.fw contains a specification where explanations are added.
  2. The directory Test contains a little test suite with test cases which exhibit missing dependences in three parts of the specification:
    • There are no messages on multiple declarations.
    • Uses of field names which are defined cause messages ("undefined").
    • Messages are missing on assignments, that have incompatible types.
    In each case the reason is missing dependences between all operations which set a property, and those operations which read that property (Unique, Scope, Type). In each case the solution needs a dependence pattern as shown on slide GSS-4.3.
It may be helpful to reuse the structure and the scripts of the test suite for the development of the project.

Solution for Exercise 25

No solution is provided for this exercise.

Solution for Exercise 26

No solution is provided for this exercise.

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