지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제37권 제10호
- 발행연도
- 2010.10
- 수록면
- 768 - 772 (5page)
이용수
초록· 키워드
오류제보하기
콘콜릭 테스트는 높은 테스트 커버리지를 달성하기 위해 실제 프로그램 수행과 심볼릭 수행을 결합하여 테스트 데이터를 생성한다. CREST는 콘콜릭 테스팅을 구현한 대표적인 open-source인 테스트 도구이다. 그러나 현재 CREST는 기본적으로 프로그램의 모든 가능한 실행 경로들을 탐색하는 것을 목적으로 한다. 이 때문에 특정 분기 또는 블록만을 테스트하는 경우에는 비효율적일 수 있다. 이 논문에서는 프로그램 상의 한 분기 또는 블록을 주고 이를 실행할 수 있는 테스트 데이터를 생성하는 목적 지향 콘콜릭 테스트 방법을 제안한다.
목차
요약
Abstract
1. 서론
2. CREST
3. 목적지향 콘콜릭 테스트
4. 실험 결과
5. 결론 및 향후 연구
참고문헌
참고문헌 (7)
참고문헌 신청
1. [학술대회논문] - J. Edvardsson / 1999 / A Survey on Automatic Test Data Generation / Proc. the Second Conf. on Computer Science and Engineering : 21 ~ 28
2. [학술대회논문] - P. Godefroid / 2005 / DART: Directed automated random testing / Proc. of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI)
3. [학술대회논문] - J. Burnim / 2008 / Heuristics for Dynamic Test Generation / 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE)
4. [학술대회논문] - G. C. Necula / 2002 / CIL: Intermediate Language and Tools for Analysis and transformation of C Programs / Proc. of Conference on compiler Construction : 213 ~ 228
5. [학술지(정기간행물)] - J. Ferrante / 1987 / The Program Dependence Graph and its Use in Optimization / ACM Trans. Softw. Eng., Methodology 2 (9) : 319 ~ 349
2. [학술대회논문] - P. Godefroid / 2005 / DART: Directed automated random testing / Proc. of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI)
3. [학술대회논문] - J. Burnim / 2008 / Heuristics for Dynamic Test Generation / 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE)
4. [학술대회논문] - G. C. Necula / 2002 / CIL: Intermediate Language and Tools for Analysis and transformation of C Programs / Proc. of Conference on compiler Construction : 213 ~ 228
5. [학술지(정기간행물)] - J. Ferrante / 1987 / The Program Dependence Graph and its Use in Optimization / ACM Trans. Softw. Eng., Methodology 2 (9) : 319 ~ 349
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Generating Test Data for Programs with Flag Variables using Goal-oriented Concolic Testing
한국인터넷방송통신학회 논문지
2012 .01
-
Automatic Test Case Generation through Concolic Testing to Improve SW Quality of Defense Weapon System
Journal of KIISE
2019 .09
-
Concolic 단위 테스팅 기법을 사용한 효과적인 자동차SW 커버리지 향상
한국자동차공학회 추계학술대회 및 전시회
2018 .11
-
Improving Applicability and Usability of a Concolic Testing Tool CROWN
Journal of KIISE
2018 .10
-
Assert 삽입을 통한 Concolic 단위 테스팅의 결함 검출력 향상
한국자동차공학회 춘계학술대회
2019 .05
-
반복 횟수를 제한한 경로 탐색을 통한 Concolic 테스팅의 커버리지 달성 향상
한국정보과학회 학술발표논문집
2019 .06
-
CREST-BV: 임베디드 소프트웨어를 위한 Bitwise 연산을 지원하는 Concolic 테스팅 기법
정보과학회논문지 : 소프트웨어 및 응용
2013 .02
-
A Study on Improvement of Scoring in Programming Practice Questions Using Concolic Testing Technique
Journal of KIISE
2019 .11
-
A Case Study on the Improvement of Software Test Effectiveness through Static Testing
정보과학회논문지 : 소프트웨어 및 응용
2007 .03
-
Concolic Testing 도구 KLEE의 다양한 탐색 방법 비교
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .04
-
Concolic Testing기법을 활용한 프로그래밍 실습 문항의 채점 개선에 관한 연구
한국정보과학회 학술발표논문집
2018 .12
-
Concolic 테스팅 기법을 구현한 KLEE 테스팅 도구의 사례 연구
한국정보과학회 학술발표논문집
2011 .11
-
분기 커버리지를 위한 동적 테스트 데이터 생성
한국정보과학회 학술발표논문집
2012 .06
-
패킷 필터링 기능 테스트를 위한 테스트 도구 개발
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2007 .04
-
포함, 파워 관계, 및 테스트 재사용성에 기반을 둔 객체지향 프로그램을 위한 테스트 기준의 비교방법
(구)정보과학회논문지
1995 .05
-
소프트웨어 블랙박스 테스팅 기법 비교 및 커버리지 분석을 통한 성능 측정
대한전기학회 학술대회 논문집
2009 .07
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2012-569-003585285