최경희 김정현 2007-02 2271 https://aurora.ajou.ac.kr/handle/2018.oak/16628 학위논문(석사)--아주대학교 정보통신전문대학원 :정보통신공학과,2007.2 산업현장에서부터 일상 생활까지 임베디드 시스템의 사용이 보편화 됨에 따라 임베디드 시스템에 대한 신뢰성 및 품질 확보의 요구가 크게 증가 하고 있다. 임베디드 시스템의 신뢰성을 높이기 위해서는 내장 소프트웨어에 대한 시험 및 검사가 필수적이다. 따라서 내장 소프트웨어를 테스트 할 수 있는 단일화된 테스트 프레임워크의 구축은 내장 소프트웨어에 대한 테스트의 시간 및 비용의 소요를 줄이데 큰 기여를 한다. 본 논문에서는 차량용 자동 온도 제어 장치의 내장 소프트웨어 테스트 프레임워크의 개발 성과를 기반으로 테스트 프레임워크가 갖추어야 할 요구사항 및 개선방안을 제시한다. 제 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 kor The Graduate School, Ajou University 아주대학교 논문은 저작권에 의해 보호받습니다. 모델 기반 테스트 자동화 프레임워크 구축 사례 연구 - SpecMatch Kim, Jeong-Hyun Thesis 아주대학교 정보통신전문대학원 Kim, Jeong-Hyun 정보통신전문대학원 정보통신공학과 2007. 2 Master http://dcoll.ajou.ac.kr:9080/dcollection/jsp/common/DcLoOrgPer.jsp?sItemId=000000002271 모델 기반 소프트웨어 테스트 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.