Forschungsthemen
[BA] Feature Interaction of JastAdd configurations
JastAdd is a Reference Attribute Grammar tool taking a grammar and a set of attribute specifications as input, and produces Java code adhering to the input specification.
There are various configuration options to enable or disable features of the generated code, or to change and parameterize the behaviour of the generated code.
Some of the configuration options are just boolean values, others are an enumeration choice, and a few are numbers.
Some of the configuration options imply others, some are known to be in conflict with each other.
However, there is no structured description of their interaction, nor are there enough tests to cover all possible combinations of configuration choices.
Hence, there might be invalid or poor choices of configurations leading to syntactically invalid code or misbehaving code, respectively.
The goals of this thesis are the following:
- Find those invalid or poor choices of configurations, characterize the result of these configurations, and (if possible) provide ways to correct the error in the generation process
- Describe the configuration options in a structured way, highlighting the found interactions. Feature models are the recommended tool of choice here.
Betreuer: René Schöne-:#-#:- Johannes Mey