• 전체
  • 전자/전기
  • 통신
  • 컴퓨터
닫기

사이트맵

Loading..

Please wait....

학술대회 프로시딩

홈 홈 > 연구문헌 > 학술대회 프로시딩 > 한국정보처리학회 학술대회 > 2016년 추계 학술대회

2016년 추계 학술대회

Current Result Document : 146 / 310 이전건 이전건   다음건 다음건

한글제목(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 다운로드