DOI QR코드

DOI QR Code

The Study for ENHPP Software Reliability Growth Model Based on Kappa(2) Coverage Function

Kappa(2) 커버리지 함수를 이용한 ENHPP 소프트웨어 신뢰성장모형에 관한 연구

  • 김희철 (남서울대학교 산업경영공학과)
  • Published : 2007.12.31

Abstract

Finite failure NHPP models presented in the literature exhibit either constant, monotonic increasing or monotonic decreasing failure occurrence rates per fault. Accurate predictions of software release times, and estimation of the reliability and availability of a software product require Release times of a critical element of the software testing process : test coverage. This model called Enhanced non-homogeneous Poission process(ENHPP). In this paper, exponential coverage and S-shaped model was reviewed, proposes the Kappa coverage model, which make out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method, model selection based on SSE statistics and Kolmogorov distance, for the sake of efficient model, was employed. Numerical examples using real data set for the sake of proposing Kappa coverage model was employed. This analysis of failure data compared with the Kappaa coverage model and the existing model(using arithmetic and Laplace trend tests, bias tests) is presented.

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 오류 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 소프트웨어 제품의 정확한 인도시기를 예측하거나 효용성 및 신뢰성을 예측하기 위해서는 소프트웨어 테스팅 과정에서 중요한 요소인 테스트 커버리지를 이용하면 보다 효율적인 테스팅 작업을 할 수 있다. 이런 모형을 ENHPP모형이라고 한다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 지수 커버리지 모형과 S-커버리지 모형을 재조명하고 이 분야에 적용될 수 있는 Kappa 분포를 이용한 모형인 Kappa 커버리지 모형을 제안하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE) 및 콜모고로프 거리를 적용하여 모형들에 대한 효율적인 모형 선택도 시도 하였다. 수치적인 예에서는 실제 고장자료를 통하여 분석하였다 이 자료들에서 기존의 모형과 Kappa 커버리지 모형의 비교를 위하여 산술적 및 라플라스 검정, 편의 검정 등을 이용하였다.

Keywords

References

  1. 김희철, 최유순, 박 종구, '어랑 분포를 이용한 NHPP 소프트웨어 신뢰성장 모형에 관한 연구', 한국 해양정보통신학회 논문지, 10권1호. pp.7-14, 2006
  2. J. F. Lawless, 'Statistical Models and Methods for Lifetime Data', John Wiley & Sons, New York, 1981
  3. S. S. Gokhale and K. S. Trivedi. 'A time/structure based software reliability model'. Annals of Software Engjneering. 8, pp. 85-121.1999 https://doi.org/10.1023/A:1018923329647
  4. S. S. Gokhale and T. Philip and P. N. Marinos and k. S. Trivedi, 'Unification of Finite Failure Non-Homogeneous Poisson Process Models through Test Coverage', In Proc. of Intl. Symposium on software Reliability Enginnering,' White Plains. NY, 1996
  5. J. R. M. Hosking, 'The Four-parameter Kappa distribution'. IBM J. RES, DEVELOP, Vol. 38, No 3, May, 1994
  6. M. I. Mielke, 'Another Family Distribution for Describing and Analying Precipitation Data', J. Appl. Meteorol 12, pp.275-280, 1973 https://doi.org/10.1175/1520-0450(1973)012<0275:AFODFD>2.0.CO;2
  7. J.R. Horgan, S. London, and M.R. Lyu, 'Achieving Software Quality with Testing Coverage Measure,' IEEE Computer, pp. 60-69, Sept. 1994
  8. R. Jacoby and K. Masuzawa, 'Test Coverage De-pendant Software Reliability Estimation by the HGD Model,' 3rd Intl. Symposium on Software Reliability Engineering, 1992
  9. H. Pham and L. Nordmann and X. Zhang, 'A General Imperfect-Software -Debugging Model with S-Shaped Fault-Detection Rate', IEEE Trans. on reliability, Vol, 48, No2, pp, 169-175, 1999 https://doi.org/10.1109/24.784276
  10. A. L. Goel and K. Okumoto, 'Time-Dependent Error-Detection Rate Models for Software Reliability and Other Performance Measures'. IEEE Trans. on Reliability, R-28(3):pp.206-211, Aug. 1979 https://doi.org/10.1109/TR.1979.5220566
  11. S. Yamada, M. Ohba and S. Osaki. 'S-Shaped Reliability Growth Modeling for Software Error Detection'. IEEE Trans. on Reliability. R-32(5): pp. 475-485, Dec. 1983 https://doi.org/10.1109/TR.1983.5221735
  12. A. P. Nikora and M. R. Lyu., 'Handbook of Software Reliability Engineering, MR Lyu, Editor, chapter Software Reliability Measurement Experience, pp. 255-301. MacGraw-Hill, New York, 1996
  13. S. Selvin, 'Moden Applied Biostatistical Methods Using S-Plus', pages 141-184. Oxford University Press, New York, 1998