jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines - Archive ouverte HAL Access content directly
Journal Articles Electronic Notes in Theoretical Computer Science Year : 2009

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

(1) , (2)
1
2

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.

Dates and versions

inria-00429234 , version 1 (02-11-2009)

Identifiers

Cite

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, 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⟩
81 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More