http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 오병호(Oh Byeong Ho) (검색결과 8 건)
- 무료
- 기관 내 무료
- 유료
-
오병호(Byeong Ho Oh),이상호(Sang Ho Lee) 한국정보과학회 1996 정보과학회논문지 : 시스템 및 이론 Vol.23 No.10
프로토콜의 적합성 시험에 있어 자료 흐름은 중요한 의미를 가지나 사용되는 변수의 수와 범위가 커서 테스트 케이스 생성에는 많은 어려움이 따른다. 본 논문은 프로토콜에 있어 자료 흐름의 변칙성을 분석하고 그 결과를 제어 흐름에 통합하므로써 적합한 순환 경로와 테스트 스위트를 생성하였다. 제어 흐름 측면에서 가능한 모든 경로는 부울 대수를 이용하여 생성하였으며 자료 흐름 측면에서는 변수의 정적인 자료 흐름을 분석하여 부적합 순환 경로를 검색하였다. 자료 흐름에 대한 분석은 먼저 단위 전이 블럭 내에서 각 변수의 사용상 변칙성을 검사하였다. 다음에 블럭 내에서 부적합 변수를 대상으로 제어 흐름에 의한 모든 순환 경로에 대하여 블럭간 자료 흐름을 분석하므로써 부적합 경로를 파악하였다. 마지막으로 제어 흐름에 의한 전체 경로 중 자료 흐름 분석 결과 얻어진 부적합 경로를 제거하므로써 자료 흐름과 제어 흐름이 상호 보완된 순환 경로와 테스트 스위트를 생성하였다. 또한 분석 과정에서 자료 흐름 측면에서 부적합 UIO를 검색하였고 순환 경로의 누적 빈도를 사용하여 중요 경로를 파악할 수 있었다. Data flow of protocol in conformance testing gives us much difficulty in generating more effective test suites. The difficulty is caused by range and number of variables. In this paper, data flow anomalies, that can be found by data flow analysis process, are integrated to control flow in order to generate valid circulating paths and test suites. All paths in terms of control flow are generated using Boolean algebra and invalid paths are detected through static data flow analysis. The integration process can be described as follows. Firstly, we analyze anomalous usage of variables in single transition block. Second, we compare the variables to all circulating paths. As a result, all invalid paths with respect to data flow can be obtained and those paths from all of the control flow paths are removed Finally, we generate valid circular paths and test suites that considering data flow and control flow. In addition, we retrieve inappropriate UIOs in the view of data flow, and find critical path by accumulated frequency.
-
오병호(Byeong Ho Oh),이상호(Sang Ho Lee) 한국정보과학회 1995 정보과학회논문지 Vol.22 No.7
보다 효율적인 데이타 통신을 위해 압축 기법의 역할은 중요한 요소 중의 하나이다. 본 논문에서는 전자 문서의 전송에 사용하기 위하여 압축과 복원 시간에서 강점을 가지는 LZW 알고리즘을 구축되는 압축 사전의 노드 수, 활용률, 압축률 등의 측면에서 분석하였다. 분석 결과를 바탕으로 가용 메모리를 늘리고 가속 사전 알고리즘에 가속 제한 요소의 도입으로 적응성과 적합성을 높여 압축률 및 압축 시간을 개선한 압축 기법을 설계하였다. PC486 UNIX 환경에서 실험 결과 압축률은 3.11로 기존 LZW 알고리즘보다 최대 32% 향상되었으며 압축 시간 측면에서도 온라인 전송 시 효율적인 사용이 가능하다. 또한 유용성을 확인하기 위해 워드프로세서 형태의 문서 화일에 적용 결과 기존 기법보다 우수하였으며 제안된 가속치 및 가속 제한 요소는 정보 보안 측면에서의 활용도 가능하다. Compression techniques play an important role for efficient data communication. We analyzed conventional LZW algorithm in aspect of number of nodes in modeling tree, usage ratio and compression ratio etc. Based on the above results, with increased memory space and accelerated algorithm we designed an improved compression algorithm which has a limiting factor of acceleration and is useful in electronic document transmission. Experimentations in PC486 UNIX system showed that compression ratio of our algorithm is improved to 3.11. This indicates that the proposed algorithm achieves up to 32% better than conventional LZW algorithm and also gives sufficient and secure condition to on-line transmission, especially with suggested accelerating concept and limiting factor.
-
-
곽병옥(Byeong-ok Kwak),우성희(Sung-hee Woo),오병호(Byeong-ho Oh),이상호(Sang-ho Lee) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B
프로토콜의 자료 흐름은 중요한 의미를 가지나 사용되는 객체의 수와 범위가 너무 방대하여 처리에 많은 어려움이 따른다. 본 논문은 구조적인 측면에서 자료의 정적인 흐름을 단계적으로 분석하였다. 분석 결과 나타난 오류 정보는 제어 흐름에 의해 생성되는 순환 경로에 통합하므로서 상호 보완적으로 사용될 수 있음을 보였다.
-
성우형(Woo-hyung Sung),오병호(Byeong-ho Oh),이상호(Sang-ho Lee) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B
제어 흐름만을 고려한 프로토콜의 적합성 시험은 많은 문제점을 갖는다. 본 연구에서는 Estelle로 명세화된 프로토콜의 제어흐름에 전이 조건에 사용된 문맥변수를 추가함으로써 자료 흐름이 통합된 제어 흐름도 생성 방법을 제안한다. 명세서는 파서를 사용하여 필요한 테이블로 분해하고 문맥 변수는 특성에 따라 입력과 상태에 통합한다. 기호 테이블과 동작 테이블에 의해 상태전이에 따른 도달 나무를 만들며 이를 토대로 문맥 변수가 결합된 통합 흐름도를 생성한다. 통합 흐름도에 의해 생성된 테스트 스위트는 제어 흐름만을 고려하는 경우에 발생하는 비결정성 및 실행 불가능 경로 문제를 해결할 수 있다.
-
Estelle로 표현된 프로토콜의 테스트 슈트 생성에 관한 연구
우성희(Sung-he Woo),오병호(Byeong-ho Oh),이상호(Sang-ho Lee) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1
IUT에 테스트 슈트 적용시 기존의 제어흐름만을 고려한 FSM 중심의 생성방법으로는 프로토콜의 적합성 시험을 수행할 수 없다. 특히 한상태에서 다음 상태로의 전이가 입력이나 전상태에서의 변수값이 아닌 시스템의 상태에 의해 결정되는 비결정적인 경우에 대한 별도의 배려가 필요하다. 본 논문은 Estelle로 표현된 명세에서 테스트슈트 생성시 도출되는 복잡성을 단순화하고 비결정성을 효율적으로 처리하기 위하여 NEFSM 모델을 제안하였다. 처리과정은 먼저 Estelle 명세를 NEFSM으로 변환시키고 그 모델을 이용하여 테스트 슈트를 생성하였다.
-
이현정(Hyun Jeong Lee),우성희(Sung Hee Woo),오병호(Byeong Ho Oh),이상호(Sang Ho Lee) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A
적합성 시험에 필요한 테스트 케이스는 FSM을 기본으로 명세서 상의 제어흐름만을 고려하였다. 제어흐름만을 고려시 발생하는 실행불가능 경로 및 비결정성 문제는 자료 흐름을 고려하여 부분적으로 해결하는 많은 연구가 진행되어 왔다. 따라서 본 연구에서는 FSM을 기반으로 제어흐름을 고려한 테스트 케이스 생성시 발생하는 실행불가능 경로를 제거하기 위해 페트리넷으로 변환 및 모델링하여 간소화되고 실제 실행 가능한 테스트 케이스만을 생성하였다.
-
김용승(Kim Yong Seung),우성희(Woo Sung Hee),오병호(Oh Byeong Ho),이상호(Lee Sang Ho) 한국정보처리학회 1997 정보처리학회논문지 Vol.4 No.8
Recent evolution of communication networks has led toward increasingly a complex, large-scale protocol. Protocol conformance tests therefore, which consider only control flow, have many problem on testing data flow, transition condition, delay and so on. We propose, design, and implement the tool to solve these problems. The tool, which solves nondeterminism, generates test suites from an integrated flow graph and excludes infeasible path with reachable tree. The presented tool reduces the length of UIO sequence and is efficient partially to test the path that error rate is high. Our automatic test suite generator provides basis of protocol testing environment and high production.
ScienceON연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
