Onderzoeksgroep
Expertise
Zijn interessegebieden zijn modelgebaseerde verificatie en validatie van zowel software- als hardwaresystemen, modelgebaseerd testen en mutatietesten. Hij werkt momenteel aan modelgebaseerde ideale testmethoden om zowel de aan- als afwezigheid van specifieke fouten in software- en hardwaresystemen aan te tonen op basis van holistisch testen (positief en negatief testen (aka fuzz-testen)) en mutatietesten. Hij is ook wetenschappelijk onderzoeker bij het EFFECTS-project om mutatietesten van Simulink-modellen in de industriële omgeving te integreren en bij het door de EU gefinancierde INNO2MARE-project om digitale tweelingen voor maritieme systemen te modelleren en te testen.
Verbeteren van MUT4SLX: op weg naar industriële adoptie van mutation testing voor Simulink.
Abstract
Mutatietesten zijn een aanbevolen praktijk in industriële normen voor functionele veiligheid, zoals ISO 26262 en IEC 61508, die veelvuldig worden toegepast in modelgebaseerde ontwikkeling van embedded systemen. Het hoofddoel van mutatietesten is het diagnosticeren en aanpakken van zwakheden in softwaretestsuites, die doorgaans zijn geschreven in tekstuele programmeertalen zoals C++. Deze methode injecteert opzettelijk fouten (mutanten) in de code of het model en meet hoeveel van deze fouten door de testsuite worden opgespoord. Dit resulteert in een mutatiescore die de kwaliteit van de testsuite weerspiegelt. MUT4SLX is het eerste instrument dat ondersteuning biedt voor het genereren en uitvoeren van mutanten in de grafische modelleertalen Simulink en Stateflow. Het is een proof-of-concept-tool die in nauwe samenwerking met een industriële partner werd ontwikkeld als onderdeel van een Flanders Make-project. De unieke waardepropositie (USP) van MUT4SLX ligt in de aanpasbare mutatie-operatoren, die gebaseerd zijn op realistische fouten uit een industriële bug-database. Deze mutatie-operatoren kunnen worden uitgebreid en aangepast aan de behoeften van nieuwe partners. Het voorgestelde Proof-of-Concept-project heeft als doel om MUT4SLX voor te bereiden op industriële adoptie door (i) traceerbaarheid van vereisten en (ii) integratie in DevOps-pijplijnen te implementeren. Op basis van feedback van onze partners hebben we vastgesteld dat deze twee functies essentiële voorwaarden zijn voor industriële adoptie. Na voltooiing van dit POC-DEVELOP-project is het onze intentie om een aanvraag in te dienen voor een VLAIO Innovatiemandaat om een spin-offbedrijf op te richten. Deze stappen zijn noodzakelijk om MUT4SLX te introduceren in onze doelmarkten, die bestaan uit veiligheidskritieke, software-intensieve systemen waarin Simulink en Stateflow vaak worden gebruikt (automotive, lucht- en ruimtevaart, spoorwegen, robotica en de energiesector). Tijdens het project zullen we MUT4SLX valideren met drie potentiële gebruikers (Een intentieverklaring is als bijlage bijgevoegd) om het TRL-niveau te verhogen naar niveau 5 (gevalideerd in een relevante omgeving) en het CRL-niveau naar niveau 4 (waardepropositie). Ons team bestaat momenteel uit één senior onderzoeker (Onur Kilincceker), twee softwareontwikkelaars (Halim Ceylan en Remzi Bulutlu) en twee senior adviseurs (Serge Demeyer en Fatma Bozyigit) in de adviesraad.Onderzoeker(s)
- Promotor: Demeyer Serge
- Co-promotor: Kilincceker Onur
Onderzoeksgroep(en)
Project type(s)
- Onderzoeksproject