De Axini Fall of Code, een week vol innovatie en gezelligheid

Twee tracks zijn bezig geweest met “The next editor”. Een track is bezig geweest met een update van onze huidige model editor. Hierin is gekeken naar verschillende Javascript editor bibliotheken. De andere track heeft gekeken naar grafisch/visueel modelleren, dit gaat een stuk verder dan onze huidige aanpak. Momenteel is de modelleertaal van Axini tekstueel. Van deze tekstuele modellen worden geautomatiseerd visualisaties gemaakt, waar je doorheen kunt stappen om te simuleren. Hoe mooi zou het zijn als je gewoon met je muis visuele modellen kunt maken? Bij Axini vinden we dit erg interessant. We willen echter eigenlijk beide mogelijkheden, zowel tekstueel als visueel kunnen modelleren. Dit hebben we deze week uitgezocht met een mooie eerste stap als resultaat.

Om slimme testdata te bedenken maken we gebruik van zogenaamde constraint solvers. Dit zijn complexe tools die zogenaamde constraints, d.w.z. een logische formule, omzetten naar concrete data. Bijvoorbeeld de formule ‘X > 3’, die vertelt dat we op zoek zijn naar een waarde voor de variabele ‘X’ die groter dan 3 moet zijn. Een voorbeeld van een valide waarde is ‘4’. Je kunt je voorstellen dat deze constraints over verschillende datatypen kunnen gaan, en ook heel complex kunnen worden. Denk hierbij aan negatieve getallen, floating point getallen, tekst, tot aan hele XML data structuren. Een veelbelovend gebied waar actief onderzoek aan gedaan wordt zijn de zogenaamde SMT solvers. In dit track hebben we de Z3 solver als beta feature beschikbaar gemaakt om de werking ervan te kunnen evalueren.

In vorige innovatieweken zijn we bezig geweest met het beschikbaar stellen van functionaliteit om requirements vast te leggen in zogenaamde scenarios. Het is daarbij mogelijk om te controleren dat uitgevoerde testgevallen wel of niet zo’n scenario raken. Als het scenario geraakt is, betekent dit dat er een concrete instantie van de requirement getest is. Als volgende stap willen we graag direct testgevallen genereren voor de gedefinieerde scenario's. Dit laatst is tijdens deze week als bèta feature opgeleverd.

Dit track is vooral gericht op de Axini developers. Na een gedegen toolselectie is ervoor gekozen om Gitlab te gaan gebruiken. Gitlab is een interessante samenwerkomgeving met allerlei hulpmiddelen voor software-ontwikkelaars om efficient samen te werken. Denk hierbij aan code reviews, het opslaan van code, het aanmaken van tickets, en ook het bouwen en deployen van code in zogenaamde CI/CD pipelines. Voor dit laatste zijn tijdens de week Gitlab pipelines ingericht voor onze builds.