CertSAFE AToM
Alpha
  • Changelog
  • Quick start
  • Configuration file format
  • String interpolation
  • Coverage criteria
  • Unsupported CertSAFE features
  • FAQ
CertSAFE AToM
  • Docs »
  • Table of Contents

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.
Next

© Copyright 2020 Cyient.