Models for Estimation of Software Faults and Failures in Inspection and Test
Författare
Summary, in Swedish
Popular Abstract in Swedish
Programvara spelar en allt viktigare roll i industriella produkter. Bilar, flygplan, telefoner, hemelektronik, kärnkraftverk m.m. innehåller alla programvara. När man utvecklar programvara blir det ofta fel i produkterna, fel som kan vara mycket allvarliga för funktion och säkerhet. Ett första steg i att minska dessa fel är att uppskatta hur många fel som finns i produkterna och hur de uppträder i produktens driftsfas.
Under programvaruutvecklingen vidtas olika åtgärder för att hitta de fel som finns i produkterna. Två åtgärder är granskningar och tester. Granskningar innebär att olika personer läser dokument för att hitta fel i dem. Test innebär att programvaran används på olika sätt innan den sätts i drift.
I denna avhandling presenteras modeller för att uppskatta hur många fel som finns kvar i en programvaruprodukt efter en granskning. Skattningen baseras på vilka fel som hittats av olika granskare. Modellerna är baserade på en teknik som används inom biologin för att räkna djurpopulationer.
Vidare presenteras en modell som används som underlag för tester av programvaran. Modellen beskriver hur användarna använder programvaran. Genom att välja testfall från denna modell blir testningen som en slags “opinionsundersökning” om hur den verkliga driften kommer att te sig. Genom statistiska modeller kan man uppskatta hur ofta fel kommer att uppträda i den verkliga driften.
Programvara spelar en allt viktigare roll i industriella produkter. Bilar, flygplan, telefoner, hemelektronik, kärnkraftverk m.m. innehåller alla programvara. När man utvecklar programvara blir det ofta fel i produkterna, fel som kan vara mycket allvarliga för funktion och säkerhet. Ett första steg i att minska dessa fel är att uppskatta hur många fel som finns i produkterna och hur de uppträder i produktens driftsfas.
Under programvaruutvecklingen vidtas olika åtgärder för att hitta de fel som finns i produkterna. Två åtgärder är granskningar och tester. Granskningar innebär att olika personer läser dokument för att hitta fel i dem. Test innebär att programvaran används på olika sätt innan den sätts i drift.
I denna avhandling presenteras modeller för att uppskatta hur många fel som finns kvar i en programvaruprodukt efter en granskning. Skattningen baseras på vilka fel som hittats av olika granskare. Modellerna är baserade på en teknik som används inom biologin för att räkna djurpopulationer.
Vidare presenteras en modell som används som underlag för tester av programvaran. Modellen beskriver hur användarna använder programvaran. Genom att välja testfall från denna modell blir testningen som en slags “opinionsundersökning” om hur den verkliga driften kommer att te sig. Genom statistiska modeller kan man uppskatta hur ofta fel kommer att uppträda i den verkliga driften.
Avdelning/ar
Publiceringsår
1998
Språk
Engelska
Dokumenttyp
Doktorsavhandling
Förlag
Department of Communication Systems, Lund University
Ämne
- Communication Systems
Nyckelord
- failures
- usage based testing
- usage model
- statistical testing
- faults
- capture-recapture
- inspections
- software quality
- software reliability
- experiments
- Computer science
- numerical analysis
- systems
- control
- Datalogi
- numerisk analys
- system
- kontroll
Status
Published
Handledare
- [unknown] [unknown]
ISBN/ISSN/Övrigt
- ISRN: LUTEDX/TETS--1034--SE+222P
Försvarsdatum
30 januari 1998
Försvarstid
10:15
Försvarsplats
E:1406
Opponent
- Anneliese von Mayrhauser (Professor)