Equipe VASCO | LIG | Grenoble University

TOBIAS : a tool for combinatorial testing

    Saturday June 15, 2024

Welcome to the Tobias On-Line page

Tobias is a combinatorial testing tool which generates a large number of tests by combinatorial unfolding of a test pattern.

Combinatorial testing allows to express a large set of test cases in a few lines. It allows to exhaustively test all combinations of selected parameter values.

This brings several benefits to the test engineer:

  • It frees the test engineer from clerical copy/paste activities while preparing a large repetitive test suite. It allows him/her to concentrate on insightful activities in the design of the test suite. This increases the productivity in the test production phase.

  • Large repetitive test suites increase the confidence of the test engineer in the tested software. They allow to test all possible combinations of selected inputs, providing a systematic character to the tests.

  • It eases the maintenance of a test suite. Test patterns are more compact and corrections must only be done once, in most cases.

A short presentation of Tobias par yledru

Try Tobias !

The following form allows you to upload a file and get it processed by Tobias.

  • Your file must conform to one of the Tobias input formats dtd (stored here).
  • It must be less than 150K bytes.
  • It will be kept on our server for research purposes.

Upload your file


Select the input file on your computer :
Input Format Output Format Captcha
JUnit 3 JUnit 4
Open JML
JML 5.6

I have read and I accept the Conditions of Use

For instruction on how to use this service please refer to the documentation available at http://tobias.liglab.fr/doc/UsingTobiasOnLine.pdf

Conditions of Use of the service

  • The service is provided for non-commercial research, evaluation, and teaching purposes only.
  • Tobias remains the property of Université Joseph Fourier.
  • The service is provided without any guarantee.
  • The service gives a restricted access to the Tobias functionalities (including a limitation in the size of the input and output files).
  • All uploaded files and associated information are logged for research purposes. By using the site, you allow us to keep your input files and use them in our research.