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