Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2004.04b
  • /
  • Pages.355-357
  • /
  • 2004
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Robustness Testing of Java Virtual Machine using fault injection

폴트 삽입 방식을 통한 자바 가상 기계의 강건성 테스팅(Robustness Testing) 기법

  • 이성민 (한국과학기술원 전자전산학과) ;
  • 김상운 (한국과학기술원 전자전산학) ;
  • 강제성 (한국과학기술원 전자전산학) ;
  • 권용래 (한국과학기술원 전자전산학과)
  • Published : 2004.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

Java의 경우 기존의 강건성 테스팅 방법인 ballista로는 객체 타입의 인자 및 파일 시스템의 변화를 시뮬레이션 할 수 없다. 따라서 객체에 대한 특별한 접근을 필요로 한다. 본 논문에서는 객체에 폴트를 삽입하는 방식을 통하여 자바 가상 기계의 강건성(Robustness)을 테스팅하는 방법을 제안한다. 자바 디버깅 툴인 JPDA를 사용하여 자바 가상 머신에 대한 직접적인 접근 및 의도한 상태 및 환경 변경을 가능하게 하고 이를 통해 자바 가상 기계에 폴트가 심어진 객체를 수행시킬 수 있다. 객체를 수행시키고 의도한 예외상황의 발생 유무를 관찰함으로써 자바 가상 기계의 강건성을 테스트 할 수 있다.

Keywords