TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 08351

Evolutionary Test Generation

( 24. Aug – 29. Aug, 2008 )

(zum Vergrößern in der Bildmitte klicken)

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/08351

Organisatoren

Kontakt


Summary

The ``Evolutionary Test Generation'' Dagstuhl seminar that was held from September 24th to September 29th 2008. The organisation of the seminar was initiated by the EvoTest project, a project funded by the European Commission under the contract number IST-33472. The goal of our seminar was to bring together researchers from the software testing and evolutionary algorithms communities for the discussion of problems and challenges in evolutionary test generation. This goal has been satisfactorily met and has led to a comprehensive list of open problems and challenges identified and discussed during the seminar. The seminar has been attended by 33 people: 30 were researchers from all over the world working on evolutionary testing, test generation and/or evolutionary computing; 3 were industrial participants with experience and feedback from real-life challenges were present: Microsoft, IBM and Berner & Mattner. The abstract collection indicates the talks that were given by the participants.

Systematic testing is the most widely used method to ensure that a program meets its specification. The effectiveness of testing for quality assurance largely depends on the chosen test suite. Currently, test suites are constructed either manually or semi-automatically from the program code or program specification. For large systems, however, manual test case construction is tedious and error-prone, whereas semi-automatic procedures often achieve only insufficient coverage. Therefore, new methods for the automated generation of "good" test suites are necessary.

Evolutionary adaptive search techniques offer a promising perspective for this problem. Genetic algorithms have been investigated for complex search problems in various fields. Their basic principles are selection, mutation, and recombination. These principles can be beneficially applied to the automated generation and optimisation of test suites, both from code (white-box testing) and specification (black-box testing). However, to make this approach successful in practice, a lot of problems remain to be solved: the question of adequate testing objectives, coverage and reliability measures, representation issues for test cases and test suites, seeding, recombination and mutation strategies, and others.

Results of the discussions: Open problems and future challenges

The future challenges identified at the Dagstuhl seminar have been categorized as follows:

  • Theoretical foundations
  • Search Technique improvements
  • New testing objectives
  • Tool environment/testing infrastructure
  • New application areas

Teilnehmer
  • Arthur Baars (Univ. Politèc. de Valencia, ES)
  • Jürgen Branke (University of Warwick, GB) [dblp]
  • John Clark (University of York, GB) [dblp]
  • Myra B. Cohen (University of Nebraska, US) [dblp]
  • Luis Da Costa (University of Paris South XI, FR)
  • Rolf Drechsler (Universität Bremen, DE) [dblp]
  • Joachim Hänsel (Fraunhofer Institut - Berlin, DE)
  • Mark Harman (King's College London, GB) [dblp]
  • Youssef Hassoun (King's College London, GB)
  • Robert M. Hierons (Brunel University, GB) [dblp]
  • Yue Jia (King's College London, GB)
  • Kiran Lakhotia (King's College London, GB)
  • Per Kristian Lehre (University of Birmingham, GB) [dblp]
  • Martin Leucker (TU München, DE) [dblp]
  • Felix Lindlar (TU Berlin, DE)
  • Philip McMinn (Sheffield University, GB)
  • Peter Merz (FH Hannover, DE)
  • Ignacio Romeu (Univ. Politèc. de Valencia, ES)
  • Franz Rothlauf (Universität Mainz, DE) [dblp]
  • Ramon Sagarna (University of Birmingham, GB)
  • Ina Schieferdecker (Fraunhofer FOKUS - Berlin, DE) [dblp]
  • Holger Schlingloff (HU Berlin, DE) [dblp]
  • Marc Schoenauer (University of Paris South XI, FR) [dblp]
  • Michele Sebag (LRI CNRS, FR) [dblp]
  • Andrea Tettamanzi (University of Milan, IT) [dblp]
  • Dirk Thierens (Utrecht University, NL) [dblp]
  • Nikolai Tillmann (Microsoft Corporation - Redmond, US) [dblp]
  • Shmuel Ur (IBM - Haifa, IL)
  • Tanja Vos (Univ. Politèc. de Valencia, ES) [dblp]
  • Joachim Wegener (Berner & Mattner Systemtechnik - Berlin, DE)
  • Andreas Windisch (TU Berlin, DE)
  • Xin Yao (University of Birmingham, GB) [dblp]
  • Qingfu Zhang (University of Essex, GB) [dblp]

Klassifikation
  • modelling / simulation
  • sw-engineering
  • semantics / specification / formal methods
  • verification / logic
  • soft computing / evol. algorithms

Schlagworte
  • Test generation
  • Evolutionary algorithms
  • Model Based Development
  • Genetic algorithms