Home > Products

Products Overview

When you need to detect the broadest range of bugs in C, C++ or Java code, you need a set of tools that take no shortcuts in understanding your code, ignore no language facet where your developers might create bugs, and leave no stones unturned in examining your code for correct behaviour.

Turn to the industry-leading products, QA·C and QA·C++, for the closest possible examination of your code. These tools provide an in-depth examination of C and C++ code. Both contain powerful, proprietary parsing engines which deliver high fidelity language analysis and comprehension. They identify problems caused by language usage that is dangerous, overly complex, non-portable, or difficult to maintain. Plus, they include the basic building blocks for coding standard enforcement.

Built around our core language analysis are a range of companion products to cover design, coding, test, and quality assurance steps in the software process. With best-in-class products across the development spectrum, and operating in a fully coupled environment, we enable developers to work in their own preferred environment, and managers and other stakeholders to view progress and quality objectives within development.

QA·C

For C language analysis - bug detection and compliance to coding standards, including MISRA-C and numerous in-house C standards.

QA·C++

For C++ language analysis - bug detection and compliance to coding standards including MISRA-C++, JSF AV C++, and High Integrity C++.

QA·J

For Java code analysis - bug detection and compliance to coding standards and containing an in-built management presentation layer.

Management Information System

For comprehensive quality management, centralized quality summaries, trend analysis, and key metric comparisons across projects.

Structure101

For detailed visualisation of large C/C++ project complexity, structural graphs, architectural diagrams, complexity trends, and architectural compliance rules.

VectorCAST

For advanced automated unit and system testing on host and target systems; statement, branch and MC/DC coverage levels.