지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 1994.5
- 수록면
- 944 - 960 (17page)
이용수
초록· 키워드
오류제보하기
프로토콜 시험은 전체 프로토콜 개발 과정의 중요한 단계중의 하나이다. 본 논문에서는 프로토콜 시험을 위한 데이타 생성, 선택과 검증에 관한 통합 환경인 TESTGEN+에 관하여 기술하기로 한다. 이 환경은 메뉴 드리븐 방식으로 제약 조건 기술의 대화적 기법을 채택하여 유연하고 일반적인 통신 프로토콜의 시험에 활용될 수 있다. 또, 확장된 전이 시스템, 테스트 커버리지 메트릭의 이론에 근거하며, ASN.1과 ESTELLE를 지원한다. 테스트 생성 요소인 TESTGEN은 제어 흐름과 자료 흐름을 모두 취급하며, 테스트 선택 요소인 TESTSEL은 커버리지 메트릭에 근거하여 생성된 테스트 스위트(Suite)의 크기를 줄이는데 기여한다. 이 두 요소는 사용자가 정의한 각종 제약 조건을 이용하여 작동되는 특징을 갖는다. 또한 테스트 검증 도구인 TESTVAL은 주어진 명세서에 대한 테스트 사항을 검증하기 위하여 TESTGEN+로 통합될 수 있다. 이 환경은 프로토콜 테스트 생성, 선택 및 검증의 실험을 위한 유용한 도구로 사용될 수 있을 뿐 만 아니라, 실제 프로토콜의 테스트 스위트의 개발에도 활용될 수 있다.
목차
요약
ABSTRACT
1. Introduction
2. Theoretical Background
3. Overview TESTGEN+
4. TESTGEN
5. TESTSEL
6. TESTVAL
7. Experiments
8. Conclusion
References
저자소개
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
프로토콜 적합성 시험을 위한 테스트 스위트 검증 도구의 설계 ( Design of a Test Suite Validator for Protocol Conformance Testing )
한국통신학회논문지
1995 .06
-
TTCN 기반의 통합흐름 테스트 스위트 생성도구의 설계
정보과학회논문지(C)
1998 .10
-
지능망 제어 시스템에 대한 프로토콜 적합성 시험 스위트 개발 ( Protocol Conformance Test Suite generation for Service Control Point )
한국통신학회 학술대회 및 강연회
1997 .01
-
통신 프로토콜 적합성시험을 위한 정규시험스위트 도출체계
한국통신학회 학술대회 및 강연회
1998 .07
-
MOST를 위한 Test Suite 개발 환경에 관한 연구
한국정보과학회 학술발표논문집
1991 .01
-
비결정성을 갖는 프로토콜을 위한 시험 스위트 생성방법 ( Test Suite Generation Technique for Protocols with Nondeterminism )
한국통신학회논문지
1997 .09
-
프로토콜 검증장치에 관한 연구 ( A Study on Protocol Test Facility )
대한전자공학회 학술대회
1985 .01
-
패킷 필터링 기능 테스트를 위한 테스트 도구 개발
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2007 .04
-
LTS 간접시험 생성기법에 의한 프로토콜 적합성시험에 관한 연구 ( A Study on Protocol Conformance Testing Using LTS Indirect Test Case Generation Method )
한국통신학회논문지
1995 .03
-
실험계획법을 이용한 TCP 데이타 부분에 대한 상호운용성 시험스위트 생성
정보과학회논문지 : 정보통신
2001 .06
-
테스트 주도 개발을 위한 유연한 단위 테스트 도구
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2009 .02
-
모델 기반 평가 방법을 이용한 지능형자동차 기능의 평가 자동화에 관한 연구
한국자동차공학회 춘계학술대회
2013 .05
-
A Case Study on the Improvement of Software Test Effectiveness through Static Testing
정보과학회논문지 : 소프트웨어 및 응용
2007 .03
-
Construction of Test Environments based on Information Extracted from Test Plan and IUT
Journal of KIISE
2019 .11
-
컴퓨터통신 프로토콜과 테스트 기법
한국통신학회지(정보와통신)
1986 .01
-
프로토콜 제어 및 데이터부분시험을 위한 통합시험항목생성
한국정보과학회 학술발표논문집
1995 .10
-
X.25 프로토콜 적합성 시험 분석
한국정보과학회 학술발표논문집
1991 .01
-
프로토콜시험을 위한 통합환경의 설계와 구현
정보과학회논문지(A)
1995 .12
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-017781856