45 0

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

Title
자바 기반 멀티스레드 소프트웨어 검증 자동화 방법
Other Titles
Automated Verification Method for Java-based Multithreaded Software
Author
Lee, Scott Uk-Jin
Issue Date
2016-12
Publisher
한국정보과학회
Citation
한국정보과학회 2016년 동계학술대회 논문집, Page. 416-418
Abstract
현재 오픈소스 소프트웨어는 특정 소프트웨어 및 하드웨어의 종속성을 탈피하고, 높은 신뢰성을 바탕으로 빠르게 소프트웨어 산업의 중심으로 성장하고 있다. 특히 자바 언어는 Thread-Safe 라이브러리로 안전한 멀티스레딩 환경을 지원함으로써 대표적인 오픈소스 소프트웨어의 개발 언어로 활용되고 있다. 하지만 멀티스레드의 비결정성에 따른 동시성 오류는 예기치 못한 경쟁 조건, 교착상태 등을 야기하는 문제가 있으며, 멀티스레드를 모델링하고 검증하는데 많은 시간과 노력이 필요하다. 따라서 본 논문에서는이런 문제를 해결하기 위해 자바 기반 오픈소스 소프트웨어의 멀티스레드 검증 자동화 방법을 제안하여 오픈소스 소프트웨어의 생산성과 안전성을 높이는데 기여하고자 한다.
URI
http://www.dbpia.co.kr/Journal/ArticleDetail/NODE07115900http://repository.hanyang.ac.kr/handle/20.500.11754/103038
ISSN
2466-0825
Appears in Collections:
COLLEGE OF COMPUTING[E] > COMPUTER SCIENCE(소프트웨어학부) > Articles
Files in This Item:
There are no files associated with this item.
Export
RIS (EndNote)
XLS (Excel)
XML


qrcode

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

BROWSE