피드백이 있는 임베디드 시스템을 위한 테스트 케이스 자동 생성
Automatic Test Case Generation for Embedded System with Feedback
초록/요약
본 논문은 임베디드 시스템이 제어하는 서브시스템의 실시간 피드백을 반영하여 테스트 케이스를 생성할 수 있는 테스트 생성기 구조를 제안한다. 일반적으로 폐쇄형 임베디드 시스템은 자신이 제어하는 서브시스템의 피드백을 참조하여 서브시스템의 다음 상태를 제어하는 값을 결정한다. 그와 같은 시스템에서는, 피드백을 고려하지 않는 전통적인 테스트 케이스는 사용하기 어렵다. 본 논문에서 제안하는 테스트 케이스 생성기 구조는 서브시스템의 피드백을 이용하여 다음에 사용할 테스트 케이스를 실시간 재구성한다. 제안하는 구조를 구현하고 데모 시스템을 이용하여 유용성을 검증한다.
more목차
제 1 장 서론 1
제 2 장 관련연구 5
제 1 절 테스트 케이스 생성 방법 5
제 2 절 피드백이 있는 시스템 테스트 6
제 3 장 실행 테스트 케이스 생성기 10
제 1 절 실행 테스트 케이스 생성기 구조 10
제 4 장 실험 16
제 1 절 실험 환경 구성 16
제 2 절 모의 미사일 시스템을 이용한 실행 테스트 케이스 검증 17
제 3 절 기존 HILS의 테스트 케이스 사용과 제안한 환경에서의 테스 트 케이스 사용의 차이 25
제 5 장 결론 28
참고문헌 29
Abstract 32
