Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2014.11a
  • /
  • Pages.609-612
  • /
  • 2014
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Online-Game Server Party System Verification using SPIN Model Checker

스핀 모델 체커를 이용한 온라인 게임 서버의 파티 시스템 검증

  • Kim, Goanghun (School of Computer Science and Engineering, Kyungpook National University) ;
  • Park, Mingyu (School of Computer Science and Engineering, Kyungpook National University) ;
  • Choi, Yunja (School of Computer Science and Engineering, Kyungpook National University)
  • Published : 2014.11.05
Download PDF
⟨ Previous Next ⟩

Abstract

오늘날 신뢰할 수 있는 정보통신기술(Information and Communication Technology, ICT) 시스템의 중요성은 증대되고 있으며 그에 맞춰 고위험 시스템의 검증(Verification) 작업도 점점 체계화되고 있다. 반면 여전히 일반적인 소프트웨어들은 검증 과정을 인력에 의한 테스팅과 같은 기초적인 방법에 의존하고 있다. 본 논문에서는 그 대표적인 예인 온라인 게임 서버를 대상으로, SPIN 모델 체커(SPIN model checker)를 이용한 자동화 검증방법을 적용하는 실험적인 연구를 수행한다. 연구 결과 기존의 검증 과정으로는 파악하지 못한 오류를 파악할 수 있었고, 검증 비용도 납득할 만한 수준이라는 것을 확인하였다.

Keywords