지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2017.8
- 수록면
- 325 - 332 (8page)
이용수
초록· 키워드
오류제보하기
본 논문은 프로토콜 구현물이 프로토콜의 사양에 대한 적합성을 시험하기 위한 시험항목 생성방법들에 대하여 비교분석 한다. 대표적인 방법들인 천이 순회, 구별 시퀀스, 특징화 시퀀스, 유일 입출력 시퀀스와 변형된 이들 방법들을 분석하고, 유한 상태 기계 모델에 적용한 위의 방법들의 시험항목 길이를 비교 및 분석 한다. 결론에서는 프로토콜 적합성시험을 위한 시험항목 생성방법들에 대한 핵심적이고 분석적인 이슈 사안들을 다음과 같이 제시한다. 천이 순회방법은 최단의 시험 항목을 생성하지만 최악의 오류 검출 성능을 제공한다. 특징화 시퀀스 방법은 완벽한 오류 검출성능을 제공하지만 상대적으로 최장의 시험 항목을 생성한다. 구별 시퀀스 방법의 문제점은 이 구별 시퀀스가 항상 존재하지는 않는다는 것이다. 유일 입출력 시퀀스 방법이 비교적 폭넓게 적용될 수 있지만 구별 시퀀스 방법과 동일한 오류 검출 성능을 제공하지 못한다는 문제점이 있다.
목차
Abstract
요약
1. Introduction
2. Preliminaries
3. The Practical Applications of Test Sequence Generation Methods
4. Comparative Analysis of the Test Sequence Generation Methods
5. Conclusions
REFERENCES
참고문헌 (10)
참고문헌 신청
[학술지(정기간행물)] - D. Rayner / 1987 / OSI Conformance Testing / Computer Networks and ISDN Systems 14 (1) : 79 ~ 98
[학술지(정기간행물)] - D. P. Sidhu / 1989 / Formal Methods for Protocol Testing : A Detailed Study / IEEE Transactions on Software Engineering 15 (4) : 413 ~ 426
[학술지(정기간행물)] - G. Gonenc / 1970 / A Method for the Design of Fault Detection Experiments / IEEE Transactions on Computers C-19 : 551 ~ 558
[단행본] - Z. Kohavi / 1978 / Kohavi, Switching and Finite Automata Theory / McGraw-Hill
[학술지(정기간행물)] - T. S. Chow / 1978 / Testing Software Design Modeled by Finite-State Machines / IEEE Transactions on Software Engineering 4 (3) : 178 ~ 187
[학술지(정기간행물)] - D. P. Sidhu / 1989 / Formal Methods for Protocol Testing : A Detailed Study / IEEE Transactions on Software Engineering 15 (4) : 413 ~ 426
[학술지(정기간행물)] - G. Gonenc / 1970 / A Method for the Design of Fault Detection Experiments / IEEE Transactions on Computers C-19 : 551 ~ 558
[단행본] - Z. Kohavi / 1978 / Kohavi, Switching and Finite Automata Theory / McGraw-Hill
[학술지(정기간행물)] - T. S. Chow / 1978 / Testing Software Design Modeled by Finite-State Machines / IEEE Transactions on Software Engineering 4 (3) : 178 ~ 187
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
시퀀스 투 시퀀스(Sequence-to-sequence) 모델을 활용한 대화생성 결과 비교 분석
한국정보과학회 학술발표논문집
2018 .06
-
1 차 동기 신호 시퀀스 요구 사항에 따른 최적 시퀀스 설계 방법
한국통신학회 학술대회논문집
2024 .06
-
확장된 LSTM 오토인코더 기반 이상 시퀀스 탐지 기법
한국전자거래학회지
2021 .02
-
감정점수를 활용한 시퀀스-투-시퀀스 기반 텍스트 요약
한국정보과학회 학술발표논문집
2019 .06
-
Sequence-to-sequence 모델을 이용한 한국어 질문 생성
한국정보과학회 학술발표논문집
2019 .06
-
Sequence-to-sequence 모델을 이용한 자연어생성
한국정보과학회 학술발표논문집
2017 .06
-
이벤트 시퀀스 기반 위험요인을 이용한 안전성 테스트 케이스 생성 방법
한국정보과학회 학술발표논문집
2016 .06
-
시퀀스-투-시퀀스를 활용한 데이터 기반 문장 생성 모델 비교
대한산업공학회지
2022 .10
-
다양한 sequence-to-sequence 모델 구성에 대한 연구
한국정보과학회 학술발표논문집
2018 .06
-
이미지 시퀀스에서 스토리 생성을 위한 간단한 주의집중 메커니즘
한국정보과학회 학술발표논문집
2018 .06
-
A Heuristic Technique for Generating the Synchronizable and Optimized Conformance Test Sequences
한국정보전자통신기술학회 논문지
2015 .12
-
An Effective Detection Method of Anomalous Sequences Considering the Occurrence Order and Time Interval of the Elements
Journal of KIISE
2021 .04
-
시퀀스 투 시퀀스(Sequence to Sequence)와 어텐션(Bahdanau Attention)을 이용한 문맥 기반 오타 교정
Proceedings of KIIT Conference
2020 .10
-
M2M(model-to-model) 변환 기반의 시퀀스 다이어그램에 대한 테스트 케이스 생성 자동화 방법
한국정보과학회 학술발표논문집
2015 .06
-
Adaptive Application of CPP Algorithm to Test Suite Generation for Protocol Conformance Testing
한국정보전자통신기술학회 논문지
2019 .12
-
시퀀스 다이어그램으로부터 테스트 케이스 자동 생성을 위한 M2M(Model-to-Model) 변환 규칙
정보과학회 컴퓨팅의 실제 논문지
2016 .01
-
B3 수열을 이용한 간단한 구조의 Multi-Edge QC-LDPC 부호 생성 및 분석
한국통신학회 학술대회논문집
2023 .06
-
An Optimization Method for Performance Improvement of Set-based Similar Sequence Matching
Journal of KIISE
2018 .04
-
LSTM 기반 시퀀스 투 시퀀스를 사용한 이벤트 시퀀스 예측 모델
한국정보과학회 학술발표논문집
2021 .06
-
긴 시퀀스 학습을 통한 무기체계 소프트웨어 정적 시험 거짓 경보 분류 모델 개발 방법에 대한 연구
한국정보과학회 학술발표논문집
2024 .06
이 논문의 저자 정보
최근 본 자료
댓글(0)
0