Ondersteuning van programma ontwikkelaars bij software transplantaties aan de hand van dynamische symbolische executie (FWOSB28)

Wanneer developers samen aan de code van een programma werken, kan het dat ze verschillende delen van het programma veranderen op hetzelfde moment. Gewoonlijk werkt elke developer met zijn of haar eigen versie van de code en is er zich niet bewust van welke exacte veranderingen de anderen maken. Op een zeker ogenblik moeten deze verschillende versies weer samenkomen tot één geheel. Dit kan tot verschillende problemen leiden: conflicterende veranderingen in het gedrag van delen van het programma kunnen ervoor zorgen dat het programma niet meer kan starten of, indien het wel start, niet meer verloopt zoals het zou moeten. Ons onderzoeksvoorstel hoopt developers te kunnen assisteren voor en na het samenvoegen van versies teneinde de problemen zo veel mogelijk te vermijden. Wij willen technieken bedenken en tools maken die het gedrag van verschillende versies van het programma kunnen analyseren en aldus pogen vast te stellen of er al dan niet dingen fout zouden lopen. Op deze manier kan de developer gepaste actie ondernemen alvorens het samenvoegen of concreet herstellen na het samenvoegen.

Trefwoorden:Dynamic Symbolic Execution

Disciplines:Systeemtheorie, -modellering en -identificatie