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.
Keywords : méthodes formelles ipv6 conformance and interoperability testing formal methods sdl modeling modélisation sdl tests de conformité et d'interopérabilité ipv6
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00100963
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:53:10 PM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM

Identifiers

  • HAL Id : inria-00100963, version 1

Collections

INRIA | CNRS | LORIA | UNIV-LORRAINE

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

392

 

Contact                    Legal Notice                    Personal Data