Model-Based Test Selection for Infinite-State Reactive Systems

Abstract : This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of reactive systems. Efficient solutions to this problem have been proposed in the context of finite-state models, based on the ioco conformance testing theory. An extension of these is proposed in the context of infinite-state specifications, modelled as automata extended with variables. One considers the selection of test cases according to test purposes describing abstract scenarios that one wants to test. The selection of program test cases then consists in syntactical transformations of the specification model, using approximate analyses.
Type de document :
Communication dans un congrès
Formal Methods for Components and Objects, 2006, Amsterdam, Netherlands. 2006
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00564604
Contributeur : Mister Dart <>
Soumis le : mercredi 9 février 2011 - 14:18:12
Dernière modification le : jeudi 11 janvier 2018 - 06:22:03
Document(s) archivé(s) le : mardi 6 novembre 2012 - 13:45:33

Fichier

fmco06.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00564604, version 1

Collections

Citation

Bertrand Jeannet, Thierry Jéron, Vlad Rusu. Model-Based Test Selection for Infinite-State Reactive Systems. Formal Methods for Components and Objects, 2006, Amsterdam, Netherlands. 2006. 〈inria-00564604〉

Partager

Métriques

Consultations de la notice

188

Téléchargements de fichiers

124