모델 기반 테스트 자동화 프레임워크 구축 사례 연구 - SpecMatch = Case Study : Model-Based Test Automation Framework - SpecMatch

국문 초록 (Abstract)

산업현장에서부터 일상 생활까지 임베디드 시스템의 사용이 보편화 됨에 따라 임베디드 시스템에 대한 신뢰성 및 품질 확보의 요구가 크게 증가 하고 있다. 임베디드 시스템의 신뢰성을 높이기 위해서는 내장 소프트웨어에 대한 시험 및 검사가 필수적이다. 따라서 내장 소프트웨어를 테스트 할 수 있는 단일화된 테스트 프레임워크의 구축은 내장 소프트웨어에 대한 테스트의 시간 및 비용의 소요를 줄이데 큰 기여를 한다. 본 논문에서는 차량용 자동 온도 제어 장치의 내장 소프트웨어 테스트 프레임워크의 개발 성과를 기반으로 테스트 프레임워크가 갖추어야 할 요구사항 및 개선방안을 제시한다.

다국어 초록 (Multilingual Abstract)

Needs for reliability and quality of embedded software is increasing in response to widespread using of embedded systems from industrial areas to daily lives. Software testing is inevitable to improve the reliability and guarantee the quality of embedded software. A test automation framework provides a solution for software testing and gives advantages in cost. This paper proposes a requirement and improvement of model-based test automation frameworks as a result of developing the SpecMatch, which is a model-based test automation framework for a vehicle temperature control system.

목차 (Table of Contents)

• 제 1 장 서론 = 1
• 제 2 장 관련 연구 = 2
• 제 1 절 소프트웨어 테스트의 방법론 = 2
• 제 2 절 모델 기반 테스트 (Model based testing) = 3
• 제 3 절 SCR 모델 = 4
• 제 3 장 SpecMatch = 9
• 제 1 절 SpecMatch의 구조 = 9
• 제 2 절 Test Model = 12
• 제 3 절 SUT 모델링 예제 = 14
• 제 4 절 테스트 케이스의 생성 = 17
• 제 5 절 통신 서브 시스템을 통한 그레이 박스 테스트 = 21
• 제 4 장 결론 = 24
• 참고 문헌 = 25
• Abstract = 28