본문 바로가기

연구실 소개/연구 분야

모델기반 소프트웨어 테스트

"모델 기반 테스팅(Model-Based Testing)은 소프트웨어의 기능적인 측면과 비기능적인 측면을 묘사한 모델로부터 도출된 테스트 사양서(test specification)의 테스팅이다."  Justyna Zander et al. "Model-Based Testing for Embedded Systems"

 

모델 기반 테스팅의 주요 연구 분야

  • - 테스트가 용이한 소프트웨어 모델의 설계: 모델 기반 테스팅의 효과성을 향상시키기 위한 모델의 설계 기법 연구
  • - 모델을 이용한 테스트 케이스 자동 생성: 모델로부터 커버리지가 높은 테스트 케이스 생성 연구
  • - 테스트 프로시져의 자동화: 모델 기반 테스팅의 산출물을 이용한 테스트 프로시져의 자동화 연구