software testing tool

ECLAIR Software Verification Platform Verified

No shortcuts, no compromises, no excuses: software verification done right

0 / 5
Compare Add to favorites Print

Implementing state of the art technology, BUGSENG designed ECLAIR Software Verification Platform®, for the automatic verification of C and C++ programs.

Applications range from coding rule validation, to automatic generation of testcases, to the proof of absence of run-time errors or generation of counterexamples, and to the specification of code matchers and rewriters based both syntactic and semantic conditions.

ECLAIR Highlights

  • The hardest part of the configuration, namely the adaptation to the compiler toolchain and the particular language dialect(s) used in the project, is fully automatic.
  • Uniform user experience whether ECLAIR is used from its GUI, from the command line, within IDEs and in CI/CD systems such as Jenkins, GitLab and GitHub.
  • Automatic checking of the system architecture, independence and freedom from interference of software components.
  • ECLAIR comes with an integrated Requirements Management Tool.
  • ECLAIR is certified for use in safety-critical developments, according to the main functional safety standards, up to the highest SILs and ASILs.

Post New Review

Choose Page Layout
Header Position
Submenu Style