Meny

Javascript verkar inte påslaget? - Vissa delar av Lunds universitets webbplats fungerar inte optimalt utan javascript, kontrollera din webbläsares inställningar.
Du är här

Models for Estimation of Software Faults and Failures in Inspection and Test

Författare:
Publiceringsår: 1998
Språk: Engelska
Sidor:
Dokumenttyp: Doktorsavhandling
Förlag: Department of Communication Systems, Lund University

Sammanfattning

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.
In software engineering, the quality of software and in particular the software reliability has to be controlled and improved. Hence there is a need for measuring and controlling the number and appearance of software faults and failures. This thesis presents models for estimation of residual faults after inspections and a model for usage specifications which enables estimation of operational failure behaviour and software reliability already in test.



The fault estimation models are based on the capture-recapture technique. A filter approach and an experience-based approach are developed and evaluated in two experiments. The experimental results show that the new estimation models give less absolute error and more stable estimates than established models. However, replication of the experiments is needed to get sufficient confidence in the results.



The failure estimation, or software reliability estimation models require test cases to be representative of the future usage of the system in order to make estimates in test. The future usage is specified in a usage specification. The state hierarchy usage specification model is developed to be suitable for modelling of the usage of real-time multi-user systems. The model is applied in early phases in the life cycle to dynamic analysis, as well as to test of components. Furthermore the implementation of the usage specification in an executable language for automatic generation of test cases is studied. The model is evaluated in minor case studies in different application domains, which have provided promising results.



The models contribute to estimation of software faults and failures, hence providing means for control of software quality attributes.

Disputation

1998-01-30
10:15
E:1406
  • Anneliese von Mayrhauser (Professor)

Nyckelord

  • Communication Systems
  • 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

Övriga

Published
  • ISSN: 1101-3931
  • ISRN: LUTEDX/TETS--1034--SE+222P

Box 117, 221 00 LUND
Telefon 046-222 00 00 (växel)
Telefax 046-222 47 20
lu [at] lu.se

Fakturaadress: Box 188, 221 00 LUND
Organisationsnummer: 202100-3211
Om webbplatsen