FATES'01

FORMAL APPROACHES TO TESTING OF SOFTWARE

A Satellite Workshop of CONCUR'01

August 25, 2001  -  Aalborg, Denmark


Motivation

Testing is an important technique for validating and checking the correctness of software. However, effective and efficient testing turns out to be difficult, expensive, laborious, error-prone and time consuming. Formal methods are a way of specifying and verifying software systems by applying techniques from mathematics and logic. This enables the analysis of systems and the reasoning about them with mathematical precision and rigour. Formal methods and testing used to be a difficult combination. Formal methods aim at verifying and proving correctness, while testing can only show the presence of errors. Validation in practice is most often performed by testing, while academic research was concentrated on formal verification. However, recently, there is an increasing interest in the use of formal methods in software testing. It is recognized that formal methods and testing are complementary techniques which can, and should be used in combination. The use of formal methods can help in alleviating some of the challenges of software testing. In particular, a formal, and formally verified specification provides a more precise, more consistent and more complete starting point for the testing process and the obtained tests can be formally validated whether they test what should be tested. Moreover, the use of formal methods allows automating the generation of tests from formal specifications, thus leading to a faster, cheaper and less error-prone testing process. And finally, formal testing turns out to be a good starting point for introducing formal methods in software development.

Objective

The aim of FATES is to be a forum for researchers, developers and testers to present ideas about and discuss the use of formal methods in software testing.

Topics of interest include formal test theory, test tools and test applications based on formal methods, as well as test derivation, test generation algorithms, result analysis, test selection based on formal models, coverage computation, and all of this based on different formal methods, and applied in different application areas.

Programme

Time Author(s) Title
9.00   Opening
9.15 David Lee,
Ruibing Hao (Bell Labs Research China)
Efficient Algorithms for Test Sequence Selection (invited talk)
10.15 Marc Lettrari (OFFIS Germany)
Jochen Klose (University Oldenburg)
Udo Brockmeyer (OFFIS Germany)
UML Validation Suite (Tool Demonstration)
10.30 Coffee Break
11.00 Hyoung Seok Hong,
Insup Lee,
Oleg Sokolsky (University of Pennsylvania)
Sung Deok Cha (Korea Advanced Institute of Science and Technology)
Automatic Test Generation from Statecharts using Model Checking
11.30 Simon Burton,
John Clark,
John McDermid (University of York)
Automatic Generation of Tests from Statechart Specifications
12.00 Alexander Pretschner (TU München) Classical Search Strategies for Test Case Generation with Constraint Logic Programming
12.30 Lunch
14.00 René G. de Vries,
Jan Tretmans (University of Twente)
Towards Formal Test Purposes
14.30 Jens Chr. Godskesen (The IT University of Copenhagen) Complexity Issues of Connectivity Testing
15.00 Sébastien Salva,
Eric Petitjean,
Hacène Fouchal (Université de Reims Champagne-Ardenne)
A Simple Approach to Testing Timed Systems
15.30 Coffee Break
16.00 Ralf Lämmel (CWI Amsterdam)
Jörg Harm (Debis Hamburg)
Test Case Characterisation by Regular Path Expressions
16.30 Hesham Hallal,
Alex Petrenko (CRIM Montreal)
Andreas Ulrich (Siemens München)
Sergiy Boroday (CRIM Montreal)
Using SDL Tools to Test Properties of Distributed Systems
17.00 Tibor Csöndes (Ericsson Hungary)
Balázs Kotnyek (London School of Economics and Political Science)
A Formal Approach to Practical Test Selection
17.30 Closing and Informal Reception

Important dates

Early registration FATES 23 July 2001
Workshop FATES 25 August 2001

Proceedings

The proceedings will be published as a BRICS Technical Report and distributed at the workshop.

Local organization

Brian Nielsen and Arne Skou;  
Aalborg University, Denmark.
{
bnielsen,ask}@cs.auc.dk

Programme committee co-chairs

Ed Brinksma and Jan Tretmans;  
University of Twente, The Netherlands.
{
brinksma,tretmans}@cs.utwente.nl

Programme committee

Rocco De Nicola   (Università degli Studi di Firenze, Italy)
Marie-Claude Gaudel   (Université de Paris-Sud, France)
Jens Grabowski   (Universität Lübeck, Germany)
Robert Hierons   (Brunel University, UK)
Thierry Jéron   (IRISA/INRIA, France)
Doron Peled   (Bell Laboratories, USA)
Alexandre Petrenko   (CRIM, Canada)
Antti Valmari   (Tampere University of Technology, Finland)
Carsten Weise   (Ericsson Eurolab Deutschland GmbH, Germany)

Registration

FATES is organized as an affiliated workshop of CONCUR'01, the 12th International Conference on Concurrency Theory, to be held in Aalborg, Denmark, from August 21 to 24, 2001. Registration and information about hotels, the venue and travelling to Aalborg can be found at the CONCUR'01 web site: http://concur01.cs.auc.dk.

Further information

For further information, see: http://fmt.cs.utwente.nl/fates, or email to fates@cs.utwente.nl.