지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 컴퓨팅의 실제 및 레터 정보과학회논문지 : 컴퓨팅의 실제 및 레터 제18권 제4호
- 발행연도
- 2012.4
- 수록면
- 321 - 325 (5page)
이용수
초록· 키워드
오류제보하기
테스트 케이스 자동생성기법인 Concolic (concrete+symbolic) 테스팅 기법을 사용하는 테스팅 도구인 KLEE의 심볼릭 state를 스케줄링하는 탐색 방법(search strategy)들의 분기 커버리지 성능을 비교 분석했다. 또한 분기 커버리지를 보다 빠르게 높일 수 있는 breadth first search (BFS)를 새롭게 구현해 기존 방법들과 비교했다. 본 실험에서는 GNU Coreutils 버전 8.9를 대상으로, 주어진 시간에 각 탐색 방법들이 달성하는 분기 커버리지(branch coverage)를 비교하고 결과를 분석했다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. KLEE 테스팅 도구
4. KLEE 적용 비교 분석
5. 결론 및 향후 연구
참고문헌
참고문헌 (13)
참고문헌 신청
C. Pasareanu / 2009 / A survey of new trends in symbolic execution for software testing and analysis / ICSE, 2009
J. Burnim / 2008 / Heuristics for scalable dynamic test generation
K. Sen / 2005 / CUTE: A concolic unit testing engine for C / ESEC/FSE
P. Godefroid / 2005 / DART: Directed automated random testing / PLDI
C. Cadar / 2008 / KLEE: Unassisted and automatic generation of high- coverage tests for complex systems programs / USENIX Symposium on OSDI
J. Burnim / 2008 / Heuristics for scalable dynamic test generation
K. Sen / 2005 / CUTE: A concolic unit testing engine for C / ESEC/FSE
P. Godefroid / 2005 / DART: Directed automated random testing / PLDI
C. Cadar / 2008 / KLEE: Unassisted and automatic generation of high- coverage tests for complex systems programs / USENIX Symposium on OSDI
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0