Modell-Baserad Testning

Under tva decennier har utvecklare inom mjukvarutestning utvecklat testtekniken Modell-baserad testning. Tekniken bygger pa att man genererar testfall fran en modell (tex i UML), istallet for att manuallet skriva testfall. Detta kan gora testprocessen mer effektiv, vilket leder till att mer arbeten kan goras pa kortare tid. Det kan ocksa ses som en ekonomiskt fordel for foretag dar testning ar huvudomradet. Modell-baserad testning har goda omdomen och teorin for tekniken ar val dokumenterad i artiklar, arbeten samt bocker. Mycket tyder pa att tekniken rent teoretiskt ar anvandbar i praktiken dessutom finns det valdigt lite kritik mot tekniken. Men trots allt detta har Modell-baserad testning inte blomstrat inom IT-industrin. Syftet med detta arbete ar att ta reda pa vad anledningarna skulle kunna vara till att MBT inte lyckats battre inom industrin. I arbetet anvands tre olika MBT-verktyg for att testa och sedan jamfora om resultatet i praktiken blir som teorin beskriver tekniken. Studiens resultat pekar pa att tekniken fortfarande ar omogen och manga brister kring Modell-baserad testning stots pa.