Skip to Main content Skip to Navigation
Conference papers

Formal Specifications, TTCN and executable test cases for main IPv6 protocols

Abdelghani Benharref Rachida Dssouli Zineb Berbich Isabelle Chrisment 1
1 RESEDAS - Software Tools for Telecommunications and Distributed Systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:53:10 PM
Last modification on : Friday, February 4, 2022 - 3:31:46 AM


  • HAL Id : inria-00100963, version 1



Abdelghani Benharref, Rachida Dssouli, Zineb Berbich, Isabelle Chrisment. Formal Specifications, TTCN and executable test cases for main IPv6 protocols. International Workshop on Communication Software Engineering - IWCSE'2002, Dec 2002, Marrakech, Morocco. ⟨inria-00100963⟩



Record views