Modellbasert programvaretesting for distribuerte system og protokoller

Samfunnet er i stadig økende grad avhengig av skybaserte tjenester som styres gjennom avansert programvaresystem og protokoller basert på kompleks prosesseringslogikk. Det gjør det svært utfordrende å implementere dem riktig og krevende å teste påliteligheten til systemene på en systematisk måte. Modellbasert programvaretesting (MBT) er en effektiv metode for å teste programvaresystem som gjør det mulig å undersøke feiltoleranse og avdekke feil under utvikling av programvare.

Wangs avhandling undersøker hvordan MBT-metoden kan brukes på distribuerte programvaresystem og protokoller. Som del av dette utvikler han programvareverktøy og teknikker som støtter bruk av MBT-metoden på distribuerte system. Avhandlingen gir viktige bidrag til forskning innen teoretisk og anvendt programvaretesting. 

Personalia

Rui Wang (f. 1986) har mastergrad i datateknologi fra Högskolan i Halmstad samt arbeidserfaring som programvareutvikler for IBM.  

Hovedveileder har vært Prof. Lars M. Kristensen (HVL), med Førsteamanuensis Volker Stolz (HVL) og Prof. Hein Meling (UiS) som biveileder(e). Wang har videre hatt forskningssamarbeid med Førsteamanuensis Cyrille Artho (KTH).