Slide 1

RESOURCES

Our extensive library contains resources to help you to find out everything that you need to know about our software testing tools.

Please explore our range of videos and documents for information about selecting a tool as well how to get the most from them. We frequently add new resources to keep our library fresh and up to date.

The majority of our resources are unlocked however to access premium content please login or register .

Our curated content packs provide all information to address some of the most common problems when developing software

15 Ways to Maximize the Value of Unit Tests in Safety Critical Projects

In safety critical software development, unit testing is mandated by standards. However not all tests are built equal. This paper discusses approaches you can take with your unit testing to maximize their contribution to the development process. SEE MORE

Automated Requirements Based Testing

A video demonstrating automated requirements testing traceability within Cantata. (6:51 Min) SEE MORE

Cantata 22.10 Technical Changes

This document describes the differences in C++ instrumentation between earlier versions and Cantata 22.10, how users will see them, and how existing tests projects may need to be updated when upgrading to Cantata 22.10 SEE MORE

Cantata 22.10 Release Notes

This document gives details of all the changes in Cantata 22.10 and also provides a history of tracked changes since version 4.0. SEE MORE

QA-MISRA 22.10 Release Notes

This document identifies the changes in QA-MISRA 22.10 from version 22.04 onwards. This release includes new Rule Sets and Checkers against the AUTOSAR and CERT standards for C/C++. SEE MORE

Cantata 9.5 Release Notes

This document gives details of all the changes in Cantata 9.5 and also provides a history of tracked changes since version 4.0. SEE MORE

WEBINAR: Requirements-Based Testing Automation and ISO 26262 Compliance in Automotive Development

Requirements-based testing is a key QA method and ensures compliance with automotive regulations such as ISO 26262. This webinar was hosted by QA Systems and Intland Software. SEE MORE

WEBINAR: Test Automation Utilizing Legacy Test Data and Maintaining Safety-Critical Compliance

Integrating existing test data in a new system doesn't have to be a disruptive process. This webinar was hosted by QA Systems and Intland Software. SEE MORE

Webinar: Accelerated Unit Testing with IAR Embedded Workbench & Cantata for Safety Critical Systems

Discover how IAR Embedded Workbench and Cantata enhance your embedded application development process while ensuring quality, reliability, and efficiency in this online presentation. Adam and Rafael introduce the key features of both tools to help developers and testers of safety-critical systems optimize their workflow. (57:33 Min) SEE MORE

Aviation Software Testing Best Practices

Vance Hilderman, CEO of AFuzion Incorporated, and Matt Davis, Managing Director of QA Systems, share the best software testing practices for DO-178C. These practices are also applicable to DO-278A software testing and even DO-200B testing of aeronautical data processing systems. SEE MORE

Impact Analysis and Regression Testing for robust C/C++ applications

In this webinar, you will learn about how you can manage software projects that ultimately benefit from a lower maintenance cost, accelerated release schedules, and a reduced opportunity for a flaw to go unnoticed. SEE MORE

Webinar: Automated verification of safety-critical code

Discover our advanced automated software verification tools, designed to optimize your workflow and maximize efficiency. With a strong focus on compliance with coding standards such as MISRA, AUTOSAR, CERT, CWE, and safety regulations like ISO 26262, IEC 61508, and more, these tools are your key to success. SEE MORE

Webinar: Automate your code compliance by using a static source code analysis tool

Learn how QA-MISRA automated static source code analysis tool can accelerate your compliance to all these standards in a single qualified tool. SEE MORE

Seminar: Maximizing FuSa Standards Compliant Software Test Automation

NOHAU and QA Systems delved into the realm of optimizing software test automation to meet the highest safety standards for Functional Safety (FuSa) and how Cantata can assist. (49:14 Min) SEE MORE

Webinar: Accelerate Unit Testing Safety Critical Software with Cantata

In this webinar QA Systems will discuss and demonstrate how the automated unit and integration testing tool Cantata can accelerate your safety standards compliance. We will see how embedded industry leaders employ the latest easy to use techniques. Learn safety critical best practices and methods for C/C++ unit and integration testing and how Cantata can accelerate the testing activities mandated by safety critical standards (57:14) SEE MORE

Webinar: Best Practices for Software Verification under ISO 26262

Learn how our industry experts employ best practices for software verification techniques under ISO 26262 to shorten time-to-market and increase the ROI of your software verification activities. SEE MORE

Deploy Cantata for Testing on Target

Learn how to deploy Cantata to effectively test C and C++ code on your target system. Watch this informative video for step-by-step instructions. (5:25 Min) SEE MORE

Cantata How to achieve 100% coverage with macros

Code coverage and test reporting over projects add major benefits to the Cantata desktop product, enabling teams to work more effectively SEE MORE

Cantata Testing and Code Coverage for a State Machine

Testing and code coverage for a state machine using automatic static local data access SEE MORE

Cantata Integration with PTC® Windchill™ (Requirements Tracing)

Watch as we trace requirements in PTC® Windchill™ (formerly PTC Integrity) using Cantata tests. Revolutionize your testing practices today! (5:05 Min) SEE MORE

Cantata RTRT Converter

How to convert RTRT Tests to Cantata. (6:27 Min) SEE MORE

AdaTEST Dinamic Unit Testing for ADA

In this video we see AdaTEST 95 unit testing a stack class. (2:29 Min) SEE MORE

AdaTEST Code Coverage

AdaTEST Code Coverage In this video we see AdaTEST 95 Code Coverage integrated in a unit test of a stack class and used standalone on a keylook application. SEE MORE

Cantata Plugin and Jenkins Freestyle Projects

