생몰정보
소속
직위
직업
활동분야
주기
서지
국회도서관 서비스 이용에 대한 안내를 해드립니다.
검색결과 (전체 1건)
원문 있는 자료 (1) 열기
원문 아이콘이 없는 경우 국회도서관 방문 시 책자로 이용 가능
목차보기더보기
표제지
논문요약
목차
1. 서론 9
2. 관련연구 12
2.1. 차량용 소프트웨어 테스트 중 결함 지역화 기법 12
2.2. Program Spectra를 이용한 결함 지역화 기법 13
2.3. 순차 패턴을 이용한 결함 검출 기법 15
3. 메모리 데이터 수집 및 전처리 17
3.1. 메모리 데이터 17
3.1.1. 메모리 데이터 및 업데이트 정보 17
3.1.2. 메모리 수집 19
3.2. 메모리 데이터 전처 리 21
4. 메모리 업데이트 순차 패턴 탐색을 통한 결함 위치 추정 기법 24
4.1. 메모리 업데이트 순차 패턴 탐색 24
4.1.1. 메모리 업데이트 순차 패턴 정의 24
4.1.2. 메모리 순차 패턴 발견 기법 25
4.1.3. 테스트 입력 및 심볼 업데이트 간격 획득 27
4.1.4. 관심 심볼 목록 획득 29
4.1.5. 관심 패턴 탐색 32
4.2. 결함 영향 패턴 및 심볼 구분 34
5. 실험 및 검증 39
5.1. 실험 환경 구성 39
5.2. 실험 준비 42
5.3. 실험 결과 46
6. 결론 52
참고문헌 53
Abstract 56
표 1. SUT의 수행 기능 40
표 2. 시뮬레이터의 장비 구성 41
표 3. 모니터링 시스템과 데이터 분석 시스템의 장비 구성 42
표 4. 실험 대상 테스트 스크립 트 43
표 5. 결함 주입 리스트와 예상 결함, 수집 횟수 43
표 6. Ground Truth 순차 패턴의 일부 45
표 7. 테스트 입력과 메모리 심볼의 업데이트 간격 47
표 8. 결함 발생시 정상 패턴과의 주요 차이 및 예상 발생 지점 50
표 9. 메모리 공간 및 시간 축소율 51
그림 1. HiL 테스트 시스템 예시 9
그림 2. 메모리 업데이트 여부를 이용한 프로그램 동작 파악 18
그림 3. 데이터 캐스케이딩 기법의 예시 19
그림 4. 메모리 전처리 과정 21
그림 5. 메모리 순차 패턴 발견 기법 26
그림 6. 테스트 입력 업데이트 간격 획득 알고리즘 27
그림 7. 심볼 업데이트 간격 획득 알고리즘 28
그림 8. 유사 업데이트 심볼 탐색 알고리즘 29
그림 9. LCS 기반 유사도 계산 알고리즘 31
그림 10. 특징 패턴 탐색 알고리즘 33
그림 11. 패턴 간 거리 계산 알고리즘 35
그림 12. 결함 패턴 및 심볼 구분 과정 37
그림 13. 패턴 부조화 보정 및 거리 계산 알고리즘 38
그림 14. 실험 환경 사진 39
그림 15. 테스트 대상 기능의 Data Flow 그래프 44
그림 16. 정상 상태의 메모리 업데이트 순차 패턴 48
그림 17. M1 상태의 메모리 업데이트 순차 패턴 49
그림 18. 정상 - M1의 업데이트 순차 패턴 차이 49
원문구축 및 2018년 이후 자료는 524호에서 직접 열람하십시요.
도서위치안내: / 서가번호:
우편복사 목록담기를 완료하였습니다.
* 표시는 필수사항 입니다.
* 주의: 국회도서관 이용자 모두에게 공유서재로 서비스 됩니다.
저장 되었습니다.
로그인을 하시려면 아이디와 비밀번호를 입력해주세요. 모바일 간편 열람증으로 입실한 경우 회원가입을 해야합니다.
공용 PC이므로 한번 더 로그인 해 주시기 바랍니다.
아이디 또는 비밀번호를 확인해주세요