Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminar: Alin Stefanescu

LFCS Seminar: Alin Stefanescu

— filed under:

Test generation and model learning for Event-B

What
  • LFCS Seminar
When May 15, 2012
from 04:00 PM to 05:00 PM
Where IF 4.31-4.33
Add event to calendar vCal
iCal

Event-B is a formal modelling method used for system-level
specification and analysis. Tool support is provided by the Rodin
platform and two European research projects RODIN (2004-2007) and
DEPLOY (2008-2012) continuously developed Event-B. Although most of
the investigated methods are based on theorem proving and model
checking, there is recent ongoing work on test generation from Event-B
specifications.

In this talk, we present an approach for test generation based on
model learning and cover automata. After introducing Event-B and
DEPLOY project, we show how model learning can be used to extract both
a finite state approximation and a conformance test suite. The
iterative nature of the algorithm fits well with the notion of Event-B
refinement. Experimental results will conclude the talk.

Document Actions