http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
3GPP LTE 액세스 시스템 검증을 위한 단말 시뮬레이터 설계
양치평 ( Qi-ping Yang ),차원수 ( Won-soo Cha ),김재우 ( Jae-woo Kim ),김태형 ( Tae-hyong Kim ) 한국정보처리학회 2008 한국정보처리학회 학술대회논문집 Vol.15 No.2
본 논문은 시스템의 안정성과 검증성, 설계 및 관리 용이성을 위해 SDL 언어 및 Pure-SDL 설계 접근기법을 이용하여 3GPP LTE 액세스 시스템 검증을 위한 단말 시뮬레이터를 설계 및 구현하였다. 설계된 시스템은 관리 효율성을 위해 블록 타입 및 공통 패키지 설계를 통한 다중 시스템 구조를 갖는다. 구현된 단말 시뮬레이터는 실제 3GPP LTE 액세스 시스템 검증에서 우수한 안정성을 보여주었다.
홍창표(Changpyo Hong),김태형(Tae-Hyong Kim),이현성(Hyun-Sung Lee),차원수(Won-Soo Cha),정세훈(Se-Hoon Jung) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.2
수동 시험은 기존의 프로토콜 검증 방법과는 달리 제품이 실제 운용되는 환경에서 입출력의 관찰만을 가지고 제품의 오류를 검출하는 시험이다. 본 논문은 EFSM(Extended Finite State Machine) 모델을 이용하여 homing 기법을 사용하는 수동시험 기법을 제안하고 이를 검증하기 위하여 제안된 수동 시험 기법을 사용하는 OSPF 프로토콜의 오류 검출기를 개발하였다. 개발된 오류 검출기는 Zebra[6]와 시스코 라우터로 구성된 소규모 네트워크에서 Zebra를 이용해 발생시킨 오류 OSPF 패킷을 잘 검출해내었다.