Back-to-Back Testing : méthodes formelles pour maîtriser la conformité des implémentations logicielles - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Back-to-Back Testing : méthodes formelles pour maîtriser la conformité des implémentations logicielles

Guignard Anaïs
  • Fonction : Auteur
  • PersonId : 1196592
Niguez Julien
  • Fonction : Auteur
  • PersonId : 1196594
Nicolas Systerel Breton
  • Fonction : Auteur
  • PersonId : 1110302
Vincent Pouzol
  • Fonction : Auteur
  • PersonId : 1196595

Résumé

Le Back-to-Back Testing (B2BT) décrit un procédé qui permet de générer automatiquement à l'aide de méthodes formelles un ensemble de séquences de test à partir d'un modèle. Ces séquences caractérisent le comportement observable du modèle. Pour chaque pas de test, elles décrivent les entrées et sorties du modèle, les sorties étant calculées en fonction des entrées et de l'état du programme. Ces séquences sont ensuite mises en oeuvre sur un banc afin de confirmer qu'une implémentation matérielle et/ou logicielle est conforme au modèle initial. Ces séquences sont construites de manière à détecter les mutations qui modifieraient le comportement observable du modèle. Comme pour toute stratégie de tests, un certain nombre d'indicateurs de couverture sont définis par l'approche B2BT. Des premiers essais industriels, en partenariat avec EDF, sont en train d'être menés.
Fichier principal
Vignette du fichier
1B - Back-to-Back Testing méthodes formelles pour maîtriser la conformité des implémentations logiciels.pdf (339.76 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03878473 , version 1 (29-11-2022)

Identifiants

  • HAL Id : hal-03878473 , version 1

Citer

Guignard Anaïs, Alain Ourghanlian, Niguez Julien, Nicolas Systerel Breton, Vincent Pouzol. Back-to-Back Testing : méthodes formelles pour maîtriser la conformité des implémentations logicielles. Congrès Lambda Mu 23 « Innovations et maîtrise des risques pour un avenir durable » - 23e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2022, Paris Saclay, France. ⟨hal-03878473⟩

Collections

EDF IMDR
37 Consultations
51 Téléchargements

Partager

Gmail Facebook X LinkedIn More