메뉴 건너뛰기




Volumn 30, Issue 6, 2004, Pages 453-463

N-version programming with imperfect debugging

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; FUNCTIONS; MATHEMATICAL MODELS; PARAMETER ESTIMATION; PROBABILITY;

EID: 7544240621     PISSN: 00457906     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0045-7906(04)00025-4     Document Type: Article
Times cited : (12)

References (28)
  • 2
    • 0010063072 scopus 로고
    • Probabilistic model for software reliability prediction
    • Freiberger W, editor. New York: Academic
    • Shooman ML. Probabilistic model for software reliability prediction. In: Freiberger W, editor. Statistical computer performance evaluation. New York: Academic; 1972. p. 485-502.
    • (1972) Statistical Computer Performance Evaluation , pp. 485-502
    • Shooman, M.L.1
  • 3
    • 0017949597 scopus 로고
    • An analysis of competing software reliability models
    • Schick GJ, Wolverton RW. An analysis of competing software reliability models. IEEE Trans Software Eng 1978;SE-4:104-20.
    • (1978) IEEE Trans Software Eng , vol.SE-4 , pp. 104-120
    • Schick, G.J.1    Wolverton, R.W.2
  • 4
    • 0016557617 scopus 로고
    • A theory of software reliability and its application
    • Musa JD. A theory of software reliability and its application. IEEE Trans Software Eng 1975;SE-1:312-27.
    • (1975) IEEE Trans Software Eng , vol.SE-1 , pp. 312-327
    • Musa, J.D.1
  • 5
    • 0015764839 scopus 로고
    • A Bayesian reliability growth model for computer software
    • Littlewood B, Verrall JL. A Bayesian reliability growth model for computer software. Appl Stat 1973;22:332-46.
    • (1973) Appl Stat , vol.22 , pp. 332-346
    • Littlewood, B.1    Verrall, J.L.2
  • 6
    • 0018505572 scopus 로고
    • A time dependent error detection rate model for software reliability and other performance measures
    • Goel AL, Okumoto K. A time dependent error detection rate model for software reliability and other performance measures. IEEE Trans Reliab 1979;R-28:206-11.
    • (1979) IEEE Trans Reliab , vol.R-28 , pp. 206-211
    • Goel, A.L.1    Okumoto, K.2
  • 7
    • 0032050901 scopus 로고    scopus 로고
    • A software cost model with error removal times and risk costs
    • Zhang X, Pham H. A software cost model with error removal times and risk costs. Int J Syst Sci 1998;29:435-42.
    • (1998) Int J Syst Sci , vol.29 , pp. 435-442
    • Zhang, X.1    Pham, H.2
  • 8
    • 0022705483 scopus 로고
    • Software reliability growth models with testing effort
    • Yamada S, Ohtera H, Narihisa H. Software reliability growth models with testing effort. IEEE Trans Rel 1986;R-35:19-23.
    • (1986) IEEE Trans Rel , vol.R-35 , pp. 19-23
    • Yamada, S.1    Ohtera, H.2    Narihisa, H.3
  • 9
    • 0034561460 scopus 로고    scopus 로고
    • A study of operational and testing reliability in software reliability analysis
    • Yang B, Xie M. A study of operational and testing reliability in software reliability analysis. Reliab Eng Syst Safe 2000;70:323-9.
    • (2000) Reliab Eng Syst Safe , vol.70 , pp. 323-329
    • Yang, B.1    Xie, M.2
  • 10
    • 0020913278 scopus 로고
    • Software reliability analysis
    • Misra PN. Software reliability analysis. IBM Syst J 1983;22:262-70.
    • (1983) IBM Syst J , vol.22 , pp. 262-270
    • Misra, P.N.1
  • 11
    • 0028507530 scopus 로고
    • Software reliability growth model: Primary failures generate secondary-faults under imperfect debugging
    • Zeephongsekul P, Xia G, Kumar S. Software reliability growth model: primary failures generate secondary-faults under imperfect debugging. IEEE Trans Reliab 1994;43:408-13.
    • (1994) IEEE Trans Reliab , vol.43 , pp. 408-413
    • Zeephongsekul, P.1    Xia, G.2    Kumar, S.3
  • 12
    • 0040405663 scopus 로고
    • Software reliability growth models based on cluster point process
    • Zeephongsekul P, Xia G, Kumar S. Software reliability growth models based on cluster point process. Int J Syst Sci 1994;25:737-51.
    • (1994) Int J Syst Sci , vol.25 , pp. 737-751
    • Zeephongsekul, P.1    Xia, G.2    Kumar, S.3
  • 13
    • 0027306216 scopus 로고
    • Optimal software release policy with a learning factor for imperfect debugging
    • Zeephongsekul P, Xia G, Kumar S. Optimal software release policy with a learning factor for imperfect debugging. Microelectron Reliab 1993;33:81-6.
    • (1993) Microelectron Reliab , vol.33 , pp. 81-86
    • Zeephongsekul, P.1    Xia, G.2    Kumar, S.3
  • 14
    • 0026869466 scopus 로고
    • Software reliability growth model with debugging efforts
    • Leung YW. Software reliability growth model with debugging efforts. Microelectron Reliab 1992;32:699-704.
    • (1992) Microelectron Reliab , vol.32 , pp. 699-704
    • Leung, Y.W.1
  • 15
    • 0025664645 scopus 로고
    • A S-shaped software reliability growth model with two types of errors
    • Kareer N, Kapur PK, Grover PS. A S-shaped software reliability growth model with two types of errors. Microelectron Reliab 1985;30:1085-90.
    • (1985) Microelectron Reliab , vol.30 , pp. 1085-1090
    • Kareer, N.1    Kapur, P.K.2    Grover, P.S.3
  • 16
    • 0030148657 scopus 로고    scopus 로고
    • A software cost model with imperfect debugging random life cycle and penalty cost
    • Pham H. A software cost model with imperfect debugging random life cycle and penalty cost. Int J Syst Sci 1996;27:455-63.
    • (1996) Int J Syst Sci , vol.27 , pp. 455-463
    • Pham, H.1
  • 17
    • 0016522101 scopus 로고
    • System structure for software fault tolerance
    • Randell B. System structure for software fault tolerance. IEEE Trans Software Eng 1975;SE-1:220-32.
    • (1975) IEEE Trans Software Eng , vol.SE-1 , pp. 220-232
    • Randell, B.1
  • 18
    • 0018506972 scopus 로고
    • Fault tolerant software
    • Hecht H. Fault tolerant software. IEEE Trans Reliab 1979;R-28:227-32.
    • (1979) IEEE Trans Reliab , vol.R-28 , pp. 227-232
    • Hecht, H.1
  • 19
    • 0022252695 scopus 로고
    • The N-version approach to fault tolerant software
    • Avizienis A. The N-version approach to fault tolerant software. IEEE Trans Software Eng 1985;SE-11:1491-501.
    • (1985) IEEE Trans Software Eng , vol.SE-11 , pp. 1491-1501
    • Avizienis, A.1
  • 20
    • 0022581573 scopus 로고
    • An experimental evaluation of the assumption of independency in multiversion programming
    • Knight CJ, Leveson NG. An experimental evaluation of the assumption of independency in multiversion programming. IEEE Trans Software Eng 1986;SE-12:96-109.
    • (1986) IEEE Trans Software Eng , vol.SE-12 , pp. 96-109
    • Knight, C.J.1    Leveson, N.G.2
  • 23
    • 0022232712 scopus 로고
    • A theoretical basis for the analysis of multiversion software subject to coincident errors
    • Eckhardt DE, Lee DL. A theoretical basis for the analysis of multiversion software subject to coincident errors. IEEE Trans Software Eng 1985;SE-11:1511-7.
    • (1985) IEEE Trans Software Eng , vol.SE-11 , pp. 1511-1517
    • Eckhardt, D.E.1    Lee, D.L.2
  • 24
    • 0025400024 scopus 로고
    • Modelling of correlated failures and community error recovery in multiversion software
    • Nicola VF, Goel A. Modelling of correlated failures and community error recovery in multiversion software. IEEE Trans Software Eng 1990;SE-16:350-9.
    • (1990) IEEE Trans Software Eng , vol.SE-16 , pp. 350-359
    • Nicola, V.F.1    Goel, A.2
  • 25
    • 0027887036 scopus 로고
    • Non homogeneous poisson process software debugging models with linear dependency
    • Lin H-H, Chen K-H. Non homogeneous Poisson process software debugging models with linear dependency. IEEE Trans Reliab 1993;42:613-7.
    • (1993) IEEE Trans Reliab , vol.42 , pp. 613-617
    • Lin, H.-H.1    Chen, K.-H.2
  • 26
    • 0030148657 scopus 로고    scopus 로고
    • A software cost model with imperfect debugging random life cycle and penalty cost
    • Pham H. A software cost model with imperfect debugging random life cycle and penalty cost. Int J Syst Sci 1996;27:455-63.
    • (1996) Int J Syst Sci , vol.27 , pp. 455-463
    • Pham, H.1


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