한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)

한국정보과학회 (Korean Institute of Information Scientists and Engineers)
권호 표지

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
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

본 논문에서는 임베디드 시스템의 제어를 위해 동기화 언어인 에스테렐로 개발된 소프트웨어가 소프트웨어 요구사항을 만족하는지 확인하기 위한 Model-based Test(MBT) 프레임 워크를 제안한다. 제안된 프레임 워크를 기반으로 작성한 프로토 타입의 테스트 도구는 요구사항 모델을 창조하여 On-the-fly 방법을 통해 테스트 케이스를 랜덤하게 자동으로 생성하여 소프트웨어에 대하 테스트를 자동으로 수행한다. 간단한 case study로 레고 마인드스톰 로봇 제어 소프트웨어에 MBT를 수행하고 그 결과를 확인한다.

키워드