jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines

Frédéric Dadeau 1 Régis Tissot 2
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper presents the jSynoPSys tool that implements the concept of Scenario-Based Testing from B machines. This consists in describing execution scenarios, expressed as regular expressions over the operations of the system, coupled with intermediate system states that have to be reached when the scenario is unfolded. The tool relies on the BZ-Testing-Tools engine, originally designed to perform symbolic animation and boundary test generation from B machines. The main advantage of our Scenario-Based Testing technique is that it performs a full abstraction of the operation parameter values, that are instantiated at the end, when the scenario has been completely unfolded, using constraint solving techniques.
Type de document :
Article dans une revue
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.117-132. 〈10.1016/j.entcs.2009.09.055〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00429234
Contributeur : Frédéric Dadeau <>
Soumis le : lundi 2 novembre 2009 - 10:29:12
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Lien texte intégral

Identifiants

Citation

Frédéric Dadeau, Régis Tissot. jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.117-132. 〈10.1016/j.entcs.2009.09.055〉. 〈inria-00429234〉

Partager

Métriques

Consultations de la notice

217