Formal Specifications, TTCN and executable test cases for main IPv6 protocols - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

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

Abdelghani Benharref
  • Fonction : Auteur
Rachida Dssouli
  • Fonction : Auteur
Zineb Berbich
  • Fonction : Auteur

Résumé

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.
Fichier non déposé

Dates et versions

inria-00100963 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100963 , version 1

Citer

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⟩
162 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More