대표어
한국학술지인용색인(NRF)
권호기사보기
| 기사명 | 저자명 | 페이지 | 원문 | 기사목차 |
|---|
국회도서관 홈으로
정보검색
소장정보 검색
결과 내 검색
동의어 포함
목차보기
목차
CUTIG : 정적 분석을 이용한 C언어 단위 테스트 데이타 추출 자동화 도구 / 김택수 ; 박복남 ; 이춘우 ; 김기문 ; 서윤주 ; 우치수 1
요약 1
Abstract 1
1. 서론 2
2. 기본 개념 2
2.1. 대상 언어 2
2.2. 기호 실행 3
3. 기호 실행을 이용한 테스트 데이타 추출의 자동화 4
3.1. 자유 변수의 기호화 4
3.2. 경로의 추출 4
3.3. 경로의 수행 및 경로조건의 추출 6
3.4. 경로 조건의 풀이 6
4. CUTIG 7
5. 적용사례 8
6. 관련 연구 9
7. 결론 및 향후 연구 9
참고문헌 10
[저자소개] 10
초록보기
단위 시험은 지속적이고 반복적으로 수행되어야 하기 때문에 높은 비용을 필요로 하는 작업이다. 단위 시험의 자동화에 대한 많은 연구가 있었으나 테스트 데이타의 자동 추출에 대한 연구는 큰 성과를 이루지 못하고 있다. 본 연구에서는 소프트웨어의 소스 코드로부터 테스트 데이타를 자동으로 추출하는 방안에 대해 논의하고 각 단계의 알고리즘을 제시하였다. 또한 테스트 데이타 추출 자동화에 관한 이슈를 소개하고 테스트 데이타 추출 자동화 도구 CUTIG를 소개한다. CUTIG는 실제 소스코드를 이용하여 테스트 데이타를 추출하므로 소프트웨어의 요구사항 명세가 잘 작성되어 있지 않거나 실제 구현과 차이가 있는 경우에도 테스트 데이타를 생성할 수 있다. 또한 이 도구를 통해 개발자가 직접 테스트 데이타를 작성하는 데 소요되는 비용을 절감할 수 있기를 기대한다.
As unit testing should be performed repeatedly and continuously, it is a high-cost software development activity. Although there are many studies on unit test automation, there are less studies on automated test case generation which are worthy of note. In this paper, we discuss a study on automated test data generation from source codes and indicate algorithms for each stage. We also show some issues of test data generation and introduce an automated test data generating tool: CUTIG. As CUTIG generates test data not from require specifications but from source codes, software developers could generate test data when specifications are insufficient or discord with real implementation. Moreover we hope that the tool could help software developers to reduce cost for test data preparation.
As unit testing should be performed repeatedly and continuously, it is a high-cost software development activity. Although there are many studies on unit test automation, there are less studies on automated test case generation which are worthy of note. In this paper, we discuss a study on automated test data generation from source codes and indicate algorithms for each stage. We also show some issues of test data generation and introduce an automated test data generating tool: CUTIG. As CUTIG generates test data not from require specifications but from source codes, software developers could generate test data when specifications are insufficient or discord with real implementation. Moreover we hope that the tool could help software developers to reduce cost for test data preparation.
권호기사
| 기사명 | 저자명 | 페이지 | 원문 | 목차 |
|---|---|---|---|---|
| QoS 기반 웹서비스 조합에서 신뢰성 평가를 통한 서비스 선택 기법 | 김유경 ;고병선 | pp.1-9 |
|
보기 |
| CUTIG :정적 분석을 이용한 C언어 단위 테스트 데이타 추출 자동화 도구 | 김택수 ;박복남 ;이춘우 ;김기문 ;서윤주 ;우치수 | pp.10-20 |
|
보기 |
| 지능형 서비스 로봇을 위한 품질특성 기반의 소프트웨어 아키텍처 브로커링 방법 | 서승렬 ;구형민 ;고인영 | pp.21-29 |
|
보기 |
| 재사용성 향상을 위한 임베디드 소프트웨어의 동적 가변성 설계 기법 | 김철진 ;조은숙 | pp.30-44 |
|
보기 |
| 시나리오의 자동 생성을 통한 GUI 테스트 케이스 생성 방법 | 이정규 ;국승학 ;김현수 | pp.45-53 |
|
보기 |
| 칼라 양자화 맵의 영역 히스토그램에 기반한 조명 적응적 피부색 영역 분할 | 조성식 ;배정태 ;이성환 | pp.54-61 |
|
보기 |
| 동적 연결 그래프를 이용한 자동 문서 요약 시스템 | 송원문 ;김영진 ;김은주 ;김명원 | pp.62-69 |
|
보기 |
| EPC 네트워크의 전자물품코드(EPC) 데이타 의미표현과 해석 | 박대원 ;권혁철 | pp.70-81 |
|
보기 |
| 연속된 수화 인식을 위한 자동화된 Coarticulation 검출 | 양희덕 ;이성환 | pp.82-91 |
|
보기 |
| 한국어 어휘의미망 「KorLex 1.5」의 구축 | 윤애선 ;황순희 ;이은령 ;권혁철 | pp.92-108 |
|
보기 |
참고문헌 (11건) : 자료제공( 네이버학술정보 )
| 번호 | 참고문헌 | 국회도서관 소장유무 |
|---|---|---|
| 1 | I. Sommerville, "Software Engineering," 8th Edition, Addison-Wesley, 2007. | 미소장 |
| 2 | B. Blanc, et. al., "Automated functional test case generation from data flow specifications using structural coverage criteria," European Congress ERTS 2006, 2006. | 미소장 |
| 3 | V. Rusu, L. du Bousquet, and T. Jéron, "An approach to symbolic test generation," Proceedings of the Second International Conference on Integrated Formal Methods, pp. 338—357, 2000. | 미소장 |
| 4 | C. Bigot, et. al., "Automatic Test Generation with AGATHA," Lecture Notes in Computer Science, Vol. 2619, pp. 591-596, 2003. | 미소장 |
| 5 | K. Sen, D. Marinov, and G. Agha, "CUTE A concolic unit testing engine for C," Joint meeting of the European Soft. Eng. Conf. and ACM SIGSOFT Intl. Symp. on Foundations of Soft. Eng. (ESEC/FSE’05), pp. 263-272, 2005. | 미소장 |
| 6 | C. Pacheco, S. K. Lahiri, M. D. Ernst, and T. Ball, "Feedback-directed random test generation," Technical Report MSR-TR-2006-125, Microsoft Research, Redmond, 2006. | 미소장 |
| 7 | E. F. Moore, "Gedanken-experiments on sequential machines," Automata Studies, pp. 129-153, 1956. | 미소장 |
| 8 | Symbolic execution and program testing  |
미소장 |
| 9 | W. Visser, C. S. pasareanu, and S. Huurshid, "Test Input Generation with Java PathFinder," ACM SIGSOFT Intl. Symp. on Software Testing and Analysis(ISSTA 2004), pp. 97-107, 2004. | 미소장 |
| 10 | OCAML, Objective Caml, http://caml.inria.fr/. | 미소장 |
| 11 | CIL, C Intermediate Language, http://www.cs.berkeley.edu/~necula/cil/. | 미소장 |
MARC 보기
오류 데이터 정정요청
*표시는 필수 입력사항입니다.
알림톡 발송
| 전화번호 |
|---|
개인정보 수정 바로가기
연속간행물 권호 선택
우편복사 안내
- ◾ 도서관을 방문하지 못할 경우 인터넷, 팩스 등으로 자료 복사를 신청하고, 복사물을 우편·팩스 등으로 제공받는 서비스
- ◾ 대상자료: 일반도서, 연속간행물 및 학위논문
- ※ 고서, 고잡지, 훼손될 우려가 있는 자료, 마이크로폼 자료 및 신문 등 제외
- ◾ 신청 책수: 1인 5책 이하(1일 기준)
- ◾ 신청 절차: 자료 검색 → 우편복사 목록담기 → 복사 범위 입력 → 우편복사 주문서 입력 → 접수 및 확인
- ※ 저작권법에 의거하여 부분 복사(전체 페이지 수의 1/3 범위 이내)만 가능
- ◾ 복사 범위 입력 예시: (연속 페이지) 1-30, (부분 페이지) 25, 30-40
| 번호 | 발행일자 | 권호명 | 제본정보 | 자료실 | 원문 | 신청 페이지 |
|---|
도서위치안내(서울관)
도서위치안내: / 서가번호:
0
확인
우편복사 목록담기를 완료하였습니다.
내서재에 담기
새로운 서재
*표시는 필수 입력사항입니다.
저장
저장 되었습니다.