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]](../style/images/fileicons/application_pdf.png) |
PDF
- Accepted Version
319Kb |
Official URL: http://www.springerlink.com/content/jq437668q5l87mx4/
Abstract
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
