| 한글제목(Korean Title) |
MC/DC 커버리지를 만족하는 콘콜릭 테스팅 연구 |
| 영문제목(English Title) |
Concolic testing research to satisfy the MC/Dc converage |
| 저자(Author) |
최석원
구근희
최진영
Seok-won choi
Keun-hoi Koo
Jin-Young Choi
|
| 원문수록처(Citation) |
VOL 23 NO. 02 PP. 0423 ~ 0425 (2016. 11) |
한글내용
(Korean Abstract) |
콘콜릭 테스팅(Concolic testing)은 프로그램 실행을 실제 구체적인 입력 값(Concrete Values)을 입력하며, 동시에 심볼릭 실행(Symbolic execution)을 진행하는 테스팅 기법이다. 콘콜릭 테스팅은 모든 실행 가능 경로를 탐색하여, 테스트 케이스를 자동 생성한다. 그래서 높은 분기 커버리지를 나타내지만, 안전성을 목표로 하는 MC/DC 커버리지는 만족하지 못한다. 본 논문에서는 분기 커버리지와 MC/DC 커버리지를 만족하는 테스트 케이스를 자동생성하는 CREST 도구 개선을 제안한다.
|
영문내용
(English Abstract) |
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