Learn how to use the Cantata plugin for Jenkins and configure an existing Cantata test case as a freestyle project, we will go over the configuration options in the test case and build history trendlines for further analysis. (8:41) SEE MORE

Cantata Unique Wrapping Capability

Automatic Wrapping to intercept (not just simulate) calls is unique to Cantata, providing unparalleled call control for both unit isolation and integration testing. (5:14 Min) SEE MORE

Cantata AutoTest

A demonstration of Cantata's AutoTest Feature (5:05 Min) SEE MORE

AdaTEST Static Analysis

In this video we see AdaTEST 95 static analysis integrated into dynamic tests and produced for external analysis. (1:17 Min) SEE MORE

Cantata Integration with CodeBeamer (Requirements Tracing)

Witness seamless bi-directional traceability with Cantata Trace & Intland codeBeamer®! Discover ReqIF integration and the roundtrip process, connecting user requirements, test plans, and scripts effortlessly. Ensure compliance with software safety standards. (3:00 Min) SEE MORE

Cantata Integration with Lauterbach Trace32

This video demonstrates Cantata working with Lauterbach's Trace32. (4:13 Min) SEE MORE

Cantata Integration with IBM® Rational® DOORS® (Requirements Tracing)

This video demonstrates the tracing of requirements in IBM® Rational® DOORS® with Cantata tests. These tools seamlessly trace requirements, streamline testing, and improve software development efficiency. (5:13 Min) SEE MORE

Cantata Integration with Jenkins Pipeline Projects

In this video, we will be looking at a completely automated testing pipeline using a Jenkins pipeline project, taking full advantage of the multiple stages in a Groovy-based pipeline script to go from repository checkout of the SUT to pushing those results to Cantata Team Reporting. (11:08) SEE MORE

Cantata Integration with Keil uVision (IDE)

Witness the seamless synergy of Cantata and Keil uVision IDE in this video! Discover intelligent testing capabilities for C and C++ unit and integration testing. (3:20 Min) SEE MORE

Cantata Integration with Microsoft® Excel® (Requirements Tracing)

Watch as requirements in Microsoft Excel are seamlessly traced using Cantata tests. Elevate your software development process with Cantata's precision and efficiency, ensuring top-notch code quality and reliability. (4:17 Min) SEE MORE

Cantata Integration with Polarion® ALM™(Requirements Tracing)

Witness seamless tracing of requirements in Polarion® ALM™ using Cantata tests. Precision and efficiency in your testing, ensuring robustness and reliability for your software projects. (5:37 Min) SEE MORE

Cantata Integration with VxWorks 7 (IDE)

A demonstration of Cantata for VxWorks 7 (2:22 Min) SEE MORE

Cantata Integration with TI Code Composer (IDE)

Discover Seamless Integration of Cantata with Texas Instruments Code Composer. Empowering Your C/C++ Testing Workflow! (3:03 Min) SEE MORE

QA-MISRA in 90 Seconds

Learn in 90 seconds how fast QA-MISRA analyses your C/C++ code for ensuring compliance to coding standards such as MISRA, AUTOSAR C++14, CERT, CWE and others. SEE MORE

Cantata Quick Tour

Take a brief look at Cantata, a unit and integration testing tool for C and C++, as it demonstrates its capabilities. (5:59 Min) SEE MORE

Cantata in 90 Seconds

Are you looking for a unit and integration testing tool for C and C++? Watch the video for an overview of Cantata in 90 seconds. SEE MORE

Cantata Team Reporting Quick Tour

Cantata Team Reporting is an add-on that adds major benefits to the Cantata desktop product, enabling teams to work more effectively. (3:52 Min) SEE MORE

Cantata: Easy Testing for Embedded Target Environments

Discover QA Systems testing tools and take a closer look at the newly announced version of Cantata, unit and integration test tool, at Embedded World 2017. (2:08 Min) SEE MORE

Cantata & QA-MISRA Licensing Guide

This document provides comprehensive documentation on utilizing Sentinel RMS licensing for QA Systems tools, covering license installation, configuration, administration, and usage. SEE MORE

Cantata Use with Windows Subsystem for Linux (WSL)

This Technical note provides an overview of using Cantata, including GUI functionality, with the Windows Subsystem for Linux (WSL) to provide a Linux developer environment on Windows PCs. SEE MORE

Cantata Adding Extra Information to Reports

This Technical Note provides step by step instructions for users to add extra information in Cantata Test Scripts and to format this for inclusion in Cantata Test Reports. SEE MORE

AdaTEST Licence Usage

This Technical Note provides information on what types of user licensing are available for AdaTEST 95, what the license controls, and how to plan for your licensing requirements. SEE MORE

Cantata Combining Code Coverage

This Technical Note provides information on how to combine code coverage obtained from more than one Cantata coverage .COV file and to create a combined coverage .CTR file for certification evidence. SEE MORE

Cantata Pointers

This document shows how Pointers can be used within Cantata. Pre 7.2 document. SEE MORE

Cantata Generating and Using External Wrappers

By generating wrappers in a separate file, those wrappers can then be reused in as many Test Scripts as you require, without duplication of effort. In the long term, this can save a significant amount of time. SEE MORE

Cantata Low Memory Targets

This Technical Note provides information about how Cantata can be used. SEE MORE

Cantata Access and Check Static Structures

This Technical Note provides information on accessing local variables contained inside a structure in C. Pre 7.2 document. SEE MORE

Cantata Global Data in Table Driven Tests

This document explains how to change and check the values of global data variables when using Table Driven Testing. SEE MORE

Cantata Licence Usage

This Technical Note provides information on what types of user licensing are available for Cantata. SEE MORE

Cantata Test Driven Development

This Technical Note provides information on using Cantata in Test Driven Development (TDD). SEE MORE

