Optimal stopping in software testing
Article first published online: 27 DEC 2002
DOI: 10.1002/nav.10048
Copyright © 2003 Wiley Periodicals, Inc.
Additional Information
How to Cite
Morali, N. and Soyer, R. (2003), Optimal stopping in software testing. Naval Research Logistics, 50: 88–104. doi: 10.1002/nav.10048
Publication History
- Issue published online: 13 JAN 2003
- Article first published online: 27 DEC 2002
- Manuscript Accepted: 28 JUN 2002
- Manuscript Revised: 18 JUN 2002
- Manuscript Received: 30 NOV 1998
- Abstract
- References
- Cited By
Keywords:
- Bayesian inference;
- stochastic ordering;
- dynamic programming;
- Kalman filter;
- preposterior analysis;
- software reliability
Abstract
In this paper we address the problem of how to decide when to terminate the testing/modification process and to release the software during the development phase. We present a Bayesian decision theoretic approach by formulating the optimal release problem as a sequential decision problem. By using a non-Gaussian Kalman filter type model, proposed by Chen and Singpurwalla (1994), to track software reliability, we are able to obtain tractable expressions for inference and determine a one-stage look ahead stopping rule under reasonable conditions and a class of loss functions. © 2002 Wiley Periodicals, Inc. Naval Research Logistics, 2003

1520-6750/asset/NAV_left.gif?v=1&s=23e2ded0809abfc3ed47247eefb801bfed0ff239)
1520-6750/asset/cover.gif?v=1&s=1bdad4849bee8229bbc4053fa1d796b87c453243)