분류
2024년 2월
작성일
2023.10.17
수정일
2023.10.17
작성자
이선열
조회수
137

상태 기반 테스트 시나리오 보강 방법

상태 머신 다이어그램을 이용하여 테스트 시나리오를 생성하는 상태 기반 테스트 (State-Based Testing; SBT)가 활발하게 수행되고 있다. 모든 전이 커버리지 전략 과 왕복 여행 경로 커버리지 전략이 일반적인 SBT 전략으로 널리 사용되고 있다. 그러나 이들이 생성한 테스트 시나리오는 스택에 원소를 추출하고 삽입하는 것과 같은 필수적인 시나리오도 테스트하지 않는 경우가 있다. 본 논문에서는 이벤트 쌍 커버리지를 이용하여 더 많은 필수적인 시나리오를 테스트하도록 이들이 생성한 테스트 시나리오를 보강하는 기법을 제안한다. 또한, 상태 머신 기반 시스템의 효 율적인 sneak path 테스트를 위한 테스트 시나리오 보강 방법도 제안한다. 이벤트 간 실행 순서를 분석하여 이벤트 도미네이터 트리를 작성하고, 이를 이용하여 효율 적으로 sneak path를 확인하도록 테스트 시나리오를 보강한다.

학위연월
2024년 2월
지도교수
채흥석
키워드
상태 머신 다이어그램, 상태 기반 테스트, 이벤트 쌍, sneak path, 이벤트 쌍 커버리지, 이벤트 도미네이터 트리
소개 웹페이지
https://sites.google.com/view/sun-thesis
첨부파일
첨부파일이(가) 없습니다.
다음글
한글 채팅 텍스트 기반의 저자 검증 모형과 그 응용
이다영 2024-04-05 10:38:33.61
이전글
Manufacturing Testing Automation FrameworkBased on Large Language Models
강효은 2023-10-17 10:23:10.213
RSS 2.0 117
게시물 검색
박사학위논문
번호 제목 작성자 작성일 첨부파일 조회수
117 Trust Guard Extension Framework for Enhanced Secur 김해용 2024.05.04 0 2
116 Task-Specific Differential Private Data Publish Me 신진명 2024.04.09 0 28
115 Advanced Defense Framework against Physical Advers 김용수 2024.04.08 0 41
114 한글 채팅 텍스트 기반의 저자 검증 모형과 그 응용 이다영 2024.04.05 0 42
113 상태 기반 테스트 시나리오 보강 방법 이선열 2023.10.17 0 137
112 Manufacturing Testing Automation FrameworkBased on 강효은 2023.10.17 0 153
111 Synthesizing Robust Physical Camouflage for Univer 수랸토 나우팔 2023.10.16 0 153
110 복잡도 다양성을 고려한 C 프로그램의 시험 용이성 예측 모형 구축 방법 최현재 2023.10.16 0 125
109 Design and Optimization of Quantum Arithmetic Circ 라라사티 하라스타 타티마 2023.10.13 0 154
108 Improving 6TiSCH Network Formation and Transmissio 파와즈 자키 자키얄 2023.10.10 0 147
107 저지연 고신뢰 운전자 프로파일링을 위한 딥러닝 모델 및 조기 종료 기법 임재봉 2023.10.08 0 193
106 802.11ax 대규모 Wi-Fi 환경의 심층 생성 모델을 활용한 트래픽 모델링 및 AP 이재민 2023.04.07 0 118
105 뉴런 클러스터를 활용한 합성곱 신경망 이미지 분류 신뢰성 향상 방법 이영우 2023.04.06 0 111
104 Trust Guard Extension Framework for Enhanced Secur 김해용 2023.04.06 0 91
103 노이즈 오염 하에서의 효율적 최적화를 위한 확률적 평가 샘플 누적 전략 김정민 2023.04.06 1 118
102 LPWAN의 규모 확장성과 서비스 커버리지 향상을 위한 충돌 제어 및 신호 합성 기법 허준환 2022.10.13 0 117
101 DQN 기반 자동화 컨테이너 터미널 장치장 크레인 작업 할당 전략 최적화 김세영 2022.10.13 0 126
100 Robust Defense Techniques against Adversarial Exam 최석환 2022.04.05 0 121
99 High-Performance Hardware Architectures for Ellipt 아와루딘 에셉 무하마드 2022.04.01 0 93
98 한국어 자연어처리를 위한 뉴로-심볼릭 모델 김민호 2021.10.14 0 129