모델검증을 활용한 자가-적응 소프트웨어 검증 및 전략 추출 방법

홈 > 연구문헌 > 학술대회 프로시딩 > 한국정보과학회 학술대회 > 2015년 동계학술발표회

한글제목(Korean Title)	모델검증을 활용한 자가-적응 소프트웨어 검증 및 전략 추출 방법
영문제목(English Title)	Verification and Strategy-Extraction Method for Self-Adaptive software by using Model-Checking
저자(Author)	이의종 김영갑 백두권 Euijong Lee Young-Gab Kim Doo-Kwon Baik
원문수록처(Citation)	VOL 42 NO. 02 PP. 0525 ~ 0527 (2015. 12)
한글내용 (Korean Abstract)	자가-적응 소프트웨어는 내・외부의 환경 변화를 탐지하고 변화에 따라 요구사항을 만족하기 위해 스스로 변화하는 소프트웨어를 말한다. 최근 자가-적응 소프트웨어 연구 분야에서 중요한 쟁점은 정량적인 검증을 통해 자가-적응 소프트웨어를 확인 및 검증하는 것이다. 이를 위해 기존에 연구되어 온 검증 기법을 자가-적응 소프트웨어에 적용 시키는 연구들이 진행되고 있다. 본 연구는 대표적인 검증 기법인 모델검증을 사용함으로 자가-적응 소프트웨어를 실행시간에 검증하고 검증된 결과를 기반으로 적응-전략을 추출하는 방법에 대한 연구이며 사례 연구를 통해 제안된 연구의 실효성을 보였다.
영문내용 (English Abstract)
키워드(Keyword)
파일첨부	PDF 다운로드