Axini-modellen beschrijven het gedrag van een systeem onder test (SUT). In de context van MBT wordt zo'n specificatie gebruikt om testgevallen te genereren en uit te voeren. Maar wat als we de specificatie van het systeemgedrag voor meer use-cases zouden kunnen gebruiken?

Een veelvoorkomende richting in model-based engineering is om broncode uit een model te genereren. Op die manier kunnen we onze modellen niet alleen voor testgeneratie en -automatisering gebruiken, maar ook voor de (gedeeltelijke) implementatie van het softwaresysteem.

Mogelijke onderzoeksvragen

Codegeneratie uit AML-modellen

Welk type code kan worden gegenereerd uit AML-modellen? Bevatten AML-modellen genoeg informatie voor een complete implementatie? Zo niet, kunnen we delen van de code genereren (skeletons, smart stubs, templates)?

Code- en model-evolutie

Welke vorm moet de gegenereerde code hebben zodat deze mee kan evolueren met het oorspronkelijke model?

Praktische toepassing

Wat is de scope van deze aanpak? Voor welk soort systemen werkt codegeneratie?

Codegeneratie vanuit formele modellen

Mogelijke onderzoeksvragen

Codegeneratie uit AML-modellen

Code- en model-evolutie

Praktische toepassing