
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
J. Rajgopal, M. Mazumdar, "Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model," IEEE Transactions on Software Engineering, vol. 28, no. 4, pp. 358363, April, 2002.  
BibTex  x  
@article{ 10.1109/TSE.2002.995424, author = {J. Rajgopal and M. Mazumdar}, title = {Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model}, journal ={IEEE Transactions on Software Engineering}, volume = {28}, number = {4}, issn = {00985589}, year = {2002}, pages = {358363}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2002.995424}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Software Engineering TI  Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model IS  4 SN  00985589 SP358 EP363 EPD  358363 A1  J. Rajgopal, A1  M. Mazumdar, PY  2002 KW  survey KW  software reuse KW  empirical study VL  28 JA  IEEE Transactions on Software Engineering ER   
This paper considers the problem of assessing the reliability of a software system that can be decomposed into a finite number of modules. It uses a Markovian model for the transfer of control between modules in order to develop the system reliability expression in terms of the module reliabilities. An operational test procedure is considered in which only the individual modules are tested and the system is considered acceptable if, and only if, no failures are observed. The minimum number of tests required of each module is determined such that the probability of accepting a system whose reliability falls below a specified value R_0 is less than a specified small fraction beta. This sample size determination problem is formulated as a twostage mathematical program and an algorithm is developed for solving this problem. Two examples from the literature are considered to demonstrate the procedure.
[1] P. Frankl et al., "Evaluating Testing Methods by Delivered Reliability," IEEE Trans. Software Eng., Aug. 1998, pp. 586602.
[2] C. Smidts and D. Sova, “An Architectural Model for Software Reliability Quantification: Sources of Data,” Reliability Eng. and System Safety, vol. 64, pp. 279290, 1999.
[3] R.C. Cheung, “A UserOriented Software Reliability Model,” IEEE Trans. Software Eng., vol. 6, pp. 118125, 1980.
[4] J.H. Poore,H.D. Mills,, and D. Mutcher,“Planning and certifying software system reliability,” IEEE Software, pp. 8899, Jan. 1993.
[5] J. Rajgopal and M. Mazumdar, “Designing Component Test Plans for Series System Reliability via Mathematical Programming,” Technometrics, vol. 37, pp. 195212, 1995.
[6] J. Rajgopal and M. Mazumdar, “A System Based Component Test Plan for a Series System, with TypeII Censoring,” IEEE Trans. Reliability, vol. 45, pp. 375378, 1996.
[7] J. Rajgopal and M. Mazumdar, “Minimum Cost Component Test Plans for Evaluating Reliability of a Highly Reliable Parallel System,” Naval Research Logistics, vol. 44, pp. 401418, 1997.
[8] W.I. Zangwill, Nonlinear Programming: A Unified Approach. Englewood Cliffs, N.J.: PrenticeHall, 1969.
[9] J.D. Musa, A. Iannino, and K. Okumoto, Software Reliability. New York: McGrawHill Publishing Co., 1990.
[10] W.C. Hetzel, The Complete Guide to Software Testing. Wellesley, Mass.: QED Information Sciences, Inc., 1988.
[11] B. Littlewood, “A Reliability Model for Systems with Markov Structure,” J. Royal Statistical Soc., Series C (Applied Statistics), vol. 24, pp. 172177, 1975.
[12] J.F. Meyer, B. Littlewood, and D.R. Wright, “Dependability of Modular Software in a Multiuser Operational Environment,” Proc. Sixth Int'l Symp. Software Reliability Eng., pp. 170179, 1995.
[13] S. Kuball, J. May, and G. Hughes, “Building a System Failure Rate Estimator by Identifying Component Failure Rates,” Proc. 10th Int'l Symp. Software Reliability Eng., pp. 3241, 1999.
[14] J. Rajgopal, M. Mazumdar, and S.V. Majety, “Optimum Combined Test Plans for Systems and Components,” IIE Transactions, vol. 31, pp. 481490, 1999.
[15] R.G. Easterling, M. Mazumdar, F.W. Spencer, and K.V. Diegert, “System Based Component Test Plans and Operating Characteristics: Binomial Data,” Technometrics, vol. 33, pp. 287298, 1991.
[16] S. Gal, “Optimal Test Design for Reliability Demonstration,” Operations Research, vol. 22, pp. 12361242, 1974.
[17] E. Cinlar, Introduction to Stochastic Processes. Englewood Cliffs, N.J.: PrenticeHall, Inc., 1975.
[18] K. Siegrist, “Reliability of Systems with Markov Transfer of Control,” IEEE Trans. Software Eng., vol. 14, pp. 10491053, 1988.
[19] S. Wolfram, The Mathematica Book, Wolfram Media, Cambridge Univ. Press, Cambridge, U.K., 1996.
[20] C. Beightler and D.T. Phillips, Applied Geometric Programming. New York: John Wiley&Sons, Inc., 1976.
[21] J. Rajgopal and D.L. Bricker, “An Algorithm for Solving the Posynomial GP Problem, Based on Generalized Programming,” Technical Report No. TR9510, Dept. Industrial Eng., Univ. of Pittsburgh, 1995, to appear in Computational Optimization and Applications.
[22] M. Avriel, R.S. Dembo, and U. Passy, “Solution of Generalized Geometric Programs,” Int'l J. Numerical Methods in Eng., vol. 9, pp. 149168, 1975.
[23] E.C. Soistman and K.B. Ragsdale, “Combined Hardware/Software Reliability Prediction Methodology,” Rome Air Development Center Contract Report OR18173, vol. II, 1984.