Industrial deployment of system engineering methods providing high dependability and productivity


Learn and Test for Event-B - a Rodin Plugin

Dinca, Ionut and Ipate, Florentin and Mierla, Laurentiu and Stefanescu, Alin (2012) Learn and Test for Event-B - a Rodin Plugin. In: ABZ'12 Conference, June 19-21, 2012, Pisa, Italy.

PDF - Accepted Version


The Event-B method is a formal approach for reliable systems specification and verification, being supported by the Rodin platform, which includes mature plugins for theorem-proving, model-checking, or model (de)composition features. In order to complement these techniques with test generation and state model inference from Event-B models, we developed a new feature as a Rodin plugin. Our plugin implements a model-learning approach to iteratively construct an approximate automaton model together with an associated test suite. Test suite optimization is further applied according to different optimization criteria.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Springer, LNCS, volume 7316, pp. 361-364
Uncontrolled Keywords:testing, tool paper, Event-B, learning
Subjects:Tool developments
Tool developments > Model construction
Tool developments > Other
Tool developments > Rodin plug-ins
ID Code:379
Deposited By: Dr. Alin Stefanescu
Deposited On:16 Mar 2012 09:22
Last Modified:19 Apr 2012 21:20

Repository Staff Only: item control page

Deploy-Project - All right reserved