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.

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/testing/ · Stand: 2017-01-03 21:10