In this paper, we present an overview of "Modeling, Specifying and Testing IPv6 Protocols" project. The aim of the project is to formalize IPv6 protocols and to allow simulation and automatic generation of test suites for conformance and interoperability testing. Protocol behavior is specified with SDL and test suites are described with TTCN (Tree and Tabular Combined Notation). Our methodology for formalizing, verifying and generating abstract test suites is based on ObjectGeode from Telelogic. A selection of corresponding executable test suites are provided in C language and are ready to apply to an existing implementation. The set of protocols that have been specified includes "Internet Protocol version 6", "Neighbor Discovery for IPv6", "Internet Control Message Protocol for IPv6", "Multicast Listener Discovery for IPv6" and "RIPng for IPv6". A brief overview of each protocol is given before the general approach used is presented. An example is given based on a small protocol MLD for which all steps have been applied and executable test suite have been coded in C language and executed in an active environment.