Cantata Command Line Use

This Technical Note explains the use of Cantata from the command line and it's available functionality. SEE MORE

QA-MISRA Pre-processor Configuration

This document gives an example of how compiler-specific information can be determined for the QA-MISRA Pre-processor Configuration. SEE MORE

Cantata Command Line Installation

The Cantata Installation Guide provides instructions on installing Cantata C/C++ libraries, deployments, and licenses. It includes a short trouble shooting guide, and pointers for where to start using Cantata. SEE MORE

QA-MISRA Installation Guide

A detailed installation and configuration guide for QA-MISRA, covering system requirements, installation, licensing setup, launching the client and server, and troubleshooting advice. SEE MORE

Cantata Deployment Preparation

This Technical Note provides guidance on what is required before starting a Cantata Deployment. This document does not discuss how to do the deployment but how to approach a deployment before starting the Cantata Deployment Editor. SEE MORE

Cantata Installation Guide

This document provides instructions on installing Cantata C/C++ libraries, deployments, and licenses. It includes a short trouble shooting guide, and pointers for where to start using Cantata. SEE MORE

Cantata Standard and Full Target Deployments

This Technical Note sets out the technical and commercial differences between Standard and Full Cantata target deployments. SEE MORE

Cantata Updating a Deployment

This Technical Note provides information on the process of updating an existing target deployment for use with Cantata 9.5 or later. SEE MORE

Cantata Use with VSCode

This Technical Note provides information about using Cantata from within the VSCode editor. SEE MORE

Cantata Use with IAR Renesas RL78 Simulator

This Technical Note provides the information required to install and use Cantata with the IAR RL78 toolchain and the target simulator. SEE MORE

Cantata Use with Code Composer Studio 5

This document gives instructions on how to install Cantata into Code Composer Studio version 5 and above. SEE MORE

Cantata Use with Green Hills Multi

This Technical Note provides the information required to successfully install and set up Cantata for use with the Green Hills MULTI v4.2.x development environment. SEE MORE

Cantata Use with Keil yVision5

The details in this Technical Note give the required steps to set up Keil yVision 5, with the ARMCC compiler tool chain. SEE MORE

Cantata Use with VxWorks 7.0

This Technical Note provides information to help setup and install Cantata into an existing Wind River Workbench/VxWorks installation. SEE MORE

Cantata Use with IAR Embedded Workbench for ARM

This Technical Note provides information useful for installing and using Cantata alongside IAR Embedded Workbench for ARM. SEE MORE

Cantata Use with Tasking VX

This Technical Note provides the information required to install and set up Cantata for use with the Tasking VX development environment. SEE MORE

Cantata Use with Wind River Workbench 3.3

This Technical Note provides the information to help set up and install Cantata into an existing Wind River Workbench/VxWorks installation. SEE MORE

Cantata Use with Wind River Diab 5.9.3

This Technical Note provides information on how to successfully install and set up Cantata for use with the Wind River diab (v5.9.3) environment using the dcc compiler. This document also describes a workflow that outlines how Cantata can be used with this deployment SEE MORE

Cantata Use with Softune v60

This Technical Note provides the information required to successfully install and set up Cantata for use with the Fujitsu Softune v60 development environment SEE MORE

Cantata Use with Wind River Tornado

This Technical Note provides the information required to set up and use Cantata with the Tornado 2.x IDE from Wind River Systems. SEE MORE

Cantata Use with GDB Debugger

This document shows how the GDB debugger is setup and used within the Cantata Eclipse Environment. SEE MORE

Cantata Use with MSVC Debugger

The purpose of this Technical Note is to outline a method that can be used to help debugging a Cantata test script within MSVC, when Cantata makefiles are being used. This document will focus on using Microsoft Visual Studio 2010 however, the same principals can be used with any version of MSVC to debug a Cantata Test Script. SEE MORE

Cantata Use with Repository and Version Control

In this document, the structure of Cantata test artifacts are explored with the focus on their management within a repository and version control system. SEE MORE

Cantata RTRT Converter

This Feature Brief examines the challenges of migrating from legacy test tool IBM Rational® Test RealTime (RTRT) to Cantata, as well as the reasons for the RTRT converter to be used and the benefits that arise. SEE MORE

Cantata AutoTest

This Feature Brief highlights one of Cantata's full and unique suite of testing capabilities, its AutoTest capability. We will also examine the reasons why AutoTest may be used and the benefits that arise. SEE MORE

Cantata Testing C++

This Feature Brief highlights Cantata's capabilities specifically useful for testing C++ code. SEE MORE

Cantata Wrapping

This Feature Brief highlights one of Cantata's full and unique suite of intelligent testing capabilities, it's Wrapping capability for intercepting calls from and within the software under test. SEE MORE

Cantata Reusing xUnit Tests

This feature brief highlights the ways in which existing open source test scripts implemented in C/C++ (such as CppUnit and CxxTest), generically known as xUnit can be re-used and embedded inside Cantata. SEE MORE

Cantata Team Reporting

This Feature Brief highlights the optional Add-on for Cantata, Cantata Team Reporting. It enables teams to work more effectively together by providing a web interface for teams to share tests avoiding the need to replicate tests over multiple work spaces. SEE MORE

Cantata MakeFiles

This Feature Brief highlights one of Cantata's full and unique suite of testing capabilities, its MakeFiles capability for executing one or more tests and regression testing. SEE MORE

Cantata Static Metrics

Cantata provides a full and unique suite of intelligent testing capabilities for the efficient unit and integration testing of C and C++. This Feature Brief highlights the ways in which the Static Metrics features of the tool can be best used. SEE MORE

Cantata Use with QNX Momentics and Cantata Makefiles

