Table of ContentsΒΆ
- Changelog
- Quick start
- Configuration file format
- String interpolation
- Coverage criteria
- Unsupported CertSAFE features
- 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.