QA Systems is one of the leading international solution providers for embedded software development. Our certified tools for static analysis and unit & integration testing, help developers, software testers and quality managers to develop high-quality and standards-compliant software. With the combination of leading technologies, integrable tools and professional services, QA Systems helps companies to accelerate and improve the quality of their development processes and thus to get their embedded systems to market faster. All the tools 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/50657, and IEC 60880), and qualifiable for standards such as DO-178B/C.
QA Systems offers a static code analysis tool 'QA-MISRA' & Automated Unit and Integration Testing Tool for C/C++ is 'CANTATA'.
QA-MISRA is a static analysis tool, enabling developers to comply with C/C++ coding standards for functional safety (MISRA, AUTOSAR etc) and security (CERT and CWE etc). It also provides insights through metrics and visualizations into source code quality.
Fast Analysis of C/C++ Code:
QA-MISRA analyses software packages very quickly, regardless of the size of the codebase. QA-MISRA also focuses on coding standards compliance and code quality insights. This makes the analyzer very quick to run.
Accurate standards compliance:
QA-MISRA checks code for compliance with zero false negatives and zero false positives on syntactic coding rules.
Improve source code quality:
QA-MISRA checks code for compliance with zero false negatives and zero false positives on syntactic coding rules.
MISRA C 2012
C coding guidelines, including Amendments 1 & 2
MISRA C++ 2008
C++ Coding Guidelines
AUTOSAR C++14
C++ for Adaptive Autosar
HIS Metrics
Hersteller Initiative Software
JSF AV C++
C++ coding standard for JSF (F-35 aircraft program)
CERT C/C++ 2016
C/C++ Coding Guidelines
CWE 4.7
Common Weakness Enumeration
ISO TS 17961:2013
C Secure Coding Rules
Cantata is an automated unit and integration software testing tool, enabling developers to verify standard compliant or business critical C/C++ code on embedded targets and host native platforms.
Cantata helps accelerate compliance with the standard’s dynamic testing requirements by automating:
Cantata is integrated with an extensive set of embedded development toolchains, from compilers and static analysis tools to build and requirements management tools. The ECLIPSE® GUI, tight tool integrations and tests written in the source C/C++ code, all make Cantata easy to use.
QA Systems static analysis and software testing 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.
