지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2012.1
- 수록면
- 123 - 132 (10page)
이용수
초록· 키워드
오류제보하기
이 논문은 콘콜릭 테스팅을 특화한 목적 지향 테스트 데이터 생성 방법을 제안한다. GCT(Goal-oriented Concolic Testing)라 불리는 제안된한 특정 목표를 실행하는 테스트 입력을 생성한다. 콘콜릭 테스팅은 요구되는 테스트 입력을 발견할 때 까지 모든 가능한 경로 공간을 탐색하는 브루트 포스 방식으로 간주할 수 있다. 대조적으로 GCT는 자료 흐름 정보를 활용하여 목표가 실행되기 위해 먼저 수행되어야 하는 문장들을 식별하여 탐색되는 프로그램 경로의 수를 제한한다. 플래그 변수가 있는 실험을 통해 GCT의 효과성을 보인다.
목차
등록된 정보가 없습니다.
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
최근 본 자료
댓글(0)
0