This Technical Note provides information on how to successfully use Cantata Makefiles with the QNX Momentics IDE. SEE MORE

Cantata Use with QNX Momentics 4.7

This Technical Note provides the information required to successfully install and set up Cantata for use with QNX Momentics 4.7. SEE MORE

Cantata Use with Microsoft Azure DevOps

This document shows how the GDB debugger is setup and used within the Cantata Eclipse Environment. SEE MORE

Cantata Use with Keil uVision3

This Technical Note provides the information required to successfully install and set up Cantata for use with the Keil uVision 3 development environment SEE MORE

Cantata Integration with Intland codeBeamer

This technical note provides instructions for configuring the Cantata Trace & Intland codeBeamer® using ReqIF and details the roundtrip process. SEE MORE

Cantata Integration with PTC Integrity

This technical note describes the Cantata Trace ReqIF PTC Integrity configuration and roundtrip process. SEE MORE

Cantata Integration with Static Analysis Tools

This technical explores the Cantata Makefile system and discusses options for adding further calls to the default system. This type of integration is useful for calling code analysis tools such as QAC, Klocwork, Coverity and others. Supplemental uses are also discussed. SEE MORE

Cantata Integration with Polarion

This technical note describes the Cantata Trace ReqIF Polarion server configuration and roundtrip process. SEE MORE

Cantata Integration with Jenkins Using the Plugin

This Technical Note introduces both Jenkins and the basic usage of calling Cantata tests via the plugin. SEE MORE

Cantata Integration with Jenkins

This Technical Note will show you how you can setup your own integration example of Cantata with Jenkins. SEE MORE

Cantata Integration with IBM® DOORS®

This Technical Note describes how to set up round-trip importing and exporting of ReqIF files between Cantata Trace and IBM® DOORS®. SEE MORE

Cantata Integration with IBM® Doors® Next

This technical note describes how to set up importing and exporting of files between Cantata Trace and the requirements management system, IBM® DOORS® Next. SEE MORE

C and C++ Software Testing. Am I Covered?

This Whitepaper looks at the various applications of the term ‘coverage’ in the software development industry for software written in C and C++. SEE MORE

Automate Migration from Legacy Test Tools

This Paper addresses the challenges of migrating from legacy test tools to a replacement modern tool. It identifies some of the technical and financial problems with migrating tests from one tool to another and discusses how this can be made substantially easier and less risky with the use of Cantata. SEE MORE

A Strategy for Testing C++

This Paper attempts to outline a strategy for testing software written in C++. It deals with the processes before any code is written, with the practices once the code is written and how using Cantata can help in different situations. SEE MORE

Which Code Coverage Metrics to Use

This Paper describes and discusses a selection of structural coverage metrics which are based on control flow analysis, looking at the practicality of their use for real software developments SEE MORE

Testing Techniques for Ada 95

This Paper discusses the impact of the Ada standard upon testability if safety related systems, and describes techniques which can be utilised to improve the likelihood of achieving testing success. SEE MORE

Designing Testable ADA

This Paper provides guidelines for designing testable Ada software. With testability in mind, testing the designed software is much easier. SEE MORE

Designing Unit Test Cases

This paper provides a general process for developing unit test specifications and describes some specific design techniques for designing unit test cases. It serves as a tutorial for developers who are new to formal testing of software and as a reminder of some finer points for experienced software testers. SEE MORE

Organizational Approaches to Unit Testing

This Paper describes three organizational approaches for unit testing: top down, bottom up and isolation. These are key elements of unit test strategy and planning. SEE MORE

Why Bother to Unit Test?

This paper addresses a question often posed by developers who are new to the concept of thorough testing: Why bother to unit test? The question is answered by presenting and examining some of the common arguments made against unit testing. SEE MORE

Why Pay For a Unit Test Tool?

This paper addresses the question “Why pay for a unit test tool?” by considering the Quality / Resource / Time opportunity costs of choosing an open source tool, and sets out the compelling case for investing in commercial tools. SEE MORE

An Introduction to Safety Critical Systems

This paper is aimed to serve as a tutorial for developers who are new to the development of software for safety critical systems, discussing the issues involved, introducing some of the techniques available to developers, and providing an overview of how QA-MISRA, Cantata and Astrée can be used within the process. SEE MORE

Embedded Software Testing Survey Report

Conducted in 2018, the Embedded Software Testing Survey Report shows how a variety of testing techniques are being used by industry leading companies developing embedded systems. SEE MORE

QA-MISRA Safety Manual

This Safety Manual provides guidance for how to use the QA-MISRA tool in a safety related context, and to meet the requirements of the independent tool certification. SEE MORE

What’s New in QA-MISRA 22.10

QA-MISRA 22.10 is available from October 2022. This release includes new Rule Sets and Checkers against the AUTOSAR and CERT standards for C/C++ SEE MORE

Cantata Safety Manual

This Safety Manual provides guidance on using Cantata for software testing in safety-critical contexts. It covers Cantata tool certification, the safety workflow, test case creation, test execution, and results analysis when verifying safety-related code. SEE MORE

Automating Requirements-Based Testing for DO-178C

This paper examines how automatic test case generation can deliver significant cost savings, while satisfying the software verification objectives of DO-178C software levels C and above. SEE MORE

What’s New in Cantata 22.10

Cantata 22.10 is available from October 2022. This release adds full support for C++ 17 and testing of local types. 22.10 is faster, and more able to achieve coverage targets for modern C++ language versions. SEE MORE

Automating Requirements-Based Testing for ISO 26262

This paper examines how automatic test case generation can deliver significant cost savings, while satisfying the recommendations of ISO 26262 ASIL A to D. SEE MORE

