Huang, Zheying (2004) Modeling and testing main IPv6 protocols. Masters thesis, Concordia University.
|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 > Faculty of Engineering and Computer Science > Electrical and Computer Engineering|
|Item Type:||Thesis (Masters)|
|Pagination:||vii, 88 leaves : ill. ; 29 cm.|
|Degree Name:||M.A. Sc.|
|Program:||Electrical and Computer Engineering|
|Thesis Supervisor(s):||Dssouli, Rachida|
|Deposited By:||Concordia University Libraries|
|Deposited On:||18 Aug 2011 14:11|
|Last Modified:||19 Aug 2011 04:01|
Repository Staff Only: item control page