LDRA Tool Suite vs Ultimate Automizer
LDRA Tool Suite
ldra.comUltimate Automizer
ultimate-pa.orgSide by side
| Figure | LDRA Tool Suite | Ultimate Automizer |
|---|---|---|
| Price from | — | — |
| Free plan | — | — |
| Free trial | Yes | — |
| Open source | — | — |
| Web | — | Yes |
| Windows | Yes | Yes |
| macOS | Yes | — |
| Linux | Yes | Yes |
| Self-hosted | Yes | — |
| Plans published | 1 | 0 |
| Spec score · C and C++ Static Analysis Tools | 7.7 (#12) | 6.7 (#20) |
| Purpose | An integrated suite for verification, testing, and requirements traceability in safety-, security-, and mission-critical software development. | Ultimate Automizer is a software model checker that implements an approach based on automata. |
| Support | LDRA lists support contact channels by email and phone for EMEA, the USA, and India. | The Automizer page invites University of Freiburg students interested in contributing to contact Matthias Heizmann or another Ultimate developer. |
Plans
In their own words
LDRA Tool Suite
LDRA Tool Suite combines verification, testing, and requirements traceability for safety-, security-, and mission-critical software development. Its core capabilities include static and dynamic analysis, coding standards checks, unit, integration, and system testing, plus compliance reporting. The main components are TBvision, TBrun, TBmanager, and LDRA Testbed. TBmanager links requirements and design artifacts with source code, test cases, and verification results to maintain audit trails. Structural coverage analysis includes statement, branch, and MC/DC metrics at unit, integration, and system levels. LDRA lists support for standards including DO-178C, ISO 26262, IEC 61508, IEC 62304, and EN 50716, as well as integrations with Atlassian Jira, IBM Engineering Requirements Management DOORS, Jenkins, Bamboo, and GitLab. Listed languages include C, C++, Java, Ada95, and Assemblers. The suite is self-hosted on listed Windows, Linux, and Mac hosts. Pricing is on request. LDRA offers a 30-day free trial through a registration page that requests company and contact information.
Ultimate Automizer
Ultimate Automizer has no write-up on Specifiction yet; its figures are above.