Nowadays software is increasingly becoming the major cause of system failures. More-over, the more complex software system is, the more faults we have. Definition of robustness is "the degree to which a system or a component can function correctly in the presence of invalid inputs or stressful environmental conditions." The Robustness is an important factor for safety not only in critical software such as military, aerospace, etc. but also in normal industrial domain such as electronic appliances. But a robustness testing for application has not been sufficient in this normal domain.
In this paper, we adapted the fault injection method to test robustness of application. The fault injection method is to cause fault injected in software system to alter software behavior through the alteration or corruption of some internal program state values. Our interests in fault injection lie on that application programs can handle system failures caused by faulty value, rather than that faults exist in the system. We inject faulty values into parameters of application APIs in order to test.
With the fault injection methodology, we developed a mechanism to inject faulty values into several reference data types and categorized the non robust behavior features derived from application programs which had used those data type. We have designed environment for robustness testing at application level and thus evaluated robustness of one application program that an open source group has made by using our tool.
최근들어 소프트웨어가 시스템 실패의 주요한 원인이 되고 있다. 그와 더불어 소프트웨어 시스템이 복잡해 질수록, 소프트에워 시스템에서 발생하는 오류 또한 증가하고 있다.
강건성의 정의는 "시스템 또는 컴포넌트가 유효하지 않은 입력값 또는 과중한 작업 환경 상태에서도 올바르게 동작하는 정도"이다. 따라서 강건성은 군사무기, 항공우주 분야와 같은 분야 뿐만이 아닌 가전제품과같은 일반적인 산업 분야에서도 중요한 요소이다. 그러나 일반적인 분야에서, 응용 프로그램에 대한 강건성 테스팅은 아직 고려 상황이 아니다.
이 논문에서, 우리는 응용 프로그램의 강건성을 테스트하기 위하여 오류 삽입 방법을 채택하였다. 오류 삽입 방법은 소프트웨어 시스템에 삽입된 오류가 소프트웨어의 행위를 인위적으로 변환시켜 오류를 유발시키는 방법이다. 우리는 응용 프로그램에 오류 존재 유무를 확인하는 것이 아닌, 오류 값에 의해 야기된 시스템의 부적절한 행위들이 제대로 처리될 수 있는지를 주요하게 살펴보고자한다. 우리는 응용프로그램이 가지고 있는 함수의 파라미터에 오류값을 삽입함으로써 강건성 테스팅을 수행한다.
오류 삽입 방법을 사용하여, 우리는 오류 값을 여러 참조 데이터 유형에 삽입하는 방법론을 개발하였으며. 응용 프로그램의 강건하지 않은 행위의 특성들을 분류하였다. 우리는 응용 프로그램에서 강건성 테스팅을 위한 환경을 구현하였으며, 이 환경을 통해 open source group에서 만든 하나의 프로그램에 대한 강건성을 평가하였다.
