Premium
A discrete time model for software reliability with application to a flight control software
Author(s) -
Dewanji Anup,
Sengupta Debasis,
Chakraborty Ashis Kumar
Publication year - 2011
Publication title -
applied stochastic models in business and industry
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.413
H-Index - 40
eISSN - 1526-4025
pISSN - 1524-1904
DOI - 10.1002/asmb.902
Subject(s) - computer science , software , debugging , reliability (semiconductor) , schedule , software quality , software reliability testing , reliability engineering , software development , programming language , engineering , operating system , power (physics) , physics , quantum mechanics
This work is motivated by a particular software reliability problem in a unit of flight control software developed by the Indian Space Research Organization (ISRO), in which the testing of the software is carried out in multiple batches, each consisting of several runs. As the errors are found during the runs within a batch, they are noted, but not debugged immediately; they are debugged only at the end of that particular batch of runs. In this work, we introduce a discrete time model suitable for this type of periodic debugging schedule and describe maximum likelihood estimation for the model parameters. This model is used to estimate the reliability of the software. We also develop a method to determine the additional number of error‐free test runs required for the estimated reliability to achieve a specific target with some high probability. We analyze the test data on the flight control software of ISRO. Copyright © 2011 John Wiley & Sons, Ltd.