멀티태스크 내장형 소프트웨어에 대한 OS-in-the-Loop 동적 심볼릭 테스트 (OS-in-the-Loop Concolic Testing for Multitask Embedded Software)

서지정보

· 발행기관 : 한국정보과학회
· 수록지 정보 : 정보과학회논문지 / 50권 / 2호 / 140 ~ 149페이지
· 저자명 : 박효빈, 최윤자

초록

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

영어초록

Verification of multitask embedded software still depends on manual effort because of its hardware-dependent structure and complicated multitasking works. We present the OSin- the-loop(OiL) concolic test, the new approach for automatic and efficient verification of multitask embedded software. Given the OS model, hardware stubs that replace platform-dependent code, and annotated application code with explicit context switch control logic, it provides a hardwareindependent environment and automatically checks properties with the concolic test. In the application of our approach on a representative multitask embedded software, Object-Follower and concolic testing tool CROWN 2.0, when there is an OS model, our method achieves fewer false alarms from 91.67% to 5.13% than without OS.

참고자료

· 없음