Programme
|
09:20
|
Opening and Welcome |
|
09:25
|
The Grand Game of Testing
Yuri Gurevich
|
|
10:00
|
Present and Absent Sets: Abstraction
for Testing of Reactive Systems with Databases
Petur
Olsen, Kim Larsen, and Arne Skou
|
|
10:30
|
Coffee break
|
|
11:00
|
Model Testing Asynchronously
Communicating Objects using Modulo AC Rewriting
Olaf
Owe, Martin Steffen, and Arild B. Torjusen
|
|
11:30
|
Feature Interaction Aware Test Case
Generation for Embedded Control Systems
Malte Lochau and Ursula Goltz
|
|
12:00
|
A Polyhedron Approach to Calculate
Probability Distributions for Markov Chain Usage Models
Winfried Dulz, Stefan Holpp, and Reinhard
German
|
|
12:30
|
Lunch
|
|
14:15
|
Invited talk: A Theory of
Model-Based Testing and How ioco Goes
eco
Jan
Tretmans
|
|
15:15
|
Break
|
|
15:30
|
Handling State-Machines
Specifications with GATeL
Benjamin
Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, and Olivier Andrieu
|
|
16:00
|
Coffee break
|
|
16:30
|
Model-Centric Testing
Florian
Prester
|
|
17:00
|
Specification Model Based Testing in
the Avionic Domain - Current Status and Future Directions
Philipp
Helle and Wladimir Schamai
|
|
17:30
|
Closing
|
Aims and Scope
The workshop is devoted to model-based
testing of both software and hardware.
Model-based testing is closely related to model-based
specification. Models are used to
describe the behavior of the system under consideration and to guide such
efforts as test selection and test results evaluation. Both testing and verification are used
to validate models against the requirements and check that the implementation
conforms to the specification model.
Model-based testing has gained
attention with the popularization of models in software/hardware design and
development. Of particular importance are formal models with precise
semantics, such as state-based formalisms. Testing with such models allows
one to measure the degree of the product's conformance with the model.
Techniques to support model-based
testing are drawn from diverse areas, like formal verification, model
checking, control and data flow analysis, grammar analysis, and Markov decision
processes.
The intent of this workshop is to
bring together researchers and users of models for to discuss the state of
the art in theory, applications, tools, and industrialization of model-based
specification, testing and verification.
Workshop History
MBT 2010 is the sixth event in a
series of ETAPS satellite workshops. MBT 2004, historically the first meeting to
focus on model-based testing, was held March 27-28, 2004, in Barcelona,
Spain. MBT 2006 was held March 25-26, 2006, in
Vienna, Austria, MBT 2007 on March 31 - April 1, 2007, in
Braga, Portugal, MBT 2008 on March 30, 2008, in Budapest,
Hungary, and MBT 2009 on March 22, 2009, in York, UK. The
proceedings have appeared in ENTCS (volumes 111, 164,
190, 220,
253).
Submission Topics
Original submissions are solicited
from industry and academia. They are invited to present their work, plans,
and views related to model-based testing. The topics of interest include but
are not limited to:
Online and offline test sequence
generation methods and tools
Test data selection methods and tools
Runtime verification
Model-based test coverage metrics
Automatic domain/partition analysis
Combination of verification and testing
Models as test oracles
Scenario based test generation
Meta programming support for testing
Formalisms suitable for model-based testing
Application of model checking techniques in model-based testing
Game-theoretic approaches to testing
Model-based testing in industry: problems and achievements
Important Dates
Paper submissions – December 18,
2009 (extended)
Notification of acceptance – February 1, 2010
Final versions – February 15, 2010
Workshop – March 21, 2009
Paper
Submission
RESEARCH PAPERS should be limited to 15 pages in ENTCS format
(generic.zip,
prentcsmacro.sty), describing significant
research results based on sound theory or experimental assessment.
We also solicit INDUSTRY EXPERIENCE
PAPERS, about the use of model-based testing in industrial environments. Such
papers should be limited to 15 pages too.
Workshop proceedings will be
distributed by the organizers of ETAPS’09. It is intended also that
selected contributions will be published in a journal.
Organizing Committee
Bernd Finkbeiner (Universität des Saarlandes,
Germany)
Yuri Gurevich (Microsoft Research, USA)
Alexander K.
Petrenko (Institute for
System Programming of Russian Academy of Sciences)
Program Committee
Bernhard K.
Aichernig (Graz University of Technology, Austria)
Jonathan Bowen (Museophile Limited, UK)
Mirko Conrad (The MathWorks GmbH, Germany)
John Derrick (University of Kent, UK)
Bernd Finkbeiner (Universität des Saarlandes, Germany)
Patrice Godefroid (Microsoft Research)
Susanne Graf (Verimag, Grenoble, France)
Yuri Gurevich (Microsoft Research, USA)
Ziyad Hanna (Jasper Design Automation, USA)
Antti Huima (Conformiq Software Ltd., Finland)
Alexander S. Kossatchev (ISP RAS, Russia)
Darko Marinov (University of Illinois, USA)
Bruno Marre (Universite Paris-Sud,
France)
Alexander K. Petrenko (ISP RAS,
Russia)
Alexandre Petrenko (Computer Research Institute of Montreal, Canada)
Natasha Sharygina (University of Lugano, Switzerland)
Nikolai Tillmann (Microsoft Research,
USA)
Jan Tretmans (Embedded Systems Institute, Eindhoven, The Netherlands)
Nina Yevtushenko (Tomsk State University, Russia)
|
