자바 기반 멀티스레드 소프트웨어 검증 자동화 방법

Abstract

현재 오픈소스 소프트웨어는 특정 소프트웨어 및 하드웨어의 종속성을 탈피하고, 높은 신뢰성을 바탕으로 빠르게 소프트웨어 산업의 중심으로 성장하고 있다. 특히 자바 언어는 Thread-Safe 라이브러리로 안전한 멀티스레딩 환경을 지원함으로써 대표적인 오픈소스 소프트웨어의 개발 언어로 활용되고 있다. 하지만 멀티스레드의 비결정성에 따른 동시성 오류는 예기치 못한 경쟁 조건, 교착상태 등을 야기하는 문제가 있으며, 멀티스레드를 모델링하고 검증하는데 많은 시간과 노력이 필요하다. 따라서 본 논문에서는이런 문제를 해결하기 위해 자바 기반 오픈소스 소프트웨어의 멀티스레드 검증 자동화 방법을 제안하여 오픈소스 소프트웨어의 생산성과 안전성을 높이는데 기여하고자 한다.