Two complementary tools for safety-critical software. TiCS measures and manages the quality of your code; Testwell CTC++ proves your test coverage, all the way to MC/DC. Both can be tried for free, on your own code.
Not one more analyzer: the layer that makes them all speak with one voice. TiCS orchestrates the analyzers you already use — Coverity, Clang-Tidy, Cppcheck, BlackDuck… — maps their results to a single quality model (ISO/IEC 25010) and condenses them into a score comparable across more than 8,000 industrial projects. Quality gates stop in CI what needs stopping. And everything stays with you: analysis is on-premise, your code never leaves.
Coverage where others don't go. Up to MC/DC and multicondition — the level required by DO-178C Level A and ISO 26262 ASIL D — on host as well as on embedded target, even highly constrained ones. All compilers and cross-compilers are supported; if yours is missing, Verifysoft adapts it, at no charge. Certified by TÜV SÜD, with qualification kits that make the evidence stand up to your auditor.
ISO 26262, DO-178C, IEC 62304, EN 50716, IEC 61508… A clear matrix of what each standard requires on the code side, and how TiCS and Testwell CTC++ address it — structural coverage on one side, coding rules on the other.
| Your need | The tool |
|---|---|
| Prove the structural coverage your standard requires, up to MC/DC | Testwell CTC++ · qualification kit, TÜV SÜD certified |
| Measure coverage on a constrained embedded target (limited memory, cross-compiler) | Testwell CTC++ · lightweight, compiler-independent instrumentation |
| Enforce MISRA or AUTOSAR and stop regressions in CI | TiCS · coding rules and quality gates |
| Bring the results of several static analyzers into a single dashboard | TiCS · orchestrates Coverity, Clang-Tidy, Cppcheck… |
| Benchmark a project portfolio's quality against an external reference | TiCS · score compared with more than 8,000 industrial projects |
| Keep your code in-house (defense, nuclear, sensitive embedded) | TiCS on-premise · Testwell CTC++ runs locally |
| Track coverage over time, alongside other metrics | Both · TiCS continuously collects the coverage measured by Testwell CTC++ |
A project of your choice analyzed with TiCS, fully on-premise: not a single line of code to upload. You come away with a complete dashboard and a debrief from our Quality Engineers, so you can decide based on facts.
The full tool, on your workstation as well as on your target, with full support throughout the evaluation: installation, configuration, integration into your build chain and reading the reports.
In 30 minutes, free of charge, the Flash Diagnostic maps your software's quality risks and priority levers. Then you choose, with the facts in hand.
