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