Cosa c’è di nuovo in Cantata 9.5?

Questa versione estende ulteriormente le funzioni di test delle modifiche al codice con un’analisi d'impatto integrata molto più efficienti, aggiunge una nuova modalità di creazione di nuovi progetti per ambienti non Eclipse, fornisce l'installazione zip/tar e include vari altri miglioramenti della produttività e della flessibilità. SEE MORE

Tờ dữ liệu Cantata Team Reporting

Chức năng Team Reporting của Cantata lưu giữ thêm dữ liệu về code và kiểm thử chạy trên server của bạn. Sản phẩm bổ trợ này cung cấp tóm tắt và lọc nâng cao cho tất cả các kiểm thử của Cantata. SEE MORE

Fiche Technique de Cantata Team Reporting

Le module complémentaire Cantata Team Reporting, doté d'une architecture client-serveur, d'une interface web et d'une API REST, permet aux équipes d'améliorer leur efficacité et leur collaboration. SEE MORE

Hoja de Datos de Cantata Team Reporting

El complemento Cantata Team Reporting, que cuenta con una arquitectura cliente-servidor, una interfaz web y una API REST, permite a los equipos mejorar su eficacia y colaboración. SEE MORE

Cantata Team Reporting Datenblatt

Das Cantata Team Reporting Add-on mit einer Client-Server Architektur, Webschnittstelle und REST API, ermöglicht den Teams eine bessere und effektivere Zusammenarbeit. SEE MORE

Cantata Team Reporting Datasheet

The Cantata Team Reporting Add-on product, featuring a client-server architecture, web interface, and REST API, empowers teams to enhance their efficiency and collaboration. SEE MORE

Scheda Tecnica di Cantata Team Reporting

Il componente aggiuntivo Cantata Team Reporting, dotato di architettura client-server, interfaccia web e API REST, consente ai team di migliorare l'efficienza e la collaborazione. SEE MORE

Fiche Technique de Cantata

Améliorez la conformité aux normes de sécurité en C et C++ et augmentez la qualité des logiciels embarqués grâce aux tests unitaires dynamiques de Cantata et à l'intégration multiplateforme transparente. SEE MORE

Tờ dữ liệu Cantata

Tối ưu hóa tuân thủ tiêu chuẩn an toàn với CantataCERTIFIED. Tăng chất lượng và tốc độ phát triển phần mềm. SEE MORE

Scheda Tecnica di Cantata

Migliorate la conformità agli standard di sicurezza in C e C++ e migliorate la qualità del software embedded grazie ai test unitari dinamici di Cantata e alla perfetta integrazione multipiattaforma. SEE MORE

Cantata Datenblatt

Verbessern Sie die Einhaltung von Sicherheitsstandards in C & C++ und erhöhen Sie die Qualität von eingebetteter Software durch Cantatas dynamische Unit-Tests und nahtlose plattformübergreifende Integration. SEE MORE

Hoja de Datos de Cantata

Mejore el cumplimiento de las normas de seguridad en C y C++ y eleve la calidad del software embebido mediante las pruebas unitarias dinámicas y la integración multiplataforma sin fisuras de Cantata. SEE MORE

Cantata Datasheet

Enhance compliance with safety standards in C & C++ and elevate the quality of embedded software through Cantata's dynamic unit testing and seamless cross-platform integration. SEE MORE

Cantata in 90 Seconds – Español

¿Está buscando una herramienta de prueba unitaria para C y C ++? Vea el video para obtener una descripción general de Cantata en 90 segundos. SEE MORE

Cantata in 90 Seconds – Italiano

State cercando uno strumento di test unitario per C e C++? Guarda il video per una comprensione generale di Cantata in 90 secondi. (2:10) SEE MORE

Cantata in 90 Sekunden

Sind Sie auf der Suche nach einem Unit-Testtool für C und C++? Sehen Sie sich das Video an und erhalten Sie einen Einblick in Cantata in 90 Sekunden. SEE MORE

QA-MISRA Datasheet

Accelerate C/C++ coding standards compliance and code quality insights with QA-MISRA. This tool automates analysis for compliance against MISRA, AUTOSAR, CERT, CWE, and other major coding guidelines. SEE MORE

QA-MISRA Datenblatt

Beschleunigen Sie mit QA-MISRA die Einhaltung von C/C++-Codierungsstandards und gewinnen Sie Einblicke in die Codequalität. Dieses Tool automatisiert die Analyse zur Einhaltung von MISRA, AUTOSAR, CERT, CWE und anderen wichtigen Kodierungsrichtlinien. SEE MORE

Hoja de Datos de QA-MISRA

QA-MISRA automatiza el análisis estático del código fuente C/C++ para verificar el cumplimiento de estándares como MISRA C/C++, AUTOSAR, CERT C/C++ y CWE, utilizando un conjunto único de reglas configurables. SEE MORE

Scheda Tecnica di QA-MISRA

Accelerate la conformità agli standard di codifica C/C++ e la comprensione della qualità del codice con QA-MISRA. Questo strumento automatizza l'analisi della conformità a MISRA, AUTOSAR, CERT, CWE e ad altre importanti linee guida di codifica. SEE MORE

Cantata in 90 Seconds – Français

Vous recherchez un outil de test unitaire pour C et C ++? Regardez la vidéo pour un aperçu de Cantata en 90 secondes. SEE MORE

QA-MISRA en 90 secondes

Découvrez QA-MISRA, notre outil d'analyse statique permettant la conformité aux règles de codage pour les langages C et C++. SEE MORE

Astrée Qualification Support Kit (QSK) Datasheet

The Astrée Qualification Support Kit aims at demonstrating the correct functioning of the tool in the operational context of the tool user. SEE MORE

