응용 프로그램 수준에서 강건성 테스팅을 위한 자동화된 테스팅 환경 구현

Abstract

최근들어 소프트웨어가 시스템 실패의 주요한 원인이 되고 있다. 그와 더불어 소프트웨어 시스템이 복잡해 질수록, 소프트에워 시스템에서 발생하는 오류 또한 증가하고 있다. 강건성의 정의는 "시스템 또는 컴포넌트가 유효하지 않은 입력값 또는 과중한 작업 환경 상태에서도 올바르게 동작하는 정도"이다. 따라서 강건성은 군사무기, 항공우주 분야와 같은 분야 뿐만이 아닌 가전제품과같은 일반적인 산업 분야에서도 중요한 요소이다. 그러나 일반적인 분야에서, 응용 프로그램에 대한 강건성 테스팅은 아직 고려 상황이 아니다. 이 논문에서, 우리는 응용 프로그램의 강건성을 테스트하기 위하여 오류 삽입 방법을 채택하였다. 오류 삽입 방법은 소프트웨어 시스템에 삽입된 오류가 소프트웨어의 행위를 인위적으로 변환시켜 오류를 유발시키는 방법이다. 우리는 응용 프로그램에 오류 존재 유무를 확인하는 것이 아닌, 오류 값에 의해 야기된 시스템의 부적절한 행위들이 제대로 처리될 수 있는지를 주요하게 살펴보고자한다. 우리는 응용프로그램이 가지고 있는 함수의 파라미터에 오류값을 삽입함으로써 강건성 테스팅을 수행한다. 오류 삽입 방법을 사용하여, 우리는 오류 값을 여러 참조 데이터 유형에 삽입하는 방법론을 개발하였으며. 응용 프로그램의 강건하지 않은 행위의 특성들을 분류하였다. 우리는 응용 프로그램에서 강건성 테스팅을 위한 환경을 구현하였으며, 이 환경을 통해 open source group에서 만든 하나의 프로그램에 대한 강건성을 평가하였다.