5th Workshop on Advances in Model Based Testing (A-MOST 2009)
The 5th Workshop on Advances in Model Based Testing will be held in conjunction with the 2nd International Conference on Software Testing, Verfication, and Validation (ICST'09) in Denver, Colorado, USA.
Download Call for Papers: Text | PDF (A4) | PDF (letter)
Workshop Topics and Goals
The increasing
use of software and the growing system complexity, in size, heterogeneity,
autonomy, and physical distribution make focussed 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. A-MOST 09
will bring together researchers and practitioners interested in the topic of
Model Based Testing (MBT).
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 object-oriented software
engineering, formal methods, and other mathematical and engineering disciplines
have been successfully applied and continue to converge into comprehensive
approaches to software and system engineering.
The execution of
software using test-cases or sequences derived in a manual or automatic manner
from models, often referred to as MBT, is an encouraging scientific and
industrial trend to cope with growing software system complexity. Modelling
requires a substantial investment, and practical and scalable MBT solutions can
help leverage this investment. The testing models may have been adapted from
system design models or might have been devised specifically to support MBT.
Naturally, the greatest benefits are often obtained when test generation is
automated, but many practitioners report that the modelling process itself is of
value, often highlighting requirements issues.
The use of
industrial scale software demands the model-based construction of software and
systems as compositions of independent and reusable actors. In this engineering
paradigm, complex system functionality arises out of the composition of many
component services. For these systems, model based testing may significantly
improve component acceptance and move component integration testing towards a
canonical validation and certification of complete systems.
Automation of
software development and software testing on the basis of executable models and
simulation promises significant reductions in fault-removal cost and development
time. As a consequence of automating MBT, changes in requirements analysis,
development and testing processes are needed that demand combined efforts from
research and industry towards a broadly accepted solution.
A-MOST 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
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 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
Submission details can be found here.
Workshop History
A-MOST 2009 will be the fifth A-MOST. The four previous events were:
- 1st A-MOST Workshop, collocated with ICSE'05,
St. Louis, Missouri - USA, May 15-16, 2005
- 2nd A-MOST Workshop, collocated with ISSRE'06,
Raleigh, North Carolina - USA, November 7th, 2006
- 3rd A-MOST Workshop, collocated with ISSTA 2007,
London, 9th July 2007
- 4th A-MOST Workshop, collocated with ICST 2008,
Lillehammer, Norway, April 9th, 2008
Sponsored by
|
NEWS
Presentations can be found in the program [16.04.2009]
Some pictures of the workshop [07.04.2009]
Program available [10.03.2009]
Submission deadline extended: January 16 [07.01.2009]
Submission site open [27.12.2008]
Keynote speaker announced: Doron Peled [06.10.2008]
Now sponsored by Conformiq [05.10.2008]
Program committee announced [05.8.2008]
A-MOST09 Workshop website is online [28.4.2008]
sponsored by
co-located with
|