AdaTEST 95 Datasheet

Efficiently perform unit and integration testing using AdaTEST 95. The product offers high productivity and a unique set of testing, coverage analysis and static analysis features. SEE MORE

ASTRÉE Datasheet

Accelerate Finding All Runtime Errors & Data Races in C/C++With Sound Static Analysis. SEE MORE

What’s New in Cantata 9.5

This document outlines the most important changes in Cantata version 9.5. SEE MORE

DevOps Datasheet

Within a DevOps pipeline Cantata provides automated continuous unit and integration testing. DevOps Datasheet SEE MORE

QA-MISRA Qualification Support Kit (QSK) Datasheet

The QA-MISRA Qualification Support Kit aims at demonstrating the correct functioning of the tool in the operational context of the user. SEE MORE

QA-MISRA Tool Certification Kit Overview

The Tool Certification Kit provides all the necessary data required for Software Tool certification defined the safety standards. SEE MORE

Cantata Standard Briefing ISO 26262:2018

This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the finalized international standard ISO 26262:2018 Road Vehicles - Functional Safety. SEE MORE

Cantata Standard Briefing DO 178C

This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation objectives of the finalized international standard RTCA DO-178C – Software Consideration in Airborne Systems and Equipment Certification. SEE MORE

Cantata Standard Briefing AOP-52

This Standard Briefing paper serves as a reference to show how Cantata can be used to satisfy the verification and validation objectives of the international NATO AOP-52 (EDITION 1) – Guidance On Software Safety Design And Assessment Of Munition-Related Computing Systems. SEE MORE

Cantata Standard Briefing EN 50657:2017

This Standard Briefing paper serves as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the international standard EN 50657:2017. SEE MORE

Cantata Standard Briefing EN 50128:2011

This Briefing is intended to serve as a reference of how Cantata can be used to satisfy the verification and validation requirements of the finalized international standard EN 50128:2011 Railway Applications - Communication, signalling and processing systems - Software for railway control and protection systems. SEE MORE

Cantata Standard Briefing IEC 62304:2006

This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the finalised international standard IEC 62304:2006 Medical Device Software – Software Life-cycle processes. SEE MORE

Cantata Standard Briefing IEC 61508:2010

This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the finalized international standard IEC 61508:2010 Functional Safety of Electrical / Electronic / Programmable Electronic Safety-related Systems SEE MORE

Cantata Standard Briefing IEC 60880:2006

This Briefing is intended to serve as a reference to show how Cantata can be used to satisfy the verification and validation requirements of the international standard IEC 60880:2006 Nuclear Power Plants – Instrumentations and Control Systems Important to Safety – Software Aspects for Computer-Based Systems. SEE MORE

Automotive Sector Brief

In this sector brief we highlight the ISO 26262 software standard, used in the verification and validation of vehicle-based software and how Cantata and AdaTEST 95 support project certification. SEE MORE

Aerospace and Defence Sector Brief

In this Sector Brief we highlight a selection of aerospace & defence projects and customers who have successfully used AdaTEST 95 and Cantata to meet their high reliability testing needs and the DO-178B, DO-178C and DO-330 standards and how Cantata and AdaTEST 95 support qualification. SEE MORE

Railways Sector Brief

In this sector brief we highlight a selection of rail systems projects and customers who have successfully used AdaTEST 95 and Cantata to meet their high reliability testing needs. Besides from that we highlight the key European railway EN 50128:2011 standard and how Cantata and AdaTEST 95 support project certification. SEE MORE

Medical Device Sector Brief

In this sector brief we highlight the IEC 62304 software standard, which specifies life cycle requirements for the development of medical software and software within medical devices. Besides from that we will highlight the FDA guidance document that outlines validation principles for medical device software and how Cantata and AdaTEST 95 support project certification. SEE MORE

Energy Sector Brief

In this Sector Brief we highlight the IEC 60880:2006 software standard’s requirements and how Cantata and AdaTEST 95 support project certification. SEE MORE

Industrial Automation Sector Brief

In this sector brief we highlight the IEC 61508 software standard’s requirements and how Cantata supports project certification. SEE MORE

QA-MISRA Compliance Matrices for CWE, SEI CERT C/C++, JSF AV C++, ISO/IEC TS 17961:2013 & HIS Metrics

This document defines the compliance matrix for the rules defined in CWE, CERT, JSF, ISO/IEC TS 17961 & HIS-Metrics to the guidelines. SEE MORE

QA-MISRA Compliance Matrices for MISRA-C:2012 (including Amendments 1 & 2)

This document defines the compliance matrix for the rules defined in MISRA-C:2012 and both Amendments 1 and 2 to the guidelines. SEE MORE

QA-MISRA Compliance Matrices for MISRA-C++:2008 & AUTOSAR C++14

This document defines the compliance matrix for the rules defined in MISRA-C++:2008 and AUTOSAR C++14 to the guidelines. SEE MORE

Innoviz technologies: Innovizone, Innoviztwo and Perception Software

Innoviz Technologies has designed and manufactured three products for autonomous vehicles. In search of a versatile test automation and reporting solution compatible with ISO 26262 certification requirements, they opted for Cantata due to its strong integration capabilities with their intricate toolchain. SEE MORE

Lockheed Martin’s CSU testing of F-22 tactical avionics

At their Aeronautical Systems plants in Marietta, Georgia, Lockheed Martin developed the US Air Force’s latest air-superiority fighter, the F-22. The Internal Independent Verification and Validation manager was required to find a suitable tool that would facilitate the extensive CSU testing. SEE MORE

SAAB’S Stores Management Unit (SMU) for the JAS39 Gripen Fighter

