시스템 테스트를 위한 프로세스간 통신 결함 분석 자동화 방안

Abstract

여러 프로세스들이 동시에 수행되는 멀티 태스킹 환경에서 각 프로세스들은 프로세스간 통신 메커니즘을 활용하여 상호간 데이터를 공유, 교환한다. 이러한 동작 환경에서 프로세스간 통신 상에 발생하는 결함은 소프트웨어의 잘못된 기능 수행 및 성능 저하를 유발할 수 있다. 특히 프로세스간 통신에서 발생할 수 있는 대표적인 결함 중 하나인 Dead-lock 의 경우 시스템 전체에 블로킹(blocking)을 야기할 수 있는 심각한 결함이다. 따라서 소프트웨어 시스템의 신뢰도와 성능 향상을 위해서는 충분한 테스트를 통해 프로세스 간 통신에서 발생할 수 있는 결함을 줄이는 것이 중요하다. 본 논문은 PCB Hooking 기반 프로파일링 기법[8]을 적용하여 시스템 테스트 레벨에서 Run-Time 시스템 실행 정보를 수집하여 프로세스 간 통신 과정에서 발생할 수 있는 결함들을 분석하는 방안을 제안한다. 또한 제안한 방안을 적용하여 개발한 WinCE 플랫폼 기반 프로세스 간 통신 결함 테스트 툴 AMOSia(Analytic Master Of System for Inter-Process communication)를 통해 해당 방안의 효과성을 확인한다.;In Concurrent System, Processes communicate each other using IPC(Inter-process communication) mechanism. In this situation, faults generated during inter-process communication can cause serious problems in software system. This paper proposes analysis method for IPC fault detection and analysis. This analysis method composes two parts: Runtime System monitoring and Fault Analysis. We apply PCB Profiling technique for gathering run-time system execution data and analyze them to find IPC Fault. We develop IPC Fault testing tool AMOSia(Analytic Master Of System for Inter-Process communication) based on proposed analysis method and verify effectiveness of it by case studies.