2013년 추계 학술대회
Current Result Document :
| 한글제목(Korean Title) |
실시간 모델 기반 테스트 케이스를 코드 테스트에 활용하기 위한 방법 |
| 영문제목(English Title) |
Application of real-time model based test cases to test cases on code |
| 저자(Author) |
서동원
지은경
배두환
Dongwon Seo
Eunkyoung Jee
Doo-Hwan Bae
|
| 원문수록처(Citation) |
VOL 40 NO. 02 PP. 0490 ~ 0492 (2013. 11) |
한글내용
(Korean Abstract) |
모델 기반 테스팅은 소프트웨어 요구사항을 표현한 모델로부터 생성된 테스트 케이스를 테스트 대상 프로그램에 수행함으로써 테스트 대상 프로그램이 모델에 명세된 대로 작동하는지 여부를 확인하는 기법이다. 모델 기반 테스팅을 하기 위해서는 모델로부터 생성된 테스트 케이스를 테스트 대상 프로그램에서 수행할 수 있는 형태로 변환하여야 하는데 실시간 모델 기반 테스트 케이스를 코드 테스트 케이스로 변환하는 방법에 대한 구체적 사례를 찾아보기 어렵다. 본 연구는 실시간 소프트웨어인 심장박동기 대상 타임드 오토마타 모델로부터 COVER 도구를 이용하여 테스트 케이스를 자동 생성하고 이렇게 생성된 테스트 케이스를 코드 대상 테스트 케이스 형태로 변환하기 위한 방법을 제안한다.
|
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
