http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
노철우(C W Ro),김봉수(B S Kim),나재훈(J H Nah),송범현(B H Song),윤병남(B N Yoon) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1
대용량, 고신뢰도를 요구하는 축적 프로그램 제어(Stored Program Control . SPC) 시스팀의 동작상태를 확인하기 위해서는 보다 강력한 시험환경이 요구된다. 모사 시험 환경이란 TDX-10™과 같은 대형 SPC 시스팀을 host computer상에서 수행시키면서 시험하는 multi-user 용 test tool이다. 본고에서는 이 모사 시험 환경 시스팀(Simulation Environment Function Test System SEFTS)의 개념과 기능 소개 및 시스팀 설계에 대하여 기술하였다.
Petri Net을 이용한 TDX 내부 프로토콜 검증에 관한 연구
노철우(C W. Ro),성단근(D K Sung) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
하나의 새로운 프로토콜을, 만들기 위해서는 프로토콜의 요구사항 정립, 규격의 기술, 검증, 구현, 적합성 시험등의 단계를 거쳐야 한다. 본고에서는 한국 전자통신 연구소에서 구현하고 있는 ISDN 교환기인 TDX-10™간의 패킷 통신을 위한 내부 프로토콜(TIP)의 1차 규격에 대한 검증을 위하여 모델링 도구로 많이 사용하고 있는 페트리 ?(Petri Nets)을 확장하고 여기에 통신 프로토콜의 필수요소인 time 기능을 추가하여 내부 프로토콜을 모델링하고 도달성 트리(reachability tree) 분석에 의한 검증사항을 기술한다.
SPC 교환기 시스템 개발을 위한 UNIX™상에서의 시험환경 구현에 관한 연구
윤병남(B N Yoon),노철우(C.W.Ro),김진웅(J W KIM),조무호(M H.Cho),곽동용(D Y Kwak),임옥수(O.S Lim),박진수(J.S.Park) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1
TDX-10™과 같은 대형 축적 프로그램 제어방식(SPC. Stored Program Control) 시스팀의 다양한 기능 및 장애 능력을 시험하고 이들의 성능을 확인하기 위해서는 시스템 개발 life cycle 전 단계를 지원할 보다 강력한 시험환경이 요구된다. 본 논문에서는 TDX-10^M 시험 환경 구현을 위한 시험 전략, 시험 방법론 그리고 시험 자동화 개발에 대한 연구 내용을 기술 하였다.