메뉴 건너뛰기




Volumn 44, Issue 1, 1995, Pages 104-113

Mixture Models for Reliability of Software with Imperfect Debugging: Identifiability of Parameters

Author keywords

Exponential order statistic model; Failure intensity; Laplace transform; Logarithmic Poisson process; Stieltjes transform

Indexed keywords

ERRORS; FUNCTIONS; LAPLACE TRANSFORMS; MATHEMATICAL MODELS; PARAMETER ESTIMATION; PROGRAM DEBUGGING; RANDOM PROCESSES; RELIABILITY;

EID: 0029272601     PISSN: 00189529     EISSN: 15581721     Source Type: Journal    
DOI: 10.1109/24.376529     Document Type: Article
Times cited : (22)

References (33)
  • 1
    • 0039457254 scopus 로고
    • Probabilistic modelling of oil and gas discovery
    • (F.S. Roberts, Ed) SIAM
    • E. Barouch, G. Kaufman, “Probabilistic modelling of oil and gas discovery”, Energy: Mathematics and Models (F.S. Roberts, Ed), 1976, pp 132–152; SIAM.
    • (1976) Energy: Mathematics and Models , pp. 132-152
    • Barouch, E.1    Kaufman, G.2
  • 4
    • 84950440804 scopus 로고
    • When should one stop testing software
    • Sep
    • S.R. Dalal, C. Mallows, “When should one stop testing software?”, J. Amer. Statistical Assoc, vol 83, 1988 Sep, pp 872–879.
    • (1988) J. Amer. Statistical Assoc , vol.83 , pp. 872-879
    • Dalal, S.R.1    Mallows, C.2
  • 5
    • 84937080228 scopus 로고
    • Data requirements for software reliability prediction
    • (B. Littlewood, Ed) chap 10; Blackwell Science
    • C. Dale, “Data requirements for software reliability prediction”, Software Reliability: Achievement and Assessment (B. Littlewood, Ed), 1987, chap 10; Blackwell Science.
    • (1987) Software Reliability: Achievement and Assessment
    • Dale, C.1
  • 7
    • 84937080230 scopus 로고
    • Relaxation of the common failure rate assumption in modelling software reliability
    • (P. Mellor, A. Bendell, Ed) 247–249; Pergamon Infotech
    • T. Giammo, “Relaxation of the common failure rate assumption in modelling software reliability”, Software Reliability: State of the Art Report (P. Mellor, A. Bendell, Ed), 1986, pp 65–79, 247–249; Pergamon Infotech.
    • (1986) Software Reliability: State of the Art Report , pp. 65-79
    • Giammo, T.1
  • 8
    • 0018505572 scopus 로고
    • Time-dependent error-detection rate model for software reliability and other performance measures
    • Aug
    • A. Goel, K. Okumoto, “Time-dependent error-detection rate model for software reliability and other performance measures”, IEEE Trans. Reliability, vol R-28, 1979 Aug, pp 206–211.
    • (1979) IEEE Trans. Reliability , vol.R-28 , pp. 206-211
    • Goel, A.1    Okumoto, K.2
  • 9
    • 0000294943 scopus 로고
    • Successive sampling in large finite populations
    • Jun
    • L. Gordon, “Successive sampling in large finite populations”, Annals of Statistics, vol 11, 1983 Jun, pp 702–706.
    • (1983) Annals of Statistics , vol.11 , pp. 702-706
    • Gordon, L.1
  • 11
    • 0024765287 scopus 로고
    • Statistical inference for general-order-statistics and nonhomogeneous-Poisson-process software reliability models
    • Nov
    • H. Joe, “Statistical inference for general-order-statistics and nonhomogeneous-Poisson-process software reliability models”, IEEE Trans. Software Engineering, vol 15, 1989 Nov, pp 1485–1490.
    • (1989) IEEE Trans. Software Engineering , vol.15 , pp. 1485-1490
    • Joe, H.1
  • 14
    • 0020830392 scopus 로고
    • Software reliability as an application of martingale and filtering theory
    • Oct
    • G. Koch, P. Spreij, “Software reliability as an application of martingale and filtering theory”, IEEE Trans. Reliability, vol R-32, 1983 Oct, pp 342–345.
    • (1983) IEEE Trans. Reliability , vol.R-32 , pp. 342-345
    • Koch, G.1    Spreij, P.2
  • 15
    • 38249036701 scopus 로고
    • Discovery rates for a search in which sampling is proportional to size
    • M. Kramer, N. Starr, “Discovery rates for a search in which sampling is proportional to size”, Adv. Appl. Math, vol 8, 1987, pp 222–236.
    • (1987) Adv. Appl. Math , vol.8 , pp. 222-236
    • Kramer, M.1    Starr, N.2
  • 16
    • 84972899429 scopus 로고
    • Optimal stopping in a size dependent search
    • M. Kramer, N. Starr, “Optimal stopping in a size dependent search”, Sequential Analysis, vol 9, num 1, 1990, pp 59–80.
    • (1990) Sequential Analysis , vol.9 , Issue.1 , pp. 59-80
    • Kramer, M.1    Starr, N.2
  • 17
    • 0020736735 scopus 로고
    • Birth-death and bug counting
    • Apr
    • W. Kremer, “Birth-death and bug counting”, IEEE Trans. Reliability, vol R-32, 1983 Apr, pp 37–47.
    • (1983) IEEE Trans. Reliability , vol.R-32 , pp. 37-47
    • Kremer, W.1
  • 18
    • 0002520305 scopus 로고
    • A unification of some software reliability models
    • N. Langberg, N. Singpurwalla, “A unification of some software reliability models”, SIAM J. Sci. Stat. Computing, vol 6, num 3, 1985, pp 781–790.
    • (1985) SIAM J. Sci. Stat. Computing , vol.6 , Issue.3 , pp. 781-790
    • Langberg, N.1    Singpurwalla, N.2
  • 19
    • 0000525359 scopus 로고
    • The geometry of mixture likelihoods: A general theory
    • Mar
    • B. Lindsay, “The geometry of mixture likelihoods: A general theory”, Annals of Statistics, vol 11, 1983 Mar, pp 86–94.
    • (1983) Annals of Statistics , vol.11 , pp. 86-94
    • Lindsay, B.1
  • 20
    • 0019057466 scopus 로고
    • Theories of software reliability: How good are they and how can they be improved
    • Sep
    • B. Littlewood, “Theories of software reliability: How good are they and how can they be improved?”, IEEE Trans. Software Engineering, vol SE-6, 1980 Sep, pp 489–500.
    • (1980) IEEE Trans. Software Engineering , vol.SE-6 , pp. 489-500
    • Littlewood, B.1
  • 21
    • 0019622073 scopus 로고
    • Stochastic reliability growth: A model for fault-removal in computer-programs and hardware-designs
    • Oct
    • B. Littlewood, “Stochastic reliability growth: A model for fault-removal in computer-programs and hardware-designs”, IEEE Trans. Reliability, vol R-30, 1981 Oct, pp 313–320.
    • (1981) IEEE Trans. Reliability , vol.R-30 , pp. 313-320
    • Littlewood, B.1
  • 22
    • 0022576316 scopus 로고
    • Exponential order statistics of software reliability growth
    • Jan
    • D. Miller, “Exponential order statistics of software reliability growth”, IEEE Trans. Software Engineering, vol SE-12, 1986 Jan, pp 12–24.
    • (1986) IEEE Trans. Software Engineering , vol.SE-12 , pp. 12-24
    • Miller, D.1
  • 24
    • 0021208648 scopus 로고
    • A logarithmic Poisson execution time model for software reliability measurement
    • IEEE Comp. Soc. Press
    • J. Musa, K. Okumoto, “A logarithmic Poisson execution time model for software reliability measurement”, Proc. 7th Int'l Conf. Software Engineering, 1985, pp 343–348; IEEE Comp. Soc. Press.
    • (1985) Proc. 7th Int'l Conf. Software Engineering , pp. 343-348
    • Musa, J.1    Okumoto, K.2
  • 26
    • 0022057820 scopus 로고
    • Statistical estimation of software reliability
    • May
    • S. Ross, “Statistical estimation of software reliability”, IEEE Trans. Software Engineering, vol SE-11, 1985 May, pp 479–483.
    • (1985) IEEE Trans. Software Engineering , vol.SE-11 , pp. 479-483
    • Ross, S.1
  • 27
    • 0022604453 scopus 로고
    • Software reliability modeling and analysis
    • Jan
    • F. Scholz, “Software reliability modeling and analysis”, IEEE Trans. Software Engineering, vol SE-12, 1986 Jan, pp 25–31.
    • (1986) IEEE Trans. Software Engineering , vol.SE-12 , pp. 25-31
    • Scholz, F.1
  • 28
    • 0020907184 scopus 로고
    • Software reliability models: A review
    • J.G. Shantikumar, “Software reliability models: A review”, Microelectronics & Reliability, vol 23, 1983, pp 903–943.
    • (1983) Microelectronics & Reliability , vol.23 , pp. 903-943
    • Shantikumar, J.G.1
  • 29
    • 0022792454 scopus 로고
    • A software reliability model with multiple-error introduction and removal
    • Oct
    • U. Sumita, J. Shantikumar, “A software reliability model with multiple-error introduction and removal”, IEEE Trans. Reliability, vol R-35, 1986 Oct, pp 459–462.
    • (1986) IEEE Trans. Reliability , vol.R-35 , pp. 459-462
    • Sumita, U.1    Shantikumar, J.2
  • 30
    • 0038864428 scopus 로고
    • Modelling imperfect repair and software growth
    • Seattle
    • M. Van Pul, “Modelling imperfect repair and software growth”, Proc. Interface '91 Conf, 1991; Seattle.
    • (1991) Proc. Interface '91 Conf
    • Van Pul, M.1
  • 31
    • 0001388104 scopus 로고
    • Asymptotic properties of statistical models in software reliability
    • M. Van Pul, “Asymptotic properties of statistical models in software reliability”, Scand. J. Statistics, vol 19, num 3, 1992, pp 235–254.
    • (1992) Scand. J. Statistics , vol.19 , Issue.3 , pp. 235-254
    • Van Pul, M.1


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