Breadcrumb

 
 

Modeling and testing main IPv6 protocols

Title:

Modeling and testing main IPv6 protocols

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

[img]
Preview
PDF - Accepted Version
3577Kb

Abstract

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 > Faculty 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
Date:2004
Thesis Supervisor(s):Dssouli, Rachida
ID Code:7959
Deposited By:Concordia University Libraries
Deposited On:18 Aug 2011 14:11
Last Modified:19 Aug 2011 04:01
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

Document Downloads

More statistics for this item...

Concordia University - Footer