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
Type de document :
Communication dans un congrès
International Workshop on Communication Software Engineering - IWCSE'2002, Dec 2002, Marrakech, Morocco, 2002
Liste complète des métadonnées
https://hal.inria.fr/inria-00100963
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:10
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00

Identifiants

  • HAL Id : inria-00100963, version 1

Collections

INRIA | 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, 2002. 〈inria-00100963〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

339

Contact


archive-ouverte@inria.fr