메뉴 건너뛰기




Volumn 45, Issue C, 1997, Pages 197-267

Software Reliability and Readiness Assessment Based on the Non-homogeneous Poisson Process

Author keywords

[No Author keywords available]

Indexed keywords


EID: 34047251087     PISSN: 00652458     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0065-2458(08)60709-3     Document Type: Article
Times cited : (9)

References (77)
  • 1
    • 0021199968 scopus 로고
    • Optimizing preventive service of software products
    • Adams E.N. Optimizing preventive service of software products. IBM J. Res. Develop. 28 (1984) 2-14
    • (1984) IBM J. Res. Develop. , vol.28 , pp. 2-14
    • Adams, E.N.1
  • 2
    • 77956747267 scopus 로고    scopus 로고
    • Air Force Operational Test and Evaluation Center (1990). AFOTEC Pamphlet 800-2, 6, Software Maturity Guide, October
    • Air Force Operational Test and Evaluation Center (1990). AFOTEC Pamphlet 800-2, Volume 6, Software Maturity Guide, October
  • 5
    • 33746423013 scopus 로고
    • Quantitative evaluation of software engineering methodology
    • Melbourne, Australia
    • Basili V.R. Quantitative evaluation of software engineering methodology. Proceedings First Pan Pacific Computer Conference (1985), Melbourne, Australia
    • (1985) Proceedings First Pan Pacific Computer Conference
    • Basili, V.R.1
  • 6
    • 0025516679 scopus 로고
    • A Bayesian estimation method for the failure rate of a possibly correct program
    • Becker G., and Camarinopoulos L. A Bayesian estimation method for the failure rate of a possibly correct program. IEEE Trans. Software Engineering SE-16 (1990) 1307-1310
    • (1990) IEEE Trans. Software Engineering , vol.SE-16 , pp. 1307-1310
    • Becker, G.1    Camarinopoulos, L.2
  • 8
    • 0038184610 scopus 로고
    • Probabilistic models of decreasing failure rate processes
    • Cozzolino Jr. J.M. Probabilistic models of decreasing failure rate processes. Nav. Res. Logistics Quarterly 15 (1968) 361-374
    • (1968) Nav. Res. Logistics Quarterly , vol.15 , pp. 361-374
    • Cozzolino Jr., J.M.1
  • 9
    • 0001782167 scopus 로고
    • Reliability analysis for complex, repairable systems
    • Proschan F., and Serfling R.J. (Eds), SIAM, Philadelphia
    • Crow L.H. Reliability analysis for complex, repairable systems. In: Proschan F., and Serfling R.J. (Eds). Reliability and Biometry (1974), SIAM, Philadelphia 379-410
    • (1974) Reliability and Biometry , pp. 379-410
    • Crow, L.H.1
  • 10
    • 84937650085 scopus 로고
    • Learning curve approach to reliability monitoring
    • Duane J.T. Learning curve approach to reliability monitoring. IEEE Trans. Aerospace 2 (1964) 563-566
    • (1964) IEEE Trans. Aerospace , vol.2 , pp. 563-566
    • Duane, J.T.1
  • 12
    • 0001429336 scopus 로고
    • An empirical stopping rule for debugging and testing computer software
    • Forman E.H., and Singpurwalla N.D. An empirical stopping rule for debugging and testing computer software. J. Amer. Statist. Assoc. 72 (1977) 250-253
    • (1977) J. Amer. Statist. Assoc. , vol.72 , pp. 250-253
    • Forman, E.H.1    Singpurwalla, N.D.2
  • 13
    • 0026986312 scopus 로고
    • Optimal properties of the laplace trend test for software reliability models
    • Gaudoin O. Optimal properties of the laplace trend test for software reliability models. IEEE Trans. Reliability 41 4 (1992) 525-532
    • (1992) IEEE Trans. Reliability , vol.41 , Issue.4 , pp. 525-532
    • Gaudoin, O.1
  • 14
    • 5544258587 scopus 로고
    • Software reliability modelling and estimation techniques
    • Technical report, RADC-TR-82-263, October
    • Goel, A.L. (1982). Software reliability modelling and estimation techniques. Technical report, RADC-TR-82-263, October
    • (1982)
    • Goel, A.L.1
  • 15
    • 0022252694 scopus 로고
    • Software reliability models: Assumptions, limitations, and applicability
    • Goel A.L. Software reliability models: Assumptions, limitations, and applicability. IEEE Trans. Software Engineering SE-11 12 (1985) 1411-1423
    • (1985) IEEE Trans. Software Engineering , vol.SE-11 , Issue.12 , pp. 1411-1423
    • Goel, A.L.1
  • 16
    • 77956749326 scopus 로고    scopus 로고
    • Software metrics: Analysis and interpretation. Tutorial Notes
    • Las Vegas, NV, January
    • Goel, A.L. (1996). Software metrics: Analysis and interpretation. Tutorial Notes, IEEE RAMS Symposium, Las Vegas, NV, January
    • (1996) IEEE RAMS Symposium
    • Goel, A.L.1
  • 17
    • 0018311785 scopus 로고
    • A Markovian model for reliability and other performance measures of software systems
    • & KazuhiraOkumoto , New York
    • Goel, A.L. & KazuhiraOkumoto (1979). A Markovian model for reliability and other performance measures of software systems. In Proceedings of Nat. Comput. Conf., Vol. 48, pp. 769-774, New York
    • (1979) Proceedings of Nat. Comput. Conf , vol.48 , pp. 769-774
    • Goel, A.L.1
  • 18
    • 0018505572 scopus 로고
    • A time dependent error detection rate model for software reliability and other performance measures
    • Goel A.L., and Kazuhira O. A time dependent error detection rate model for software reliability and other performance measures. IEEE Trans. Reliability R-28 8 (1979) 206-211
    • (1979) IEEE Trans. Reliability , vol.R-28 , Issue.8 , pp. 206-211
    • Goel, A.L.1    Kazuhira, O.2
  • 19
    • 0019606230 scopus 로고
    • Models for hardware-software system operational performance evaluation
    • 1981
    • Goel A.L., and Soenjoto J. Models for hardware-software system operational performance evaluation. IEEE Trans. Reliability R-30 (1981) 232-239 1981
    • (1981) IEEE Trans. Reliability , vol.R-30 , pp. 232-239
    • Goel, A.L.1    Soenjoto, J.2
  • 21
    • 77956788471 scopus 로고    scopus 로고
    • Software metrics statistical analysis techniques
    • Technical report, Syracuse University, January
    • Goel, A.L. & Yang, K.-Z. (1996). Software metrics statistical analysis techniques. Technical report, Syracuse University, January
    • (1996)
    • Goel, A.L.1    Yang, K.-Z.2
  • 22
    • 77956735246 scopus 로고
    • Parameter estimation for NHPP-DSS models
    • Computer Science and Statistics
    • Goel, A.L., Yang, K.Z. & Paul, R. (1992). Parameter estimation for NHPP-DSS models. In Proceedings of Symp. on Interface: Computer Science and Statistics.
    • (1992) Proceedings of Symp. on Interface
    • Goel, A.L.1    Yang, K.Z.2    Paul, R.3
  • 24
    • 0023456007 scopus 로고
    • Modeling and analysis of computer system availability
    • Goyal A., and Lavenberg S.S. Modeling and analysis of computer system availability. IBM J. Research and Development 31 (1987) 651-664
    • (1987) IBM J. Research and Development , vol.31 , pp. 651-664
    • Goyal, A.1    Lavenberg, S.S.2
  • 25
    • 77956717290 scopus 로고
    • Software reliability
    • Yovits M.C. (Ed), Academic Press
    • Iannino A., and Musa J.D. Software reliability. In: Yovits M.C. (Ed). Advances in Computers 30 (1990), Academic Press
    • (1990) Advances in Computers , vol.30
    • Iannino, A.1    Musa, J.D.2
  • 26
    • 0002979446 scopus 로고
    • Software reliability research
    • Freiberger W. (Ed), Academic Press, New York
    • Jelinski Z., and Moranda P.B. Software reliability research. In: Freiberger W. (Ed). Statistical Computer Performance Evaluation (1992), Academic Press, New York 465-497
    • (1992) Statistical Computer Performance Evaluation , pp. 465-497
    • Jelinski, Z.1    Moranda, P.B.2
  • 27
    • 0022221716 scopus 로고
    • Bayesian extensions to a basic model of software reliability
    • Jewell W.S. Bayesian extensions to a basic model of software reliability. IEEE Trans. Software Engineering SE-11 (1985) 1465-1471
    • (1985) IEEE Trans. Software Engineering , vol.SE-11 , pp. 1465-1471
    • Jewell, W.S.1
  • 29
    • 0028497675 scopus 로고
    • Software reliability trend analysis from theoretical to practical considerations
    • Kanoun K., and Laprie J. Software reliability trend analysis from theoretical to practical considerations. IEEE Trans. Software Engineering 20 9 (1994) 740-746
    • (1994) IEEE Trans. Software Engineering , vol.20 , Issue.9 , pp. 740-746
    • Kanoun, K.1    Laprie, J.2
  • 30
    • 0026140308 scopus 로고
    • A model for software reliability analysis and prediction: Application to the TROPICO-R switching system
    • Kanoun K., Martini M.B., and De Souza J.M. A model for software reliability analysis and prediction: Application to the TROPICO-R switching system. IEEE Trans. Software Engineering 17 (1991) 334-344
    • (1991) IEEE Trans. Software Engineering , vol.17 , pp. 334-344
    • Kanoun, K.1    Martini, M.B.2    De Souza, J.M.3
  • 31
    • 0025664645 scopus 로고
    • An S-shaped software reliability growth model with two types of errors
    • Kareer N., et al. An S-shaped software reliability growth model with two types of errors. Microelectronics and Reliability 30 (1990) 1085-1090
    • (1990) Microelectronics and Reliability , vol.30 , pp. 1085-1090
    • Kareer, N.1
  • 32
  • 33
    • 0020736735 scopus 로고
    • Birth-death and bug counting
    • 1983
    • Kremer W. Birth-death and bug counting. IEEE Trans. Reliability R-32 (1983) 37-47 1983
    • (1983) IEEE Trans. Reliability , vol.R-32 , pp. 37-47
    • Kremer, W.1
  • 34
    • 0012954789 scopus 로고
    • Bayesian inference for the Weibull process with applications to assessing software reliability growth and predicting software failures
    • Atlanta, GA
    • Kyparisis, J. & Singpurwalla, N.D. (1984). Bayesian inference for the Weibull process with applications to assessing software reliability growth and predicting software failures. In Proceedings of 16th Symp. on Interface: Computer Science and Statistics, pp. 57-64, Atlanta, GA
    • (1984) Proceedings of 16th Symp. on Interface: Computer Science and Statistics , pp. 57-64
    • Kyparisis, J.1    Singpurwalla, N.D.2
  • 36
    • 0018478881 scopus 로고
    • How to measure software reliability and how not to
    • Littlewood B. How to measure software reliability and how not to. IEEE Trans. Reliability R-28 (1979) 103-110
    • (1979) IEEE Trans. Reliability , vol.R-28 , pp. 103-110
    • Littlewood, B.1
  • 37
    • 50849150481 scopus 로고
    • The Littlewood-Verrall model for software reliability compared with some rivals
    • Littlewood B. The Littlewood-Verrall model for software reliability compared with some rivals. J. Systems and Software 1 (1980) 251-258
    • (1980) J. Systems and Software , vol.1 , pp. 251-258
    • Littlewood, B.1
  • 38
    • 0019057466 scopus 로고
    • Theory of software reliability: How good are they and how can be improved?
    • Littlewood B. Theory of software reliability: How good are they and how can be improved?. IEEE Trans. Software Engineering SE-6 (1980) 489-500
    • (1980) IEEE Trans. Software Engineering , vol.SE-6 , pp. 489-500
    • Littlewood, B.1
  • 39
    • 0021443966 scopus 로고
    • Rationale for a modified Duane model
    • Littlewood B. Rationale for a modified Duane model. IEEE Trans. Reliability R-33 (1984) 157-159
    • (1984) IEEE Trans. Reliability , vol.R-33 , pp. 157-159
    • Littlewood, B.1
  • 40
    • 0023310116 scopus 로고
    • A Bayesian modification to the Jelinski-Moranda software growth model
    • Littlewood B., and Sofer A. A Bayesian modification to the Jelinski-Moranda software growth model. Software Engineering J. 2 (1987) 30-41
    • (1987) Software Engineering J. , vol.2 , pp. 30-41
    • Littlewood, B.1    Sofer, A.2
  • 41
    • 0015764839 scopus 로고
    • A Bayesian reliability growth model for computer software
    • Littlewood B., and Verrall J.L. A Bayesian reliability growth model for computer software. Applied Statistics 22 (1973) 332-346
    • (1973) Applied Statistics , vol.22 , pp. 332-346
    • Littlewood, B.1    Verrall, J.L.2
  • 42
    • 77956718919 scopus 로고
    • A Bayesian assessing method of software reliability growth
    • Osaki S., and Cao J. (Eds), World Scientific, Singapore
    • Liu G. A Bayesian assessing method of software reliability growth. In: Osaki S., and Cao J. (Eds). Reliability Theory and Applications (1987), World Scientific, Singapore 237-244
    • (1987) Reliability Theory and Applications , pp. 237-244
    • Liu, G.1
  • 43
    • 77956788066 scopus 로고
    • Personal Communication
    • McKissick, J. (1995). Personal Communication
    • (1995)
    • McKissick, J.1
  • 44
    • 0022576316 scopus 로고
    • Exponential order statistic models of software reliability growth
    • Miller D.R. Exponential order statistic models of software reliability growth. IEEE Trans. Software Engineering SE-12 1 (1986) 12-24
    • (1986) IEEE Trans. Software Engineering , vol.SE-12 , Issue.1 , pp. 12-24
    • Miller, D.R.1
  • 46
    • 0016557617 scopus 로고
    • A theory of software reliability and its applications
    • Musa J.D. A theory of software reliability and its applications. IEEE Trans. Software Engineering SE-1 (1971) 312-327
    • (1971) IEEE Trans. Software Engineering , vol.SE-1 , pp. 312-327
    • Musa, J.D.1
  • 47
    • 0021208648 scopus 로고
    • A logarithmic Poisson execution time model for software reliability measurement
    • Orlando, FL, March
    • Musa, J.D. & Okumoto, K. (1983). A logarithmic Poisson execution time model for software reliability measurement. In Proceedings of 7th Int. Conf. Software Eng., pp. 230-237, Orlando, FL, March
    • (1983) Proceedings of 7th Int. Conf. Software Eng , pp. 230-237
    • Musa, J.D.1    Okumoto, K.2
  • 49
    • 33746090571 scopus 로고
    • Software reliability: Repetitive run experimentation and modeling
    • 165836, NASA Langley Res. Center, February
    • Nagel, P.M. & Skrivan, J.A. (1982). Software reliability: Repetitive run experimentation and modeling. Technical Report NASA Contractor Rep. 165836, NASA Langley Res. Center, February
    • (1982) Technical Report NASA Contractor Rep
    • Nagel, P.M.1    Skrivan, J.A.2
  • 50
    • 0013047560 scopus 로고
    • Software reliability: Additional investigations into modeling with replicated experiments
    • 172378, NASA Langley Res. Center, June
    • Nagel, P.M., Scholz, F.W. & Skrivan, J.A. (1984). Software reliability: Additional investigations into modeling with replicated experiments. Technical Report NASA Contractor Rep. 172378, NASA Langley Res. Center, June
    • (1984) Technical Report NASA Contractor Rep
    • Nagel, P.M.1    Scholz, F.W.2    Skrivan, J.A.3
  • 51
    • 0021468304 scopus 로고
    • Software reliability analysis models
    • Ohba M. Software reliability analysis models. IBM J. Res. Develop. 28 4 (1984) 428-443
    • (1984) IBM J. Res. Develop. , vol.28 , Issue.4 , pp. 428-443
    • Ohba, M.1
  • 53
    • 0019292406 scopus 로고
    • Optimum release time for software systems based on reliability and cost criterion
    • Okumoto K., and Goel A.L. Optimum release time for software systems based on reliability and cost criterion. Journal of Systems and Software 1 12 (1980) 315-318
    • (1980) Journal of Systems and Software , vol.1 , Issue.12 , pp. 315-318
    • Okumoto, K.1    Goel, A.L.2
  • 54
    • 77956758157 scopus 로고
    • Software availability based on reliability growth models
    • Othera H., et al. Software availability based on reliability growth models. Trans. IEICE of Japan 73 (1990) 1264-1269
    • (1990) Trans. IEICE of Japan , vol.73 , pp. 1264-1269
    • Othera, H.1
  • 59
    • 0009989188 scopus 로고
    • Assessment of software reliability. In Proc
    • Schick, G.J. & Wolverton, R.W. (1973). Assessment of software reliability. In Proc. Operations Research, pp. 395-422
    • (1973) Operations Research , pp. 395-422
    • Schick, G.J.1    Wolverton, R.W.2
  • 60
    • 0017949597 scopus 로고
    • An analysis of competing software reliability models
    • Schick G.J., and Wolverton R.W. An analysis of competing software reliability models. IEEE Trans. Software Engineering SE-4 2 (1978) 104-120
    • (1978) IEEE Trans. Software Engineering , vol.SE-4 , Issue.2 , pp. 104-120
    • Schick, G.J.1    Wolverton, R.W.2
  • 61
    • 84976677822 scopus 로고    scopus 로고
    • Schneidewind, N.F, 1975, Analysis of error processes in computer software. In Proc. Int. Conf. Reliable Software, pp. 337-346, Los Angeles, CA, April
    • Schneidewind, N.F. (1975). Analysis of error processes in computer software. In Proc. Int. Conf. Reliable Software, pp. 337-346, Los Angeles, CA, April
  • 62
    • 0019682019 scopus 로고
    • A general software reliability model for performance prediction
    • Shanthikumar J.G. A general software reliability model for performance prediction. Microelectronics and Reliability 21 (1981) 671-682
    • (1981) Microelectronics and Reliability , vol.21 , pp. 671-682
    • Shanthikumar, J.G.1
  • 63
  • 64
    • 0022792454 scopus 로고
    • A software reliability model with multiple-error introduction and removal
    • Sumita U., and Shanthikumar J.G. A software reliability model with multiple-error introduction and removal. IEEE Trans. Reliability R-35 (1986) 459-462
    • (1986) IEEE Trans. Reliability , vol.R-35 , pp. 459-462
    • Sumita, U.1    Shanthikumar, J.G.2
  • 66
    • 2342651229 scopus 로고
    • The linear software reliability model and uniform testing
    • Trachtenberg M. The linear software reliability model and uniform testing. IEEE Trans. Reliability. R-34 1 (1985) 8-16
    • (1985) IEEE Trans. Reliability. , vol.R-34 , Issue.1 , pp. 8-16
    • Trachtenberg, M.1
  • 67
    • 84976724983 scopus 로고    scopus 로고
    • Trivedi, A.K. & Shooman, M.L, 1975, A many-state Markov model for the estimation and prediction of computer software performance parameters. In Proceedings of International Conference on Reliable Software, pp. 208-220, Los Angeles
    • Trivedi, A.K. & Shooman, M.L. (1975). A many-state Markov model for the estimation and prediction of computer software performance parameters. In Proceedings of International Conference on Reliable Software, pp. 208-220, Los Angeles
  • 70
    • 0022189422 scopus 로고
    • Cost-reliability optimal release policies for software systems
    • Yamada S., and Osaki S. Cost-reliability optimal release policies for software systems. IEEE Trans. Reliability R-34 (1985) 422-424
    • (1985) IEEE Trans. Reliability , vol.R-34 , pp. 422-424
    • Yamada, S.1    Osaki, S.2
  • 71
    • 0022224726 scopus 로고
    • Software reliability growth modeling: Models and applications
    • Yamada S., and Osaki S. Software reliability growth modeling: Models and applications. IEEE Trans. Software Engineering SE-11 (1985) 1431-1437
    • (1985) IEEE Trans. Software Engineering , vol.SE-11 , pp. 1431-1437
    • Yamada, S.1    Osaki, S.2
  • 72
    • 0021006179 scopus 로고
    • S-shaped reliability growth modeling for software error detection
    • Yamada S., Ohba M., and Osaki S. S-shaped reliability growth modeling for software error detection. IEEE Trans_ Reliability R-32 (1983) 475-478
    • (1983) IEEE Trans_ Reliability , vol.R-32 , pp. 475-478
    • Yamada, S.1    Ohba, M.2    Osaki, S.3
  • 73
    • 0021476797 scopus 로고
    • Optimum release policies for a software system with scheduled software delivery time
    • Yamada S., et al. Optimum release policies for a software system with scheduled software delivery time. Int. J. Syst. Sci. 15 (1984) 905-914
    • (1984) Int. J. Syst. Sci. , vol.15 , pp. 905-914
    • Yamada, S.1
  • 74
    • 0007663351 scopus 로고
    • A software reliability growth model with two types of errors
    • Yamada S., et al. A software reliability growth model with two types of errors. R.A.I.R.O. 19 (1985) 87-104
    • (1985) R.A.I.R.O. , vol.19 , pp. 87-104
    • Yamada, S.1
  • 75
    • 0022705483 scopus 로고
    • Software reliability growth models with testing effort
    • Yamada S., et al. Software reliability growth models with testing effort. IEEE Trans. Reliability R-35 (1986) 19-23
    • (1986) IEEE Trans. Reliability , vol.R-35 , pp. 19-23
    • Yamada, S.1
  • 76
    • 77956734775 scopus 로고
    • Models for software reliability prediction: Some new results
    • Technical report, Syracuse University, January
    • Yang, K. & Goer, A.L. (1994). Models for software reliability prediction: Some new results. Technical report, Syracuse University, January
    • (1994)
    • Yang, K.1    Goer, A.L.2
  • 77
    • 33645842586 scopus 로고
    • Role of verification in the software specification process
    • Yovits M.C. (Ed), Academic Press, New York
    • Zelkowitz M.V. Role of verification in the software specification process. In: Yovits M.C. (Ed). Advances in Computers 36 (1993), Academic Press, New York 44-108
    • (1993) Advances in Computers , vol.36 , pp. 44-108
    • Zelkowitz, M.V.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.