Saab Aerosystems re-implemented the Stores Management Unit (SMU) for the JAS39 Gripen fighter aircraft. They used AdaTEST 95 for testing, following the RTCA/DO-178B standard at criticality level A. SEE MORE

AdaCore’s software development kit for the Ravenscar profile

The key highlight of the new kit was its run-time environment situated on the target, exerting full control over the running application. AdaCore had to conduct extensive testing to meet the rigorous quality standards set by ESA. To achieve the stipulated 100% statement coverage, AdaTEST 95 was selected. SEE MORE

The Highways Agency and the NASS Project

The Highways Agency (HA) developed the Network ATM Supervisory Subsystem (NASS) to reduce congestion. This article explores the testing strategy, code design, and module testing procedures used to validate the system's effectiveness. SEE MORE

OSYS acceptance tests on railways signaling

The project involved performing system acceptance tests on a railway signaling configuration tool that was needed to generate code metrics, assess coverage, and identify untested code areas. Cantata offered an integrated solution that proved simpler and more cost-effective, encompassing all required features. SEE MORE

Creo Medical’s Croma Advanced Energy Platform

Cantata has been used successfully since the inception of the CROMA Generator, an electrosurgical unit for the purpose of cutting and coagulating tissue, in 2013. At the time of tool selection, Creo Medical required an independently certified automated unit testing tool to verify their software under IEC 62304. SEE MORE

FastFocus’s wireless patient monitoring systems

FastFocus needed a tool that met IEC 62304 standards, with a well-documented medical device background, reliable vendor support, and advanced features like automatic test case generation, function call control, code coverage, and certification evidence. SEE MORE

Simoco’s IT & telco control room system

Simoco opted for Cantata to systematize unit and integration testing and gauge code quality. The primary project using Cantata involved creating a sizable control room system for a major utility. This system merged digital telephony with mobile radio services, ensuring reliable communication between control room operators and field staff. SEE MORE

Hamilton Medical’s ventilator: Galileo,

Hamilton Medical's cutting-edge ventilator, Galileo, has demonstrated exceptional efficacy in managing challenging ventilation cases. The pivotal factor in Galileo's triumph is its integrated system control software. Ensuring the utmost quality, the software governing Galileo had to undergo rigorous testing. SEE MORE

Thales’s innovative ETCS solutions

Thales invested extensively in R&D, so as to produce innovative ETCS solutions. The main task was to develop two applications: one for radio block control on trackside, written in C++, and one for the train itself, written in C. SEE MORE

Meggitt’s reliable software for Airbus and Rolls Royce

Meggitt's two significant projects were the Engine Interface and Power Monitoring (EIPM) unit for the Airbus A380 aircraft, and the Engine Monitoring Unit (EMU) for the Rolls Royce Trent 900 engine. These projects necessitated robustly tested software to comply with the rigorous safety requirements of the civil avionics industry-standard DO-178B. SEE MORE

Marconi’s Gain INventor and Gain INjector

Given the software-intensive nature of the INventor and the INjector, Marconi Communications consistently pursues improved methods to efficiently generate substantial volumes of dependable C++ code as part of its software process enhancement strategy. SEE MORE

Kaba Gilgen AG’s safe and efficient platform screen doors

Kaba Gilgen AG upgraded metro stations in Paris with half-height Platform Screen Door (PSD) systems, using Cantata to meet the specific project needs. Detailed unit tests were run on all source files, ensuring 100% code coverage. SEE MORE

Dr. Keil’s comprehensive testing for administration module

This case study centers on Dr. Keil Informationstechnik GmbH & Co KG and a prominent telecom equipment supplier aiming to enhance their administration module reliability while utilizing Cantata as the primary testing tool. SEE MORE

Osys test system for Rolls-Royce gas turbine engine

A Comprehensive Case Study on Verifying DE-CATS Software for Rolls-Royce Adour Mk 106 Engine with Cantata. Discover how OSyS achieved efficient unit testing, white-box data validation, and extensive code coverage for optimal results. SEE MORE

Ge Healthcare’s enhanced safety and flexibility in medical software

Cantata was employed for white-box component testing for safety-critical code in both host and target environments. Its success led to its implementation in multiple projects, including the creation of a New Patient Monitor and a safety-critical Non-Invasive Blood Pressure measurement unit developed by GE Healthcare. SEE MORE

Britannia Building Society’s reusable and reliable testing

The BBS Systems Department had a long history of using Cobol and mainframe technology. In common with a general trend in the financial sector, a decision was made to move towards object oriented systems development, using C++. ‘Reusability’ was the main means of achieving this goal. SEE MORE

G4S’s more rigorous approach to testing

Past experiences have cultivated a profound skepticism towards 'ad hoc' software testing methods due to software bugs being a major contributor to field-related issues. Cantata’s static analysis functions were used to eliminate the use of C constructs known to cause problems. Task testing was carried out to discover if there were any design errors in the tasks. SEE MORE

Ultra Electronics’s first-line test set with DASCU

Ultra Electronics required testing tools that aligned with the stringent software testing criteria outlined in the civil avionics standard DO-178B. The Controls Division effectively employed Cantata to conduct C++ testing for the inaugural line test set utilized in conjunction with their Digital Automotive System Control Unit (DASCU). SEE MORE

Astrium’s RADARSAT-2 & Beagle 2 software

AdaTEST 95 was used to produce on-board software for Astrium's projects RADARSAT-2 (aimed to perform topographic mapping of the Earth's surface) & Beagle 2 (a UK-led Mars lander) which faced different challenges in achieving software reliability. SEE MORE

Astrium’s Polar Platform Satellite

