Simulink/Stateflow 모델 정보를 이용한 테스트 케이스 자동 생성
- 주제(키워드) 테스트 케이스 자동 생성 , 모델 기반 테스트
- 발행기관 아주대학교
- 지도교수 정기현
- 발행년도 2017
- 학위수여년월 2017. 2
- 학위명 석사
- 학과 및 전공 일반대학원 전자공학과
- 실제URI http://www.dcollection.net/handler/ajou/000000024205
- 본문언어 한국어
- 저작권 아주대학교 논문은 저작권에 의해 보호받습니다.
초록/요약
본 논문에서는 SMT(Satisfiability Modulo Theories) Solver인 Yices와 Simulink/Stateflow(SL/SF)의 모델 정보를 이용한 SL/SF 모델의 테스트 케이스 생성 기법을 제안한다. SL/SF 모델로부터 테스트 케이스 생성 시 발생하는 가장 어려운 점은 도달 가능성 문제를 해결하는 것이다. 제안하는 방법에서는 Yices와 모델 정보로부터 만들어진 테이블로 도달 가능성 문제를 해결한다. 제안하는 방법에서는 SL/SF 모델을 Yices의 입력 언어로 변환한 SMT 모델을 사용하여 테스트 케이스를 생성한다. SL/SF 모델로부터 생성된 정보들은 제안하는 테스트 케이스 생성 알고리즘의 Backward 프로세싱에 사용되어 테스트 케이스 생성 효율을 증가시킨다. 제안된 테스트 케이스 생성 기법은 상용 냉장고 제어시스템 모델과 자동차의 ECU(Electrical Control Unit) 모델을 이용하여 성능을 평가한다.
more목차
제 1 장 서론 1
제 2 장 관련연구 4
제 1 절 Simulink/Stateflow(SL/SF) 모델 4
제 2 절 SL/SF 모델 기반 테스트 케이스 생성 6
제 3 절 SMT Solver 8
제 3 장 Yices와 SL/SF 정보를 이용한 테스트 케이스 생성 10
제 1 절 테스트 케이스 생성을 위한 정보 11
제 2 절 Yices를 이용한 테스트 케이스 생성 16
제 3 절 테스트 케이스 생성 알고리즘 17
제 1 항 Stateflow의 입력을 구하는 함수 19
제 2 항 시스템 입력을 구하는 함수 22
제 3 항 시뮬레이션 함수 25
제 4 절 피드백 입력을 고려한 테스트 케이스 생성 27
제 4 장 실험 28
제 5 장 결론 32
참고문헌 33
Abstract 36
