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

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

상태 머신 다이어그램을 이용하여 테스트 시나리오를 생성하는 상태 기반 테스트 (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 132
게시물 검색
박사학위논문
번호 제목 작성자 작성일 첨부파일 조회수
132 확산 모델 기반 필기 이미지 생성에 관한 연구 홍동진 2025.04.10 0 68
131 연합 학습 기반 전기차 충전 인프라 최적 운영 및 전력망 안정을 위한 유연성 자원 활용 연 류준우 2025.04.09 0 64
130 Design and Analysis of Quantum Circuits for Inform 와다니 리니 위스누 2025.04.08 0 67
129 Towards computation - communication efficient and 응우옌 민 두옹 2025.04.08 0 66
128 Quantum Convolutional Neural Networks for Classifi 노대일 2025.04.08 0 69
127 Service Management for Reliable Distributed 6G IoT 응우옌 쑤언 둥 2025.04.08 0 55
126 Large Language Model for Penetration Testing Domai 데리 프라타마 2025.04.07 0 95
125 Discovery and Authentication of Marker Genes Using 프라타마 리안 다니스 아디 2025.04.07 0 79
124 산업 환경의 IEEE 802.15.4 TSCH 기반 네트워크에서 트래픽 처리량 향상을 위한 이희준 2025.04.07 0 93
123 Uncertainty-Based Hybrid Deep Learning Approach fo 멘가라 악셀 기드온 2024.12.10 0 119
122 Effective Deep Learning Primitives Design for Bina 황선진 2024.10.14 0 122
121 Toward Immersive Multiview Video Streaming through 탄중 디온 2024.10.14 0 88
120 A Low-cost Deep Learning Model for Real-time Low L 등 제강 2024.10.10 0 143
119 Enhancing Nested Entity Recognition Using Nested R 양홍진 2024.10.09 0 110
118 다양한 도메인과 데이터 형식에 강건한 사전학습 언어모델 기반의 표 질의응답 방법 조상현 2024.10.09 0 121
117 Trust Guard Extension for Enhanced Security Featur 김해용 2024.05.04 0 147
116 Task-Specific Differential Private Data Publish Me 신진명 2024.04.09 0 163
115 Advanced Defense Framework against Physical Advers 김용수 2024.04.08 0 188
114 한글 메신저 채팅의 크로스 텍스팅 탐지를 위한 저자 검증 모형 이다영 2024.04.05 0 162
113 상태 기반 테스트 시나리오 보강 방법 이선열 2023.10.17 0 240