Stefanescu, Alin and Ipate, Florentin and Lefticaru, Raluca and Tudose, Cristina (2011) Towards Search-based Testing for Event-B Models. In: 4th International Workshop on Search-Based Software Testing, 21 Mar 2011, Berlin.
![]() |
PDF
- Published Version
137Kb |
Official URL: http://dx.doi.org/10.1109/ICSTW.2011.41
Abstract
This position paper discusses the challenges and opportunities of applying search-based techniques to a formal environment of abstract state machines defined using a language called Event-B. Event-B is based on a formal abstract machine notation that has a mature tool support and gets continuous feedback from industry. Although search-based techniques recently developed for extended finite state machines may be adapted to this context, new challenges such as implicit states, non-determinism, non-numerical datatypes and hierarchical models are still to be solved for test data generation for Event-B models.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Uncontrolled Keywords: | Abstract state machines; Event-B; model-based testing; search-based software testing |
Subjects: | Methodology > Other Tool developments |
ID Code: | 288 |
Deposited By: | Dr. Alin Stefanescu |
Deposited On: | 24 Feb 2011 08:40 |
Last Modified: | 15 Mar 2012 12:32 |
Repository Staff Only: item control page