Tools
To Comply, Test & Analyze Embedded Software
QA Systems’ certified software testing tools accelerate the development of embedded software while ensuring quality and compliance with safety standards. Our comprehensive capabilities support most testing requirements, enabling early identification, prevention, and resolution of defects, as well as continuous quality assurance, speedy delivery, and adherence to industry standards.
Software Verification Tools Trial
Take our tools for a test drive with your own code and development environment.
Coding standards for functional safety (MISRA, AUTOSAR etc) and security (CERT and CWE etc). It also provides insights through metrics and visualisations into source code quality.
Verify standard compliant or business critical C/C++ code coverage on embedded target and host native platforms. Integrated with an extensive set of embedded development toolchains, from cross-compilers to requirements management and continuous integration tools.
Cantata Hybrid is a specialized subset of Cantata that allows the generation of test results evidence and code coverage metrics from existing GoogleTest suites
Proving absence of runtime errors and data races. It reports program defects caused by unspecified and undefined behaviours according to the C/C++ language standards, program defects caused by invalid concurrent behaviour, and computes program properties relevant for functional safety.
How Our Verification Tools Fit In Your Process
QA Systems enables organizations to accelerate safety standards compliance with automated static & dynamic software testing tools. Driving embedded software quality with automation of unit testing, code coverage tools for embedded, integration testing and static analysis to optimise safety and business critical embedded software.
QA-MISRA and Cantata are independently certified by SGS TÜV for use at the highest integrity level of safety related software development for all major safety standards (ISO 26262, IEC 61508, IEC 62304, EN 50716, and IEC 60880), and qualifiable for standards such as DO-178C & DO-330.
For Astrée we provide a Qualification Support Kit (QSK) which automatically executes a full tool qualification verification test suite on the installed tool configuration and generates the necessary reports for tool qualification.
QA Systems static analysis and software testing tools support verification in the linear flow of software development below. We recommend applying sequential approach to these verification stages with tools that are designed and targeted for each purpose.
Comply
Use QA-MISRA for fast coding standard compliance at the developer’s desktop first.
Test
Use Cantata for automated dynamic execution of the standard compliant software.
Analyse
Use Astrée for proving absence of run-time errors on whole application.
NB: Astrée uses the same configuration as QA-MISRA, so the effort to apply it later to a QA-MISRA project later is low.
QA Systems Tools
Static Analysis
QA Misra
Automated coding standards compliance for C/C++ code
Astree
Sound analysis proving absence of runtime errors and data races for C/C++
Need Help?
Whether you’re evaluating tools or have technical questions, please contact us.
Software Testing
Cantana
Automated unit and integration testing for C/C++ code
Cantana Hybrid
Safety standards compliance for GoogleTest suites
Cantana Team Reporting
Test status management dashboard add-on
AdaTest 95
Automated unit and integration testing for Ada code
Whether you’re evaluating tools or have technical questions, please contact us.