한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
- /
- Pages.337-339
- /
- 2005
- /
- 1598-5164(pISSN)
ESTEREL 임베디드 소프트웨어를 위한 모델 기반 테스트 기법 연구
A Study of the Model-based Testing for Embedded Software in ESTEREL
- 양진석 (고려대학교 컴퓨터 이론 및 정형기법 연구실) ;
- 김진현 (고려대학교 컴퓨터 이론 및 정형기법 연구실) ;
- 심재환 (고려대학교 컴퓨터 이론 및 정형기법 연구실) ;
- 김창진 (고려대학교 컴퓨터 이론 및 정형기법 연구실) ;
- 최진영 (고려대학교 컴퓨터 이론 및 정형기법 연구실)
- YANG Jin-Seok (Computer Theory and Formal methods Lab. in Korea University) ;
- Kim Jin-Hyun (Computer Theory and Formal methods Lab. in Korea University) ;
- Sim Jae-Hwan (Computer Theory and Formal methods Lab. in Korea University) ;
- Kim chang-jin (Computer Theory and Formal methods Lab. in Korea University) ;
- Choi Jin-Young (Computer Theory and Formal methods Lab. in Korea University)
- 발행 : 2005.11.01
초록
본 논문에서는 임베디드 시스템의 제어를 위해 동기화 언어인 에스테렐로 개발된 소프트웨어가 소프트웨어 요구사항을 만족하는지 확인하기 위한 Model-based Test(MBT) 프레임 워크를 제안한다. 제안된 프레임 워크를 기반으로 작성한 프로토 타입의 테스트 도구는 요구사항 모델을 창조하여 On-the-fly 방법을 통해 테스트 케이스를 랜덤하게 자동으로 생성하여 소프트웨어에 대하 테스트를 자동으로 수행한다. 간단한 case study로 레고 마인드스톰 로봇 제어 소프트웨어에 MBT를 수행하고 그 결과를 확인한다.
키워드