지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학위논문
- 저자정보
- 지도교수
- 박홍성
- 발행연도
- 2017
- 저작권
- 강원대학교 논문은 저작권에 의해 보호받습니다.
이용수7
이 논문의 연구 히스토리 (3)
2017
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
소프트웨어 시스템의 기능 검증 시, 테스트 수행에 소요되는 시간은 테스트 케이스 설계에 많은 영향을 받는다. 컴포넌트 기반 소프트웨어 시스템은 컴포넌트 간의 수많은 데이터 전달로 구성되어 동작하며, 입출력 연관관계를 적절히 고려하지 않으면, 수행될 수 있는 경로가 일부 누락되거나, 테스트 케이스의 수가 폭발적으로 증가하게 된다. 본 논문에서는 기존의 논문들의 문제점을 개선한 테스트 케이스 축소 기법에 대하여 제안한다.
산출되는 결과의 정확성도 중요하지만 결과가 주어진 시간 안에 산출될 수 있는지 여부가 정확성 못지않게 중요한 실시간 시스템에서는 실시간 수행 적합성 검증을 위해 시스템이 최악 상황에서 실행될 때, 그 수행 시간이 제약 조건을 만족하는지를 판단하게 된다. 컴포넌트 기반 실시간 시스템을 구성하는 각각의 컴포넌트는 컴포넌트 개발자의 지적 재산권 보호를 목적으로 소스 코드를 제외한 바이너리만 배포하는 경우가 대부분이다. 따라서 기존의 정적 분석 기법 및 하이브리드 분석 기법을 컴포넌트 기반 실시간 시스템 검증에 적용하는 것이 부적합하다. 기존의 측정 기반 분석 기법의 경우, 시스템을 테스트 케이스에 따라 수행하고, 수행 과정에서 수행 시간을 측정하는 방식으로써, 분석에 소요되는 시간이 테스트 수행 시간에 따라 크게 증가하고, 정확성도 비교적 떨어진다. 따라서 본 논문에서 제안하는 모델 기반 최악 상황 수행 시간 분석 기법은 컴포넌트 기반 검증의 이점인 재사용성을 활용하여, 단위 컴포넌트의 수행 시간 명세를 기반으로 시스템 종단 간 수행 시간 분석에 소요되는 시간을 감소시킨다. 기존의 모델 기반 분석 기법과 비교할 때, 시스템 상에 존재할 수 있는 병렬 수행, 입력 도달 시간 등을 고려하여, 더 복잡한 시스템 모델에 적용 가능하도록 개선하였다. 또한 각 외부 출력이 어떤 출력 계산 시간, 입력 도달 시간과 연관되어 있는지를 판단하고, 실시간 적합성을 만족하지 않을 경우, 적합성 만족을 위한 시스템 수정 방안을 자동으로 분석할 수 있도록 한다.
산출되는 결과의 정확성도 중요하지만 결과가 주어진 시간 안에 산출될 수 있는지 여부가 정확성 못지않게 중요한 실시간 시스템에서는 실시간 수행 적합성 검증을 위해 시스템이 최악 상황에서 실행될 때, 그 수행 시간이 제약 조건을 만족하는지를 판단하게 된다. 컴포넌트 기반 실시간 시스템을 구성하는 각각의 컴포넌트는 컴포넌트 개발자의 지적 재산권 보호를 목적으로 소스 코드를 제외한 바이너리만 배포하는 경우가 대부분이다. 따라서 기존의 정적 분석 기법 및 하이브리드 분석 기법을 컴포넌트 기반 실시간 시스템 검증에 적용하는 것이 부적합하다. 기존의 측정 기반 분석 기법의 경우, 시스템을 테스트 케이스에 따라 수행하고, 수행 과정에서 수행 시간을 측정하는 방식으로써, 분석에 소요되는 시간이 테스트 수행 시간에 따라 크게 증가하고, 정확성도 비교적 떨어진다. 따라서 본 논문에서 제안하는 모델 기반 최악 상황 수행 시간 분석 기법은 컴포넌트 기반 검증의 이점인 재사용성을 활용하여, 단위 컴포넌트의 수행 시간 명세를 기반으로 시스템 종단 간 수행 시간 분석에 소요되는 시간을 감소시킨다. 기존의 모델 기반 분석 기법과 비교할 때, 시스템 상에 존재할 수 있는 병렬 수행, 입력 도달 시간 등을 고려하여, 더 복잡한 시스템 모델에 적용 가능하도록 개선하였다. 또한 각 외부 출력이 어떤 출력 계산 시간, 입력 도달 시간과 연관되어 있는지를 판단하고, 실시간 적합성을 만족하지 않을 경우, 적합성 만족을 위한 시스템 수정 방안을 자동으로 분석할 수 있도록 한다.
목차
I. 서 론 11. 연구 배경 12. 연구 목표 43. 논문 구성 5II. 관련 연구 71. 조합 테스트 기법 71) n-way 테스트 기법 72) 입출력 연관관계 기반 조합 테스트 기법 83) 입출력 연관관계 기반 적응형 조합 테스트 기법 (Input Output Relationship Based Adaptive Combinatorial Testing, IOReACT) 122. 최악 상황 수행 시간(Worst-Case Execution Time, WCET) 분석 151) 컴포넌트의 최악 상황 수행 시간 분석 152) 컴포넌트 기반 시스템의 종단 간 최악 상황 수행 시간 분석 16III. 컴포넌트 기반 시스템 조합 테스트 기법 191. 시스템 모델 및 알고리즘 표기 정의 192. 테스트 케이스 조합 알고리즘 203. 테스트 케이스 조합 알고리즘 동작 예시 23IV. 컴포넌트 기반 시스템 실시간 테스트 기법 261. 모델 기반 최악 상황 수행 시간 분석 262. 컴포넌트 기반 실시간 시스템의 종단 간 WCET 분석 기법 273. 실시간 적합성 판단 및 프로그램 수정 방안 자동 분석 31V. 실험 및 평가 341. 실험 1 : 컴포넌트 기반 시스템의 통합 검증 341) 실험 환경 342) 실험 결과 372. 실험 2 : 컴포넌트 기반 시스템의 실시간 테스트 실험 421) 실험 환경 422) 실험 결과 443. 실험 3 : 입출력 연관관계 집합 간 교집합이 존재할 때, 테스트 케이스 생성 성능 비교 481) 실험 환경 492) 실험 결과 504. 실험 4 : 입출력 연관관계 집합 간 교집합이 존재하지 않을 때, 테스트 케이스 생성 성능 비교 521) 실험 환경 522) 실험 결과 525. 실험 평가 53VI. 결론 55참고문헌 57부 록 62
최근 본 자료
댓글(0)
0