The Community for Technology Leaders
Software Testing Verification and Validation Workshop, IEEE International Conference on (2011)
Berlin, Germany
Mar. 21, 2011 to Mar. 25, 2011
ISBN: 978-0-7695-4345-1
pp: 194-197
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 data types and hierarchical models are still to be solved for test data generation for Event-B models.
INDEX TERMS
Abstract state machines, Event-B, model-based testing, search-based software testing
CITATION
Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose, "Towards Search-Based Testing for Event-B Models", Software Testing Verification and Validation Workshop, IEEE International Conference on, vol. 00, no. , pp. 194-197, 2011, doi:10.1109/ICSTW.2011.41
96 ms
(Ver 3.3 (11022016))