Welcome to Autotester’s documentation!

Autotester is a tool for automated black-box testing developed at the Institute for Applied Materials (IAM-CMS) of the Karlsruhe Institute of Technology (KIT).

The Source Code can be found on the OpenCarp Gitlab Instance.

Copyright (C) 2019 IAM-CMS, licensed under the GPLv3.

About Autotester

• Goals and Motivation
• License
• Authors
• Funding

Setup

• Dependencies
• Build from Source

Autotester Documentation

• Creating test cases
  • Example ATC file
  • Caveats
• Running Autotester
• Running Autotester using docker
• Obtaining test results
• Generating result summaries
  • Generating an HTML result page
  • Generating a text summary
• How tests will be processed by Autotester
  • Autotesters return code