Astrium chose AdaTEST 95 to test its Polar Platform satellite, thanks to its reliability, flexibility, and competitive pricing. The tool resolved the challenge of creating maintainable code and tests, seamlessly integrating into Astrium's existing procedures without causing disruptions. SEE MORE

SAAB’s Airbus A400M Wing Flaps Control

SAAB, adhering to rigorous safety requirements, used Cantata to certify the Airbus A400M wing flap control system to the highest safety level, generating automatic test reports for efficient issue identification and resolution. SEE MORE

Hitachi Vantara’s self-driving assistant

Hitachi Vantara developed the Self-Driving Assistant software for autonomous vehicles. To ensure safety and adherence to standards, they chose Cantata as their testing tool for its ability to conduct unit, integration, and system testing. SEE MORE

Chuyến tham quan nhanh Cantata

Hãy nhanh chóng nhìn vào Cantata, một công cụ kiểm thử đơn vị và tích hợp cho ngôn ngữ C và C++, khi nó thể hiện khả năng của mình. (5:59 Phút) SEE MORE

كانتاتا في 90 ثانية

هل تبحث عن أداة لاختبار الوحدات والتكامل للغات C وC++؟ شاهد الفيديو للحصول على نظرة عامة على كانتاتا في 90 ثانية. SEE MORE

Static Analysis and Dynamic Testing: A Combined Approach

Adam Mackay, Integrations Manager at QA Systems, demonstrated the benefits of combining Static Analysis and Dynamic Testing of Software at Embedded World 2022. He highlighted the importance of early defect detection through automated code checking and robust unit testing to save time, money, and effort. SEE MORE

Cantata in 90 Seconds – Chinese

您正在寻找C和C++单元测试工具吗? Cantata是一款经济高效、自动化的嵌入式代码单元和集成测试工具。用Cantata加速测试,节省您的时间和精力。 SEE MORE

QA-MISRA in 90 Sekunden

Sind Sie auf der Suche nach einem statischen Analysetool für C/C++? Sehen Sie sich das Video an und erhalten Sie einen Einblick in QA-MISRA in 90 Sekunden. SEE MORE

QA-MISRA en 90 segundos

QA-MISRA es una herramienta de análisis estático eficaz para garantizar el cumplimiento de los estándares de programación, compatible con los lenguajes de programación C y C++. No importa para qué estándar de seguridad o industria esté desarrollando su software integrado, QA-MISRA verifica su código para garantizar el cumplimiento. SEE MORE

QA-MISRA in 90 secondi

QA-MISRA è un potente strumento di analisi statica che garantisce la conformità agli standard di codifica, supportando i linguaggi C e C++. Indipendentemente dallo standard di sicurezza o dal settore per il quale state sviluppando il vostro software embedded, QA-MISRA verifica il vostro codice per garantirne la conformità. SEE MORE

QA-MISRA in 90 seconds – Chinese

QA-MISRA是一个功能强大且快速的静态分析工具,用于确保代码符合编码标准,支持C和C++编程语言。 SEE MORE

Cantata in 90 Seconds – Korean

안녕하세요! C 나 C++를 위한 단위 테스팅 도구를 찾고 계신 가요? 이 동영상으로 Cantata의 기능을 확인하세요 (1:28) SEE MORE

Cantata in 90 Seconds – Vietnamese

Bạn có đang tìm kiếm một công cụ kiểm thử đơn vị cho C và C++? Theo dõi video 90 giây giới thiệu khái quát về Cantata. SEE MORE

Webinar: Automatisieren Sie Ihre Code-Compliance durch den Einsatz eines statischen Source-Code-Analyse-Tools

Erfahren Sie in diesem Webinar, wie die Identifizierung von Fehlern und Schwachstellen unter Einhaltung sicherheitsrelevanter Standards durch die statische Analyse automatisiert wird. SEE MORE

Cantata Quick Tour – Deutsche

Eine kurze Demonstration von Cantata. (6:35 Min) SEE MORE

Cantata Quick Tour Korean

A Quick Tour of Cantata demonstrating the tool in Korean. (5:58 Min) SEE MORE

SofiaTech and QA Systems Webinaire: Tracez, vérifiez, dérisquez votre code embarqué

Le développement de votre software embarqué doit respecter les normes les plus exigeantes de sureté de fonctionnement, que ce soit l'ISO 26262, IEC 61508, IEC 62304, EN 50128, IEC 60880 ou DO-178. Analyse puis mitigation des risques, garanties de couverture de test et traçabilité de bout en bout depuis les exigences logicielles jusqu'aux tests sont requises par ces normes industrielles de sûreté. SEE MORE

Cantata in 90 Seconds – Japanese

C/C++言語対応の単体テストツールをお探しですか? Cantataは費用対効果の高い組込みコード向け自動 単体&統合テストツールです。 Cantataでテストにかかる手間と時間を削減しませんか。 SEE MORE

ATC 2020 | Beyond Requirements Based Testing for ISO 26262

At ATC ISO 26262 (an online event hosted in China) Matt Davis the Director of QA Systems in the UK, presented a talk on Beyond Requirements Based Testing for ISO 26262. (35:40 Min) SEE MORE

Schneller testen: Unit-Tests für sicherheitskritische Software mit Cantata

In diesem Webinar wird QA Systems erläutern und demonstrieren, wie Sie Ihre Unit- und Integrationstests optimieren und die Einhaltung Ihrer Sicherheitsstandards beschleunigen können. Des Weiteren erfahren Sie, wie führende Unternehmen der Embedded-Branche die neuesten, anwenderfreundlichen Techniken einsetzen. Lernen Sie sicherheitskritische ‚Best Practices‘ und Methoden für C/C++ Unit- und Integrationstests. (57:36) SEE MORE