Table of Contents

• Changelog
  • Release 2019b
  • Release 2019a
  • Release 2018b
  • Release Candidate 12
  • Release Candidate 11
• Quick start
  • Introduction
  • Prerequisites
  • Creating a configuration file
  • Generating a test
• Configuration file format
• String interpolation
• Coverage criteria
  • Rules for networks
  • Rules for primitives
  • Rules for case tables
  • Observable effect
• Unsupported CertSAFE features
  • Constant root inputs
• FAQ
  • My model contains One Frame Delays or other stateful components. Does that mean I can’t use AToM at all?
  • Why does AToM take so long to generate tests for my model? Is there anything I can do to speed it up?
  • Can AToM generate test case descriptions so that I know why each test case was selected?
  • AToM is supposed to generate MC/DC coverage for Boolean logic, but the test cases it selects seem wrong.