Login | Register

Modeling and testing main IPv6 protocols


Modeling and testing main IPv6 protocols

Huang, Zheying (2004) Modeling and testing main IPv6 protocols. Masters thesis, Concordia University.

[thumbnail of MQ91044.pdf]
Text (application/pdf)
MQ91044.pdf - Accepted Version


This thesis presents the modeling and testing of main network layer protocols in IPv6, which are IPv6, ICMPv6, MLD and RIPng protocols. The purpose of this thesis is to formalize these protocols and to automatically generate test suites for conformance and interoperability testing. The protocols are specified using SDL (Specification and Description Language) and the test suites are described with TTCN (Tree and Tabular Combined Notation). The basic approach of formalizing these protocols applies the principle of SDL: different level. The test case suites are generated by test generator-testComposer in ObjectGeode toolset. A brief overview of the four main protocols is given before the general approach. The examples are given following all applied steps.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Thesis (Masters)
Authors:Huang, Zheying
Pagination:vii, 88 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Electrical and Computer Engineering
Thesis Supervisor(s):Dssouli, Rachida
Identification Number:TK 5105.585 H83 2004
ID Code:7959
Deposited By: Concordia University Library
Deposited On:18 Aug 2011 18:11
Last Modified:13 Jul 2020 20:02
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top