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, 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 50128/EN50657, 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 verification tools support verification in the linear flow of software development below. We recommend applying a 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.
- ANALYZE > 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.
