Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2004.04b
- /
- Pages.346-348
- /
- 2004
- /
- 1598-5164(pISSN)
A Software Verification Technique for Ubiquitous Applications
Ubiquitous Application을 위한 소프트웨어 검증 기법
- Sun, Tae-Bong ;
-
In, Hoh Peter
;
- Lu, Hong (Texas A＆M University) ;
- Liu, Steve (Texas A＆M University)
- Published : 2004.04.01
Abstract
시스템의 안정성을 검증하는 Model Checking(모델 검증)은 여러 가지 분야에서 기본적으로 중요하게 사용되어왔다. 하지만 Model Checking의 특성상 Computing Power가 많이 필요한 점과 최근 소프트웨어의 대형화, Ubiquitous 환경에서의 잦은 변화가 필요한 점 등으로 Model Checking 을 그대로 적용하기 어렵다. 따라서 이 논문은 점증적인 변화에 따른 필요한 부분만 검증하는 점증적 모델 검증을 소개한다.
Keywords