소프트웨어 품질 연구실모델기반 소프트웨어 테스트
"모델 기반 테스팅(Model-Based Testing)은 소프트웨어의 기능적인 측면과 비기능적인 측면을 묘사한 모델로부터 도출된 테스트 사양서(test specification)의 테스팅이다."
- Justyna Zander et al. "Model-Based Testing for Embedded Systems"
모델 기반 테스팅의 주요 연구 분야
- 테스트가 용이한 소프트웨어 모델의 설계: 모델 기반 테스팅의 효과성을 향상시키기 위한 모델의 설계 기법 연구
- 모델을 이용한 테스트 케이스 자동 생성: 모델로부터 커버리지가 높은 테스트 케이스 생성 연구
- 테스트 프로시져의 자동화: 모델 기반 테스팅의 산출물을 이용한 테스트 프로시져의 자동화 연구