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

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

상태 머신 다이어그램을 이용하여 테스트 시나리오를 생성하는 상태 기반 테스트 (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 116
게시물 검색
박사학위논문
번호 제목 작성자 작성일 첨부파일 조회수
116 Task-Specific Differential Private Data Publish Me 신진명 2024.04.09 0 22
115 Advanced Defense Framework against Physical Advers 김용수 2024.04.08 0 30
114 한글 채팅 텍스트 기반의 저자 검증 모형과 그 응용 이다영 2024.04.05 0 30
113 상태 기반 테스트 시나리오 보강 방법 이선열 2023.10.17 0 135
112 Manufacturing Testing Automation FrameworkBased on 강효은 2023.10.17 0 148
111 Synthesizing Robust Physical Camouflage for Univer 수랸토 나우팔 2023.10.16 0 151
110 복잡도 다양성을 고려한 C 프로그램의 시험 용이성 예측 모형 구축 방법 최현재 2023.10.16 0 124
109 Design and Optimization of Quantum Arithmetic Circ 라라사티 하라스타 타티마 2023.10.13 0 153
108 Improving 6TiSCH Network Formation and Transmissio 파와즈 자키 자키얄 2023.10.10 0 144
107 저지연 고신뢰 운전자 프로파일링을 위한 딥러닝 모델 및 조기 종료 기법 임재봉 2023.10.08 0 188
106 802.11ax 대규모 Wi-Fi 환경의 심층 생성 모델을 활용한 트래픽 모델링 및 AP 이재민 2023.04.07 0 115
105 뉴런 클러스터를 활용한 합성곱 신경망 이미지 분류 신뢰성 향상 방법 이영우 2023.04.06 0 106
104 Trust Guard Extension Framework for Enhanced Secur 김해용 2023.04.06 0 86
103 노이즈 오염 하에서의 효율적 최적화를 위한 확률적 평가 샘플 누적 전략 김정민 2023.04.06 1 116
102 LPWAN의 규모 확장성과 서비스 커버리지 향상을 위한 충돌 제어 및 신호 합성 기법 허준환 2022.10.13 0 114
101 DQN 기반 자동화 컨테이너 터미널 장치장 크레인 작업 할당 전략 최적화 김세영 2022.10.13 0 124
100 Robust Defense Techniques against Adversarial Exam 최석환 2022.04.05 0 121
99 High-Performance Hardware Architectures for Ellipt 아와루딘 에셉 무하마드 2022.04.01 0 90
98 한국어 자연어처리를 위한 뉴로-심볼릭 모델 김민호 2021.10.14 0 128
97 Automatic Assessment and Collaborative Mentoring S 류샤오 2021.10.13 0 131