http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김경민(Kyung-Min Kim),남영호(Young-Ho Nam),박재흥(Jae-Heong Park),노철우(Chul-Woo No),이병길(Byung-Gil Lee),한운영(Un-Young Han) 한국정보과학회 1999 한국정보과학회 학술발표논문집 Vol.26 No.1A
통신망에서 효율적인 망의 구성, 제어, 운용 등은 중요하다. 따라서 프로토콜의 설계상 오류를 미리 확인할 수 있는 프로토콜 검증이 필요하다. 프로토콜 검증은 프로토콜의 공식적인 규격으로 표현된 프로토콜의 설계에 대한 정확성(correctness), 완전성(completeness), 그리고 일관성(consistency) 등을 조사, 분석하는 것이다. 본 논문에서는 프로토콜 검증도구인 SDT를 이용하여 WLL 프로토콜을 검증한다. 이를 위해 WLL 설계 규격서를 분석하여 각 계층에 대한 SDL 명세를 작성하고, 구문적(syntactic), 의미적(semantic), 검사와 simulation 및 validation을 수행한다. 본 논문의 중요 목표는 통신업계의 중요 관심사로 등장한 WLL 무선 프로토콜의 신뢰성 및 정확성을 시험하기 위한 프로토콜 검증이다.