임베디드 시스템 소프트웨어의 신뢰성 검증을 위한 예외처리 테스트 방안

Abstract

An embedded system requires test process for reality of the system. For this, it is important to test exception handling which programmer developed. Especially, embedded system is required to test input from hardware device and external signal. But, manual test is required much time and low reality. And it is hard to reproduce faulty situation for debugging. In this paper, we propose a new exception handling test criteria for a embedded system. For this criteria, we define exception type and test exception handling using fault injection technique. And we propose generation of test data for occurring exception situation.;점차 복잡해져 가는 임베디드 소프트웨어의 신뢰성 확보를 위한 테스트 절차가 요구된다. 이를 위하여 시스템에 발생할 수 있는 예외사항이 프로그래머가 의도한대로 처리되고 있는지를 보는 것이 중요하다. 특히, 주요기능과 함께 부가기능이 통합된 임베디드 시스템의 특성상, 주변장치 또는 외부환경으로부터 들어오는 입력 값에 대한 예외사항 테스트가 요구된다. 그러나 일반적으로 시행하고 있는 매뉴얼 테스트(Manual Test, 테스터가 물리적인 입력을 시스템에 제공하여 결과를 관찰)의 경우 요구되는 시간 비용과 테스트 자체의 낮은 신뢰성 등과 같은 제약을 가지고 있다.[5] 또한, 예외처리에서 결함이 발견되었다 하더라도 디버깅을 위해 이를 재현하는데 어려움이 있다. 본 논문에서는 차량용 임베디드 시스템을 대상으로 하여 하드웨어와 디바이스 드라이버의 인터페이스를 분석하여 하드웨어에서 발생할 수 있는 예외사항을 분류하고, 결함 삽입 기술을 사용하여 재현한 후 발생한 예외 상황이 제대로 처리되고 있는지를 테스트 하는 방안을 제안한다. 또한 예외처리를 효과적으로 테스트 할 수 있는 결함 데이터 생성 방안도 제안한다.