10th Workshop on Advances in Model Based Testing (A-MOST 2014)

Welcome to the home page of the 10th A-MOST (Advances in Model Based Testing) workshop!

A-MOST's program is now online! Our keynote speaker this year is Gordon Fraser, from Sheffield University. Also, this year we will have an award for the best paper!

The increasing complexity of software results in new challenges for testing. Model Based Testing (MBT) continues to be an important research area, where new approaches, methods and tools make MBT techniques more deployable and useful for industry than ever. Models and different abstractions can ease comprehension of a complex system and ease test generation and automation. A-MOST 2014 will bring together researchers and practitioners interested in the topic of Model Based Testing.

The use of models for designing and testing software is currently one of the most salient industrial trends with significant impact on the development and testing processes. Model-based tools and methods from have been successfully applied and continue to converge into comprehensive approaches to software and system engineering. The area encompass models derived from object-oriented software engineering, formal methods, and other mathematical and engineering disciplines.

A-MOST will focus on three main areas:

The models used in model based testing
The processes, techniques, and tools that support model based testing
Evaluation of model based testing

Organizers:

Levi L�cio, McGill University, Canada
Tejeddine Mouelhi, University of Luxembourg, Luxembourg

Objectives and Scope

A-MOST 2014 will focus on three main areas: the models used in MBT; the processes, techniques, and tools that support MBT; and evaluation. Here, evaluation includes the evaluation of software using MBT and the evaluation of MBT. These areas can be further broken down into the following topics:

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
Models for variant-rich and highly configurable systems

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 life-cycle
Risk-based approaches for MBT
Generation of testing-infrastructures from models
Combinatorial approaches for MBT
Statistical testing

EXPERIENCES AND EVALUATION

Non-functional 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

navigation

Objectives and Scope