Abstract
One problem of the input domain-based software reliability models is the large number of test cases required to obtain a high confidence in reliability estimation, because testing has to be restarted from beginning after any fault correction is performed. This paper intends to overcome this problem by considering relations between the programs before and after fault corrections and therefore making use of the testing data collected from the previous testing stages. For this purpose we propose an input domain-based reliability growth model. Both partition and random testing can be used to generate input cases for test runs. It is generally considered in the model that input generation, fault detection and fault correction are all imperfect. It will be shown that some existing reliability models can be viewed as the special cases of our model.
Keywords
This work was partly sponsored by the fellowship of the European Commission HumanCapital and Mobility Programme, CaberNet, at LAAS-CNRS, Toulouse.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. D. Musa, A. Lannino, K. Okumoto, Software reliability: measurements, prediction, application, McGraw-Hill Book Company, New York, 1987.
C. V. Ramamoorthy, F. B. Bastani, Software reliability — status and perspectives, IEEE, Trans. Soft. Eng., SE-8, No. 4, 1982, pp. 354–371.
A. L. Goel, Software reliability models: assumptions, limitations, and applicability, IEEE, Trans. Soft. Eng., SE-11, No. 12, Dec. 1985, pp. 1411–1423.
W.H. MacWilliams, Reliability of large real-time software, in Proc. IEEE Symp. Computer Software Reliability, New York, May 1973, pp. 1–6.
J.R. Brown and M. Lipow, Testing of software reliability, in Proc. Int. Conf. Reliable Software, Los Angeles, CA, April 1975, pp. 518–527.
E. Nelson, Estimating Software reliability from test data, Micro-electron. Rel., vol. 17, 1978, pp. 67–74.
M.Z. Tsoukalas, J.W. Duran, S.C. Ntafos, On some reliability estimation problems in random and partition testing, IEEE, Trans. Soft. Eng., SE-19, No. 7, July 1993, pp. 687–697.
P. Thévenod-Fosse and H. Waeselynck, “An Investigation of Statistical Software Testing,” Journal of Software Testing Verification and Reliability, vol. 1, no. 2, 1991, pp.5–25.
Y. Tohma, et al, The estimation of parameters of the hypergeometric distribution and its application to the software reliability growth model, IEEE Trans. Soft. Eng., SE-17, No.5, May 1991, pp. 483–489.
J.-C. Laprie, K. Kanoun, C. Beounes, K. Kaaniche, The Knowledge-Action- Transformation approach to the modeling and evaluation of reliability and availability Growth, IEEE Trans. Soft. Eng., SE-17, No. 4, 1991, pp. 307–382.
S.N. Weiss, E.J. Weyuker, An extended domain-based model of software reliability, IEEE, Trans. Soft. Eng., SE-14, No. 10, 1988, pp. 465–470.
Y. Chen, J. Arlat, An Input Domain-Based Reliability Growth Model and Its Applications in Comparing Software Testing Strategies, LA AS Report 95105, April 1995.
Y. Chen, J. Arlat, Comparing software testing strategies using reliability growth, in R. Mittal, et al (ed), Fault-Tolerant Systems and Software, Narosa Publishing House, Madras, December 1995, pp. 48–54.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag London Limited
About this paper
Cite this paper
Chen, Y., Arlat, J. (1997). Modeling Software Dependability Growth under Input Partition Testing. In: Schoitsch, E. (eds) Safe Comp 96. Springer, London. https://doi.org/10.1007/978-1-4471-0937-2_12
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0937-2_12
Publisher Name: Springer, London
Print ISBN: 978-3-540-76070-2
Online ISBN: 978-1-4471-0937-2
eBook Packages: Springer Book Archive