Afstudeeropdracht in Software Development: Stryker.NET hot reload mutating and testing Veenendaal • Info Support

Hot reload kan mogelijk de performance verbeteren door enkel noodzakelijke delen van de code opnieuw te compileren en irrelevante unit tests te verwijderen. Het doel is te onderzoeken of deze techniek het plaatsen van mutanten en het uitvoeren van relevante tests ten goede komt. Vervolgens bewijs je de resultaten met een Proof of Concept en draag je jouw bevindingen en implementatie aan bij de open source Stryker community.

ð¡Interessegebieden: Mutation Testing, Open Source, .NET

Stryker is het mutation test framework voor .NET, JS/TS en de JVM. Bugs, of mutanten, worden automatisch gegenereerd in jouw source code. Vervolgens worden per mutatie alle unit tests uitgevoerd. Wanneer minimaal één test faalt, markeren we de mutatie als killed. Als de tests slagen, markeren we de mutatie als survived. Hoe meer killed mutaties, hoe effectiever jouw unit tests. Dit geeft een beter beeld dan code coverage omdat daadwerkelijk bewezen wordt dat de tests effectief zijn.

De huidige workflow in Stryker is als volgt:

• De gebruiker installeert Stryker en roept deze aan via command line
• Stryker plaatst mutaties in de sourcecode door ze in conditional statements te zetten
• Door het switchen van een globale variabele kunnen deze mutaties geactiveerd worden
• Stryker zoekt uit welke mutaties tegelijk gedraaid kunnen worden, oftewel welke mutaties geen conflicterende code paden hebben
• Stryker start per mutatie batch een test sessie op en zet bepaalde mutaties aan
• Stryker bekijkt de test resultaten om te bepalen of een mutatie killed of survived is.
  

Het veelvuldig compileren en testen van mutaties kost veel tijd. Om dit te beperken plaatst Stryker de mutaties met behulp van conditional statements in de sourcecode. Hierdoor is meestal maar één compilatie nodig, ongeacht het aantal mutaties. Het plaatsen van mutaties in conditional statements kan echter complex en foutgevoelig zijn.

Een alternatieve en in theorie veiligere methode is het plaatsen van mutaties één voor één. Het nadeel aan deze methode is dat elke aanpassing aan de broncode een nieuwe compilatie vereist.

Tijdens een recent overleg met Microsoft-ontwikkelaars kwam het onderwerp ‘hot reload’ voorbij. Door middel van hot reload kan de C#-compiler ontdekken welke codepaden zijn aangepast en zal de compiler alleen de noodzakelijke delen hercompileren. Deze techniek is ook toepasbaar op unit tests waardoor we potentieel alle niet relevante unit tests uit de broncode kunnen verwijderen. We weten echter nog niet hoe we hot reload programmatisch aan kunnen roepen en in hoeverre dit de bestaande conditional statements techniek kan ondersteunen of vervangen.

Onderzoek:

Onderzoek of hot reload het plaatsen van mutanten, het uitvoeren van de relevante unit tests en de performance van Stryker ten goede komt.

Implementatie:

Bewijs met behulp van een Proof of Concept de conclusies uit het onderzoek. Maak een plan voor de implementatie van hot reload in Stryker en draag dit bij aan de open source Stryker community.

Relevante documentatie:

Over Info Support

Info Support is specialist in maatwerksoftware, data/AI solutions, beheer en trainingen en actief in de sectoren Finance, Industry, Agriculture, Food & Retail, Mobility & Public en Healthcare. Wij bieden solide en innovatieve oplossingen voor complexe en bedrijfkritische softwarevraagstukken. Onze hoofdkantoren zijn gevestigd in Veenendaal (NL) en Mechelen (BE). Op dit moment zijn er circa 500 medewerkers bij Info Support in dienst.

De werkwijze van Info Support kenmerkt zich door een aantal kernwaarden: soliditeit, integriteit, vakmanschap en passie. Deze kernwaarden zijn verweven in ons werk en de manier waarop we met elkaar omgaan.

Om te zorgen dat alle medewerkers altijd op de hoogte kunnen zijn van de nieuwste ontwikkelingen beschikt Info Support over een inhouse kenniscentrum waar graag wordt voldaan aan de honger naar meer of andere kennis en vaardigheden.

Om deze opdracht te kunnen doen is B2-taalvaardigheid in het Nederlands vereist.