Afstudeeropdracht in Software Development: Stryker.NET hot reload mutating and testing

Nomadcomfort; Veenendaal; On-site; EUR 56,000 - 78,000; Full time

Job summary

Info Support zoekt een onderzoeker die de effectiviteit van hot reload in Stryker onderzoekt, mutanten plaatst en relevante unit tests draait.

Je werkt aan een Proof of Concept, vergelijkt performance en testresultaten, en legt een implementatieplan vast voor open source Stryker community.

De opdracht vereist Nederlandse taalvaardigheid op B2-niveau en een hands-on mentaliteit in maatwerksoftware en data/AI-oplossingen.

Qualifications

• Nederlandse taalvaardigheid op B2-niveau vereist.

Responsibilities

• Onderzoeken of hot reload mutanten correct kan plaatsen zonder bestaande flows te verstoren.
• Bewijsvoering met een Proof of Concept en plan voor implementatie documenteren.

Skills

Nederlands B2

Job description

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.

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.

De opdracht

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:

https://learn.microsoft.com/en-us/visualstudio/debugger/edit-and-continue-visual-csharp
https://learn.microsoft.com/en-us/visualstudio/test/test-execution-with-hot-reload

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 IT Academy waar graag wordt voldaan aan de honger naar meer of andere kennis en vaardigheden.

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