http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
"계층 상태공간 축약방법"에 기반한 효율적인 상호운용성 시험 방법론
최영한,진병문,이동익,진성일,Choe, Young-Han,Chin, Byoung-Moon,Lee, Dong-Ik,Jin, Seong-Il 한국정보처리학회 1998 정보처리논문지 Vol.5 No.8
상호운용성은 정보기술 및 통신분야에서 가장 중요한 요소의 하나이다. 본 논문에서는 상호운용성에 관한 시험방법 및 시험 스위트의 생산에 대하여 논의하고 있다. 적합성시험을 비롯하여 정형적인 검즈에서 가장 먼저 고려되는 치명적인 문제점은 상태공간의 폭발에 관한 사항이며 이는 상호운용성의 시험방법 및 시험 스위트의 개발에 있어서도 가장 먼저 해결되어야 할 문제이다. 본 논문에서는 페트리네트를 이용한 상운용성 시험을 지원하기 위해 새로운 상태 공간 축약 방법을 제시하며 이를 이용한 상호운용성의 시험방법 및 시험 스위트 생성 방안을 IOSM, Quasi stable state 등을 이용하여 HOSS에 기반한 상태축약 결과를 보임으로써 상호운용성시험을 효율적으로 지원하는 방안을 제시한다. Interoperability(lOP) is one of the major goal of Information Technology and Telecommunication fields. In this paper, we discuss dcvclOlJing an interoperabiiity testing(IOPT) method. As is easily gueOisecl from conformance testing and formal verification. state space explosion problem is the most serious problem we encounter in deriving interoperability test method and its test suite. A new state space reduction method to support interoperability testing is suggested based on Petri nets. The proposed test method can be applied to 1 to many communication protocols as well as 1 to 1 communication protocols efficiently
박용범,진병문,Park, Yong-Bum,Chin, Byoung-Moon 한국정보처리학회 1998 정보처리학회논문지 Vol.4 No.1
프로토콜에 대한 적합성시험을 기술하기 위한 국제 시험 표준 언어인 TTCN(Tree and Tabular Combined Notation)은 추상시험스위트의 전체적인 구조, 시험 목적의 표현 그리고 각 시험 기술 요소에 대한 개념과 표기법을 제공하고 있다. 이 논문에서는 TTCN을 사용하여 프로토콜 시험 규격 즉 추상시험스위트를 기술함에 있어서 추상시험스위트의 각 요소에 대해 고려하여야 할 점을 설명하고, 실제적인 시험 기술 경험을 토대로 시험 적용범위의 검증이 용이하고 사용자에게 많은 정보를 줄 수 있는 시험제약과 시험경우에 대한 명명법을 제안하였다. 또한 이 논문에서는 추상시험스위트를 수행 가능한 형태로 변환하여 시험대상에 대해 적용할 때 실제 환경의 제한으로 인하여 발생할 수 있는 문제점을 분석하고 이를 추상 시험스위트 작성 단계에서 미리 해결하는 방안을 제시하였다. 이 논문에서는 ATM Forum UNI 3.1 신호방식 프로토콜 스택 중 AAL(ATM Adaptation Layer)계층의 부계층인 SSCOP(Service Specific Connection Oriented Protocol) 프로토콜을 대상으로 하여 사례를 제시하고, 이를 바탕으로 TTCN 사용의 문제점을 고찰하고 그 해결 방안을 제시하였다. TTCN(Tree and Tabular Combined Notation), as an international standard, provides a concept and notation to describe a protocol test specification. In this paper, we explain some considerations on each components of Abstract Test Suite and propose naming conventions for Constraints and Test Cases based on the experience of describing Test Suite for real protocol. We also analyze some problems on real application of Test Suite and propose an approach to avoiding such problems in the stage of Test Suite specification. In this paper, we use the SSCOP(Service Specific Connection Oriented Protocol) protocol, that is a sub-layer of ATM Forum UNI 3.1 protocol stack, as an example to proposals on naming conventions on Constraints and Test Cases.
박용범(Park Young B),진병문(Chin Byoung Moon) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.1
TTCN(Tree and Tabular Combined Notation), as an international standard, provides a concept and notation to describe a protocol test specification. In this paper, we explain some considerations on each components of Abstract Test Suite and propose naming conventions for Constraints and Test Cases based on the experience of describing Test Suite and propose naming conventions for Constraints and Test Cases based on the experience of describing Test suite for real protocol. We also analyze some problems on real application of Test Suite and propose an approach to avoiding such problems in the stage of Test Suite specification. In this paper, we use the SSCOP(Service Specific Connection Oriented Protocol) protocol, that is a sub-layer of ATM Forum UNI 3.1 protocol stack, as an example to proposals on naming conventions of Constraints and Test Cases.
형식 기술 기법에 의한 LOTOS 프로토콜 적합성 시험
김성운(Kim Sung Un),진병문(Chin Byoung Moon),류영숙(Ryu Young Suk) 한국정보처리학회 1997 정보처리학회논문지 Vol.4 No.7
This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.
정보통신망에서의 온라인 아동보호(COP) 국제표준화 동향
오흥룡(Heung-Ryong Oh),진병문(Byoung-Moon Chin),나재훈(Jae Hoon Nah),염흥열(Heung Youl Youm) 한국정보보호학회 2012 情報保護學會誌 Vol.22 No.3
본 논문은 ITU, OECD 등에서 진행되고 있는 정보통신망에서의 온라인 아동 및 청소년들을 보호하기 위한 연구 현황 및 국제표준화 동향을 소개하고자 한다. 국내에서도 청소년들의 인터넷 사용 제한을 골자로 한 청소년보호법(일명 셧다운제) 개정이 2011년 4월 29일 국회에서 통과되어 현재 시행 중에 있는 바, 인터넷 및 모바일을 기반으로 청소년들에게 다양하게 부가서비스를 제공하고 있는 산업체 전문가들에게 “아동 및 청소년 보호를 위한 국제적인 표준화 활동” 정보를 제공하고자 한다.
계층 상태공간 축약방법에 기반한 효율적인 상호운용성 시험 방법론
최영한(Choe Young Han),진병문(Chin Byoung Moon),이동익(Lee Dong IK),진성일(Jin Seong II) 한국정보처리학회 1998 정보처리학회논문지 Vol.5 No.8
Interoperability(IOP) is one of the major goal of Information Technology and Telecommunication fields. In this paper, we discuss developing an interoperability testing(IOPT) method. As is easily guessed from conformance testing and formal verification, state space explosion problem is the most serious problem we encounter in deriving interoperability test method and its test suite. A new state space reduction method to support interoperability testing is suggested based on Petri nets. The proposed test method can be applied to 1 to many communication protocols as well as 1 to 1 communication protocols efficiently.