인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
DBpia AI
AI 에이전트
AI 아이디어
AI 리더
AI 뷰어
Citeasy
크롬 서지관리 다운로드
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학위논문
- 저자정보
- 지도교수
- 崔振榮
- 발행연도
- 2017
- 저작권
- 고려대학교 논문은 저작권에 의해 보호받습니다.
이용수0
초록· 키워드
상세정보 수정요청해당 페이지 내 제목·저자·목차·페이지정보가 잘못된 경우 알려주세요!
국방, 항공, 자동차, 의료, 휴대폰, TV 등 다양한 분야에서 소프트웨어의 비중이 증가함에 따라 소프트웨어 오류로 인한 피해도 증가하고 있다. 이러한 오류를 검출하기 위한 소프트웨어 검증 방법으로 테스팅이 많이 사용된다.
하지만, 이러한 테스팅은 사람이 수동으로 테스트케이스를 만들기 때문에 많은 시간과 비용이 드는 어려움이 있다.
본 논문에서는 개발자가 실수하기 쉬운 경계 값에 해당하는 테스트케이스를 자동으로 구하는 방법을 연구한다. 기존에 블랙박스 테스팅 기법인 경계 값 분석을 화이트박스 도구인 콘콜릭 테스팅에 적용한다. 실제로 동적심볼릭 수행 기법을 이용하는 콘콜릭 테스팅 도구 CREST를 수정하여 대상 프로그램의 모든 실행 경로를 제약식으로 출력함으로써 출력된 제약식을 가지고 경계 값 분석 기법을 적용하여 테스트케이스를 구할 수 있었다.
하지만, 이러한 테스팅은 사람이 수동으로 테스트케이스를 만들기 때문에 많은 시간과 비용이 드는 어려움이 있다.
본 논문에서는 개발자가 실수하기 쉬운 경계 값에 해당하는 테스트케이스를 자동으로 구하는 방법을 연구한다. 기존에 블랙박스 테스팅 기법인 경계 값 분석을 화이트박스 도구인 콘콜릭 테스팅에 적용한다. 실제로 동적심볼릭 수행 기법을 이용하는 콘콜릭 테스팅 도구 CREST를 수정하여 대상 프로그램의 모든 실행 경로를 제약식으로 출력함으로써 출력된 제약식을 가지고 경계 값 분석 기법을 적용하여 테스트케이스를 구할 수 있었다.
목차
- 1. 서론.....................................................................12. 관련 연구................................................................32.1 동적 심볼릭 수행....................................................32.2 제약식 해석기.......................................................72.3 블랙 박스 테스팅....................................................82.4 증가한 동적 심볼릭 수행............................................103. 동적 심볼릭 수행을 이용한 경계 값 분석..................................113.1 CREST 도구 수정....,,..............................................113.2 제약식을 이용한 경계 값 분석.......................................134. 실험 내용...............................................................144.1 사례 연구(1).......................................................144.1.1 수정된 CREST를 이용한 실행경로 제약식 출력....................144.1.2 출력된 실행 경로 제약식으로 경계 값 분석......................184.2 사례 연구(2).......................................................194.2.1 수정된 CREST를 이용한 실행경로 제약식 출력....................194.2.2 출력된 실행 경로 제약식으로 경계 값 분석......................294.3 사례 연구(3).......................................................304.3.1 수정된 CREST를 이용한 실행경로 제약식 출력....................304.3.2 출력된 실행 경로 제약식으로 경계 값 분석......................335. 결론 및 향후 연구.......................................................34
최근 본 자료
