멀티태스크 내장형 소프트웨어에 대한 OS-in-the-Loop 동적 심볼릭 테스트

초록

다양한 소프트웨어 검증 기법이 연구되었음에도 멀티태스크 내장형 소프트웨어 검증은 하드웨어에 종속적인 구조와 복잡한 멀티태스킹 동작 때문에 여전히 수작업으로 이루어지는 미흡한 단계에 머물러있다. 본 연구는 멀티태스크 내장형 소프트웨어를 OS-in-the-Loop(OiL) 관점을 적용하여 효율적인 노력과 비용으로 자동으로 검증하는 방법을 제안한다. OS-in-the-Loop 동적 심볼릭 테스트는 운영체제 모델, 하드웨어 스텁, 문맥 전환 제어 논리가 나타난 응용 프로그램, 3가지 요소를 결합하여 하드웨어 독립적인 테스트 환경을 구성하고 동적 심볼릭 테스트로 엄밀하게 자동으로 속성을 검증한다. 이 방식이 운영체제 모델을 포함하지 않는 기존의 방식보다 얼마나 효과적인지를 보이기 위해 대표적인 멀티태스크 내장형 소프트웨어 Object-follower에 대하여 동적 심볼릭 테스트 도구 CROWN 2.0으로 테스트를 수행하였고 운영체제 모델을 포함했을 때 기존 방식보다 91.67%에서 5.13%로 적은 오경보가 발생하는 우수한 테스트 성과를 달성했다.

키워드