Sök:

Automatgenererade testsviter som hanterarkombinatorisk explosion

I alla mjukvaruprojekt spelar mjukvarutestning en viktig roll. Om enprogramdefekt inte upptäcks och rättas innan systemet sätts i produk- tion, kan detta leda till betydande förluster för organisationen.Scanias kunder har möjligheten att skräddarsy sina fordon, efterkundens egna behov, istället för att välja bland en uppsättning färdigamodeller. Denna praktiskt taget oändliga uppsättning teoretiska model- ler medför dock svårigheter inom testning.En elektronisk styrenhet (ECU) är ett inbyggt system som kon- trollerar ett eller ?era av de elektroniska systemen i ett fordon, t.ex.motorn, kraftöverföringen och luftkonditioneringen. När fordonen läm- nar produktionen parametersätts deras ECU-parametrar efter ett regel- verk som anges i kon?gureringsprogrammet Parameter Setting Module(PSM). Syftet med denna rapport är att ?nna/föreslå en systematisktestmetod för att testa PSM. Målet är att hitta en metod som på ette?ektivt sätt skapar en lämplig testsvit och som med stor sannolikhetlyckas hitta potentiella fel innan PSM används i produktion.Ju ?er parametrar som kombineras, desto högre blir antalet möjligakombinationer. Detta vanligt förekommande fenomen inom mjukvaru- testning kallas för kombinatorisk explosion. Kombinationsstrategier ären familj testfallsmetoder, som hanterar kombinatorisk explosion.Genom att medvetet införa fel i PSM:s källkod, med mutationstest- ning, och genom att jämföra den nuvarande testsvitens mutationspoängmed andra kombinationsstrategier, var det möjligt att få en uppfattningom hur lämpliga testsviterna är för detta speci?ka ändamål.Resultatet visade att varken 1-wise-testning (test av varje parame- tervärde minst en gång), eller den nuvarande testsviten, är bra nog föratt upptäcka potentiella fel i PSM, samtidigt som 3-wise-testning in- volverar alltför många testfall för att kunna användas i praktiken. 2-wise-testning, å andra sidan, tycks ha en god avvägning mellan antalettestfall och kodtäckning/mutationspoäng.

Författare

JOEL ANDERSSON

Lärosäte och institution

KTH/Skolan för datavetenskap och kommunikation (CSC)

Nivå:

"Masteruppsats". Självständigt arbete (examensarbete) om 30 högskolepoäng (med vissa undantag) utfört för att erhålla masterexamen.

Läs mer..