Industrial deployment of system engineering methods providing high dependability and productivity


Test Data Generation for Event-B Models using Genetic Algorithms

Dinca, Ionut and Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina (2011) Test Data Generation for Event-B Models using Genetic Algorithms. In: 2nd International Conference on Software Engineering and Computer Systems (ICSECS'11), June 27-29, 2011, Malaysia.

[img] PDF - Accepted Version

Official URL:


Event-B is a formal modeling language having set theory as its mathematical foundation and abstract state machines as its behavioral specifications. The language has very good tool support based on theorem proving and model checking technologies, but very little support for test generation. Motivated by industrial interest in the latter domain, this paper presents an approach based on genetic algorithms that generates test data for Event-B test paths. For that, new fitness functions adapted to the set-theoretic nature of Event-B are devised. The approach was implemented and its efficiency was proven on a carefully designed benchmark using statistically sound evaluations.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Springer
Uncontrolled Keywords:Abstract state machines; Event-B; model-based testing; search-based testing.
Subjects:Tool developments > Other
ID Code:305
Deposited By: Dr. Alin Stefanescu
Deposited On:25 May 2011 06:36
Last Modified:13 Oct 2011 20:53

Repository Staff Only: item control page

Deploy-Project - All right reserved