최경희 김민식 2007-02 1760 https://aurora.ajou.ac.kr/handle/2018.oak/16642 학위논문(석사)--아주대학교 정보통신전문대학원 :정보통신공학과,2007.2 홈 네트워크에 참가하는 많은 장비들이 UPnP기술을 이용하여 네트워크에 연결하고 있다. 우리는 UPnP를 구현한 장비들을 선택하여 오류가 포함된 메시지에 대하여 어떻게 동작하는지 테스트하였다. 오류는 발생시키는 개념에 따라서 syntactic 오류와 semantic 오류로 구분하여 생성하였다. 특히, syntactic 오류는 11가지 형태로 구분하여 각각 오류 메시지를 생성하고, 이를 이용하여 장비를 테스트하였다. 오류형태를 구분하여 테스트를 진행함으로써, 장비의 취약점을 체계적으로 찾을 수 있었다. UPnP 장비들에 대한 신뢰성을 높이기 위한 작업으로 UIC라는 기관에서 테스트를 진행 하고 있지만, 이들에 테스트 만으로는 장비들의 신뢰성을 입증하기에 부족하다는 것을 우리의 실험결과 알 수 있었다. 우리는 UIC 테스트를 통과한 2가지 장비를 선택하여 테스트를 수행한 결과, 다양한 종류의 문제점과 일부의 경우 서비스가 중지될 수 있는 심각한 문제의 가능성을 발견할 수 있었다. 제 1 장 서론 = 1 제 2 장 관련 연구 = 3 제 1 절 입력 오류를 이용한 프로토콜 테스트 = 3 제 2 절 MUTATION을 발생시키는 다양한 방법 = 5 제 3 장 UPNP의 구조 = 7 제 1 절 UPNP 네트워크의 구성요소 = 7 제 2 절 UPNP 프로토콜의 6단계 = 8 제 3 절 UPNP에서 사용되는 프로토콜 = 12 제 4 장 다양한 오류 생성 방법 = 16 제 1 절 UPNP 메시지의 구성 = 16 제 2 절 SYNTACTIC 오류 생성 = 18 제 3 절 SEMANTIC 오류 생성 = 21 제 5 장 테스트 프레임워크 = 24 제 6 장 테스트 = 26 제 1 절 실험 환경 = 26 제 2 절 명세서에 준하는 입력값을 이용한 테스트 = 28 제 3 절 SYNTACTIC오류 입력을 이용한 테스트 = 28 제 4 절 SEMANTIC오류가 입력을 이용한 테스트 = 33 제 7 장 결론 = 36 참고 문헌 = 37 Abstract = 39 kor The Graduate School, Ajou University 아주대학교 논문은 저작권에 의해 보호받습니다. UPnP 장치들의 신뢰성 테스트 Thesis 아주대학교 정보통신전문대학원 정보통신전문대학원 정보통신공학과 2007. 2 Master http://dcoll.ajou.ac.kr:9080/dcollection/jsp/common/DcLoOrgPer.jsp?sItemId=000000001760 UPnP Syntactic 오류 Semantic 오류 오류 분류 오류 테스트 프로토콜 테스트 신뢰성 테스트 Many devices belonging to home-network are connected to network by using UPnP technique. We operated testing for two devices implemented on UPnP architecture. We observe their responses of fault Protocol Data Units. According to the concept of generating faults, faults are generated by being classified with syntactic and semantic faults. Syntactic faults classified with eleven types used for testing devices in particular. The test generates fault message according to the types of the syntactic faults. We detect weak points of devices systematically by various fault types. UPnP Implementers Corporation (UIC) effort to increase the reliability of UPnP devices, but it is not enough to verify their reliability. We show that UIC test has not guaranteed whole reliability of devices. We choose two devices which passed the UIC test. The result of testing for the two devices, we found various problems and critical device failures. Keywords: UPnP, syntactic fault, semantic fault, fault classify, fault test, protocol test, dependability test.