http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
홍창표(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 패킷을 잘 검출해내었다.
3G Evolution 무선 접속 프로토콜 SDL 설계
김재우(Jaewoo Kim),김태형(Tae-Hyong Kim),이재형(Jae-Hyong Lee),홍창표(Changpyo Hong),양치평(Qiping Yang) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.2
본 논문에서는 무선 랜과의 인터워킹 등 새로운 특징을 갖는 주요 기능들을 추가하기 위한 기반 시스템인 3G Evolution 시스템 개발에 필요한 액세스 시스템 내의 서브 시스템인 RRCS(Radio Resource Control Subsystem)를 구현 및 검증하기 위하여 단말-기지국간 무선 액세스 프로토콜을 형식 기술 언어인 SDL(Specification and Description Language)을 이용해 구현하였다. 여기서 효율적 시스템 설계를 위해 복잡한 각 메시지 처리 함수는 C 언어를 이용해 라이브러리화하고 이를 SDL 시스템 내에서 호출하도록 지원하는 방법을 사용했다.