Syntactic Abstraction of B Models to Generate Tests

Abstract : In a model-based testing approach as well as for the verification of properties, B models provide an interesting solution. However, for industrial applications, the size of their state space often makes them hard to handle. To reduce the amount of states, an abstraction function can be used, often combining state variable elimination and domain abstractions of the remaining variables. This paper complements previous results, based on domain abstraction for test generation, by adding a preliminary syntactic abstraction phase, based on variable elimination. We define a syntactic transformation that suppresses some variables from a B event model, in addition to a method that chooses relevant variables according to a test purpose. We propose two methods to compute an abstraction A of an initial model M. The first one computes A as a simulation of M, and the second one computes A as a bisimulation of M. The abstraction process produces a finite state system. We apply this abstraction computation to a Model Based Testing process.
Type de document :
Communication dans un congrès
TAP'10, 4th Int. Conference on Tests and Proofs, Jul 2010, Malaga, Spain. pp.151-166, 2010
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00471324
Contributeur : Nicolas Stouls <>
Soumis le : mercredi 19 mai 2010 - 17:07:04
Dernière modification le : jeudi 11 janvier 2018 - 06:16:36
Document(s) archivé(s) le : jeudi 23 septembre 2010 - 12:33:12

Identifiants

  • HAL Id : inria-00471324, version 2
  • ARXIV : 1004.1262

Citation

Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson. Syntactic Abstraction of B Models to Generate Tests. TAP'10, 4th Int. Conference on Tests and Proofs, Jul 2010, Malaga, Spain. pp.151-166, 2010. 〈inria-00471324v2〉

Partager

Métriques

Consultations de la notice

218

Téléchargements de fichiers

212