Statistical Certification of Software Systems

Common software release procedures based on statistical techniques try to optimize the trade-off between further testing costs and costs due to remaining errors. We propose new software release procedures where the aim is to certify with a certain confidence level that the software does not contain...

Full description

Saved in:
Bibliographic Details
Published in:Communications in statistics. Simulation and computation 2008-02, Vol.37 (2), p.346-359
Main Authors: Bucchianico, Alessandro Di, Groote, Jan Friso, Hee, Kees Van, Kruidhof, Ronald
Format: Article
Language:English
Subjects:
Bayesian statistics
Error-free software
Exact sciences and technology
Martingale
Mathematics
Numerical analysis
Numerical analysis. Scientific computation
Numerical methods in probability and statistics
Optional stopping
Sciences and techniques of general use
Sequential testing
Software release
Software testing
Stopping time
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Common software release procedures based on statistical techniques try to optimize the trade-off between further testing costs and costs due to remaining errors. We propose new software release procedures where the aim is to certify with a certain confidence level that the software does not contain errors. The underlying model is a discrete time model similar to the geometric Moranda model. The decisions are based on a mix of classical and Bayesian approaches to sequential testing and do not require any assumption on the initial number of errors.
ISSN:0361-0918
1532-4141
DOI:10.1080/03610910701790517