6th Workshop on Advances in Model Based Testing
A-MOST 2010

co-located with the 3rd International Conference on
Software Testing, Verification and Validation
ICST 2010

April 6, 2010 – Paris, France

| Home | News | Workshop Description | Objective | Call for Papers | Submission | Accepted Papers | Workshop Program | Workshop Proceedings | Registration | Important Dates | Contact | Editorial Notes |
Workshop Organization

Robert Eschbach
Fraunhofer IESE, Germany

Jesse Poore
University of Tennessee,
USA

 

Programme Committee
· Robert Eschbach
· Gordon Fraser
· Stacy Prowell
· Bob Binder
· Jeff Offutt
· Lars Frantzen
· Antti Huima
· Rob Hierons
· Angelo Gargantini
· Alexander Pretschner
· Manuel Nunez
· Alexandre Petrenko
· Steve Counsell
· Ina Schieferdecker
· Carsten Weise
· Mercedes Merayo
· Wolfgang Grieskamp
· Jesse Poore
· Mikhail Auguston
· Brian Nielsen
· Ioannis Parissis
· Franz Wotawa
· Paul Ammann
· Hasan Ural

 

 

Workshop Description
The increasing use of software and the growing system complexity, in size, heterogeneity, autonomy, physical distribution, and dynamicity make focused software system testing a challenging task. Recent years have seen an increasing industrial and academic interest in the use of models for designing and testing software. Success has been reported using a range of types of models using a variety of specification formats, notations and formal languages, such as UML, SDL, B and Z.

News
The presentation slides are now available (see workshop program).
The deadline for paper submission has been extended to the 15th of February, and the notification date has been moved to the 1st of March.
The A-MOST workshop has merged with the QuoMBaT workshop for ICST 2010.
Registration for the workshop is now open! The deadline for early registration is March 7th.

Objective
The goal of the A-MOST workshop is to bring together researchers and practitioners to discuss the current state of the art and practice as well as future prospects for Model-Based software Testing (MBT). Issues to be considered are:

Models:
· Models for component, integration and system testing
· Product-line models
· (Hybrid) embedded system models
· Systems-of-systems models
· Architectural models
· Models for orchestration and choreography of services
· Executable models and simulation
· Environment and use models
· Non-functional models

Processes, Methods and Tools:
· Model-based test generation algorithms
· Application of model checking techniques in model-based testing
· Tracing from requirements model to test models
· Performance and predictability of model-driven development
· Test model evolution during the software lifecycle
· Risk-based approaches for MBT
· Generation of testing-infrastructures from models
· Combinatorial approaches for MBT
· Statistical testing

Experiences and Evaluation:
· Non-functional/Quantitative MBT
· Estimating dependability (e.g., security, safety, reliability) using MBT
· Coverage metrics and measurements for structural and (non-)functional models
· Cost of testing, economic impact of MBT
· Empirical validation, experiences, case studies using MBT

A-MOST '10 Call for Papers

The call for papers can be found here.

Submission of papers

Papers can be submitted using EasyChair at this page.

Accepted Papers

  • Gordon Fraser and Angelo Gargantini. Generating minimal fault detecting test suites for Boolean expressions
  • Ekaterina Akenshina, Natalia Shabaldina and Nina Yevtushenko. Deriving exhaustive test suites for nondeterministic FSMs w.r.t. non-separability relation
  • Fabrice Bouquet, Bué Pierre-christophe, Jacques Julliand and Pierre-Alain Masson. Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
  • Adenilso Simao and Alexandre Petrenko. From Test Purposes to Asynchronous Test Cases
  • Christopher Robinson-Mallett, Jens Köhnlein, Matthias Grochtmann, Joachim Wegener and Steffen Kühn. Modeling requirements to support testing of product-lines
  • Sebastien Salva and Issam Rabhi: A preliminary study on BPEL process testability
  • Yves Le Traon, Tejeddine Mouelhi, Frank Fleurey and Benoit Baudry: Language-specific vs.language-independent approaches: embedding semantics on a metamodel for testing and verifying access control policies
  • Peter Lakey: A Measurement Framework for Assessing Model-Based Testing Quality
  • Baris Güldali, Michael Mlynarski and Yavuz Sancar: Effort Comparison of Model-based Testing Scenarios

A-MOST '10 Workshop Program

8:30 - Welcome
9:00 - 9:30 - Session 1 - Test Purposes and Test Model Construction

  • Adenilso Simao and Alexandre Petrenko. From Test Purposes to Asynchronous Test Cases (Slides)
9:30 - 10:30 - Keynote by Bruno Legeard (Slides)
10:30 - 11:00 - Coffee Break
11:00 - 12:30 - Session 1 - continuation; Session 2: Test Quality and Effort
  • Christopher Robinson-Mallett, Jens Köhnlein, Matthias Grochtmann, Steffen Kühn and Joachim Wegener. Modeling requirements to support testing of product-lines (Slides)
  • Peter Lakey: Measurement Framework for Assessing Model-Based Testing Quality (Slides)
  • Baris Güldali, Michael Mlynarski and Yavuz Sancar: Effort Comparison of Model-based Testing Scenarios (Slides)
12:30 - 14:30 - Lunch Break
14:30 - 16:00 - Session 3: Test Case Generation
  • Gordon Fraser and Angelo Gargantini. Generating minimal fault detecting test suites for Boolean expressions (Slides)
  • Ekaterina Akenshina, Natalia Shabaldina and Nina Yevtushenko. Deriving exhaustive test suites for nondeterministic FSMs w.r.t. non-separability relation (Slides)
  • Fabrice Bouquet, Pierre-christophe Bué, Jacques Julliand and Pierre-Alain Masson. Test Generation Based on Abstraction and Test Purposes Abstraction and Test Purposes (Slides)
16:00 - 16:30 - Coffee Break
16:30 - 17:30 - Session 4: Enabling Test Quality
  • Sebastien Salva and Issam Rabhi: A preliminary study on BPEL process testability (Slides)
  • Yves Le Traon, Tejeddine Mouelhi, Frank Fleurey and Benoit Baudry: Language-specific vs. language-independent approaches: embedding semantics on a metamodel for testing and verifying access control policies (Slides)

Proceedings

Accepted papers will be published in the IEEE Digital Library. Additionally, the authors of the three best papers will be invited to submit an extended version of their work for inclusion inside a special section of the Information and Software Technology journal.

Registration
Please refer to details at ICST 2010 for registration, hotel reservations, and visa letter requests.

Important Dates
· Submission deadline (extended): 15th February 2010
· Notification of acceptance for participation/presentation (moved): 5th March 2010
· Early registration deadline: 7th March 2010
· Final papers: 20th March 2010
· Workshop: 6th April 2010

Contact
E-Mail to the organizers: robert.eschbach@iese.fraunhofer.de