Ausgelegt für eingebettete C/C++-Software
Die Verifikationswerkzeuge von QA Systems, die das Unternehmen auf seinem Messestand vorstellt, unterstützen die statische Analyse zur Einhaltung von Codierungsstandards mit QA-MISRA und automatisierte Unit- und Integrationstests mit Cantata. Die neue Version »QA-MISRA 22.10« enthält neue Regelsätze und Checker gemäß den Autosar- und CERT-Standards für C/C++. Die Prüfungen wurden verbessert, um Doppelmeldungen zu vermeiden und die Zahl der »false-positive« und »false-negative« Meldungen zu verringern. Andere Prüfungen verbessern die Qualität der Regelimplementierungen. Die Benutzerfreundlichkeit der grafischen Code-Einblicke wurde in dieser Version ebenfalls verbessert.
Die neue Version Cantata 22.10 enthält neue Funktionen und Verbesserungen der Funktionalität. Sie bietet volle Unterstützung für C++-17 und das Testen von lokalen Typen. Die Erfassung der Codeabdeckung und die Erstellung von Berichten erfolgt nun anhand eines generischen C++-Templates und nicht mehr anhand der generierten Spezialisierungen. Diese Änderung bedeutet, dass 22.10 schneller sowie besser in der Lage ist, Abdeckungsziele zu erreichen. Und sie ist nun gut für moderne C++-Sprachversionen positioniert.