Axini
Terug naar studenten

Formele methoden & verificatie

Debugger

Onze applicatie heeft op dit moment een minimale debugger geïntegreerd in de view. We zoeken een student die de mogelijkheden van deze debugger wil verkennen en uitbreiden. Het doel van dit afstudeerproject is om geavanceerde debugfeatures te onderzoeken en te implementeren, zoals verbeterde visualisatie, tracing en de mogelijkheid om voor- en achterwaarts door de code-uitvoering te stappen.

Voorbeeld

Beschouw het volgende eenvoudige modelfragment:

state = :login
if username == "admin"
  state = :dashboard
else
  state = :error
end

Met de huidige debugger kan een gebruiker alleen de huidige state zien tijdens een run. Een verbeterde debugger zou een tijdlijnweergave van state-veranderingen kunnen bieden, tracing van variabele-waarden over stappen en de mogelijkheid om terug te stappen om te onderzoeken hoe een fout is ontstaan, of vooruit te stappen om uitkomsten onder verschillende condities te voorspellen.

Mogelijke onderzoeksvragen

  1. 1

    Debug-features

    Welke data (executie-traces, state-historie, variabele-snapshots) is nodig om geavanceerde debug-features te implementeren?

  2. 2

    Debuggen van MBT

    Hoe kan een debugger effectief worden geïntegreerd in de context van Model-Based Testing, waar gedrag vaak non-deterministisch of concurrent is?

  3. 3

    Visualisatie

    Wat zijn de beste manieren om executiepaden te visualiseren zodat ontwikkelaars snel zien waar het misging?

Interesse in dit onderwerp? Neem contact op!

students@axini.com