Dies ist ein Archiv des alten Softwaretechnik Lehrstuhls der Universität des Saarlandes. Es ist nicht länger aktuell.


Test Generation
Test applications systematically and automatically

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en franšais English home page

Test Generation

We have built a number of tools to automatically generate tests for various architectures:
  • CUT transparently moves the execution of unit tests to the cloud.
  • Webmate automatically generates tests for Web applications. This is now a commercial service, run by our startup Testfabrik AG.
  • XMLMate realizes search-based test generation for structured inputs, optimizing for code and input coverage in Java programs.
  • Exsyst systematically tests Java GUI applications, optimizing for both GUI and code coverage.
  • Droidmate implements search-based GUI testing for Android.
  • EvoSuite is an automatic unit test suite generator for Java.
We are using these test generators for testing purposes, but also for specification mining.

Mutation Testing

We also have built a number of tools for mutation testing — that is, seeding bugs into a program to assess or optimize a test suite:
  • Javalanche is a mutation tester for Java programs, optimizing for high-impact mutations.
  • MuTest uses mutation analysis to drive automated test case generation.

Impressum Datenschutzerklärung

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/testing/ · Stand: 2018-04-05 13:41