지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학위논문
- 저자정보
- 지도교수
- Lee, Scott Uk-Jin
- 발행연도
- 2018
- 저작권
- 한양대학교 논문은 저작권에 의해 보호받습니다.
이용수4
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
현재 오픈소스 소프트웨어는 소프트웨어의 접근성, 지속적인 업데이트, 개발비용에 들어가는 라이센스 비용절감 등으로 소프트웨어 개발 산업의 핵심으로 떠오르고 있다. 그 중 자바는 Thread-Safe 라이브러리와 객체지향 모델링으로 대표적인 오픈소스 소프트웨어의 개발 언어로 사용되고 있다. 하지만 대규모 병렬 자바 시스템에서는 교착상태(Dead-Lock), 경쟁상태(Data-Race) 등이 발생하는 동시성 오류로 인해 오픈소스 소프트웨어의 안정성과 신뢰성을 저해하고 있다. 또한 이런 소프트웨어를 검증하는 도구인 모델검사 도구들은 프로그램에서 실행 가능한 모든 경로를 검사하기 때문에 발생하는 상태 공간 폭발 문제로 인해 검증의 정확성이 떨어진다. 본 논문에서는 상태 공간 폭발 문제를 해결하기 위한 방법으로 멀티스레드 코드를 학습하여 검증 결과를 예측하는 분류 모델을 만드는 1 차 단계로 자바 멀티스레드 소스코드를 머신러닝을 이용하여 자동으로 생성하는 기법을 제안한다. 그리고 이 기법을 통해서 대규모 멀티스레드 프로그램을 검증하는데 발생하는 문제인 상태 공간 폭발을 해결하기 위한 연구의 기반이 되고자 한다
목차
등록된 정보가 없습니다.
최근 본 자료
댓글(0)
0