정기현 김정우 2015-08 20274 https://aurora.ajou.ac.kr/handle/2018.oak/12955 학위논문(석사)--아주대학교 일반대학원 :전자공학과,2015. 8 본 논문은 SMT Solver인 Yices를 이용하여 SImulink/Stateflow 모델의 테스트 케이스를 자동으로 생성하는 기법을 제안한다. Yieces는 복잡한 시스템의 도달 가능성 문제를 효과적으로 해결하는 방법으로 널리 사용되고 있는 SMT Solver는 모델 기반의 테스트 케이스 생성에서도 좋은 성능을 보이고 있다. 기존의 기법들은 생성된 테스트 케이스는 재사용성이 떨어지고, 시나리오를 찾아내기가 힘들다는 단점을 가지고 있다. 이것은 기존 방법들이 전체모델을 대상으로 테스트 케이스를 생성하기 때문이다. 이 문제들을 해결하기 위해서, 본 논문에서 제안하는 방법은 서브시스템 단위로 테스트 케이스를 생성한다. 제안된 기법의 유용성은 실제 냉장고 제어 시스템의 테스트 케이스 생성을 통하여 검증한다. 제 1 장 서론 1 제 2 장 연구 배경 및 관련 연구 5 제 1 절 모델 기반 테스트(Model Based Test) 5 제 2 절 SAT(Satisfiability Problem)와 SMT 7 제 3 절 SMT를 사용한 Stateflow 모델 테스트 케이스 생성 8 제 3 장 서브시스템 중심 테스트 케이스 생성 기법 10 제 1 절 SMT 표현 11 제 2 절 Stateflow 정보 13 제 1 항 Symbol DB 13 제 2 항 Target DB 14 제 3 항 State DB 16 제 4 항 Config DB 18 제 3 절 테스트 케이스 생성 18 제 1 항 테스트 목표를 만족하는 입력 생성 20 제 2 항 Backward driven 테스트 케이스 생성 22 제 4 장 실험 24 제 1 절 냉장고 제어 시스템 모델링 및 테스트 케이스 생성 24 제 2 절 생성된 테스트 케이스 25 제 5 장 결론 29 kor The Graduate School, Ajou University 아주대학교 논문은 저작권에 의해 보호받습니다. 분할에 의한 Simulink/Stateflow 모델 기반 테스트 케이스 생성 Simulink/Stateflow Model Based Test Case Generation using a Decomposition Approach Thesis 아주대학교 일반대학원 일반대학원 전자공학과 2015. 8 Master http://dcoll.ajou.ac.kr:9080/dcollection/jsp/common/DcLoOrgPer.jsp?sItemId=000000020274 Test Case Generation Simulink/Stateflow