Software Testing Tools 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 .

DevOps Datasheet

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

QA-MISRA Datenblatt

Der Industriestandard für detaillierte, schnelle Tiefenanalyse für C/C++-Code mit QA-MISRA. SEE MORE

Cantata Technical Note – Integration with Jenkins

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

QA-MISRA Datasheet

Industry benchmark for in-depth, accurate analysis of industrial-scale C/C++ code with QA-MISRA. SEE MORE

Use with Repository and Version Control – Cantata Technical Note

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

Use with Code Composer Studio 5 – Cantata Technical Note

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

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

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

Creo Medical Case Study

Creo Medical, a manufacturer of clinically innovative medical devices, engaged TVS to establish a unit testing strategy for the software it was developing for its CROMA system, an electrosurgical unit that delivers Bipolar Radiofrequency power for the purpose of cutting and Microwave power for the purpose of coagulating tissue to staunch bleeding vessels. SEE MORE

Innoviz Technologies Case Study

Innoviz Technologies used Cantata to verify their software for the autonomous driving sensor product 'InnovizOne' under ISO 26262. SEE MORE

Integration with Intland codeBeamer – Cantata Technical Note

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

Cantata Quick Tour – Deutsche

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

Cantata in 90 seconds – Deutsche

Sind Sie auf der Suche nach einem Unit-Testtool für C und C++? Sehen Sie sich das Video an für einen Überblick über Cantata in 90 Sekunden. 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 – 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

Cantata Team Reporting – Italiano

The Cantata Team Reporting Add-on product, with a client-server architecture, web interface and REST API, enables teams to work more effectively. SEE MORE

Cantata Team Reporting Datasheet – Français

The Cantata Team Reporting Add-on product, with a client-server architecture, web interface and REST API, enables teams to work more effectively. 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 Quick Tour – Vietnamese

A quick tour of Cantata demonstrating the tool. Cantata is a unit and integration testing tool for C and C++. (5:59 Min) SEE MORE

Cantata Team Reporting Datasheet – Español

La extension de Cantata Team Reporting, con una arquitectura cliente-servidor, interfaz web y API REST, permite a los equipos trabajar de manera más eficaz. SEE MORE

Cantata Datasheet – Español

Acelere el cumplimiento de las normas de seguridad para C y C++ con las pruebas unitarias y de integración automatizadas de Cantata. SEE MORE

Cantata in 90 Seconds – Arabic

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

Integration with Static Analysis Tools – Cantata Technical Note

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

Integration with IBM Doors Next – Cantata Technical Note

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

Cantata Datasheet

Accelerate safety standards compliance for C and C++ with Cantata automated unit and integration testing. SEE MORE

Cantata in 90 Seconds – Korean

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

Hitachi Vantara Case Study

Hitachi Vantara required a certified testing tool that could execute instantiated template classes in C++ on the MCU and the verification evidence required for certification to ASIL D. Cantata was successfully used to test code for their SelfDrivingAssistant product. SEE MORE

Integration with Jenkins: Using the Cantata Plugin – Cantata Technical Note

This Technical Note introduces both Jenkins and the basic usage of calling Cantata tests via the plugin. 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

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

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

Cantata Jenkins Pipeline Project Integration

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 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 Quick Tour

A quick tour of Cantata demonstrating the tool. Cantata is a unit and integration testing tool for C and C++. (5:59 Min) SEE MORE

Cantata in 90 Seconds

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

Use with VSCode – Cantata Technical Note

This Technical Note provides information about using Cantata from within the VSCode editor. 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

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

FastFocus Cantata Case Study

FastFocus needed to comply with the requirements of the IEC 62304 standard for an embedded software unit test framework and needed a trustworthy vendor who could provide active technical support and an established medical pedigree. SEE MORE

Cantata Quick Tour Korean

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

Cantata Trace with Polarion® ALM™

This video shows the tracing of requirements in Polarion® ALM™ with Cantata tests. (5:37 Min) SEE MORE

Cantata Trace with Microsoft® Excel®

This video shows the tracing of requirements in Microsoft® Excel® with Cantata tests. (4:17 Min) SEE MORE

Cantata Trace with PTC® Integrity™

This video shows the tracing of requirements in PTC® Integrity™ with Cantata tests. (5:05 Min) SEE MORE

Cantata Trace with IBM® Rational® DOORS®

This video shows the tracing of requirements in IBM® Rational® DOORS® with Cantata tests. (5:13 Min) 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

Cantata for TI Code Composer Studio v5

A demonstration of Cantata for Texas Instruments Code Composer Studio v5. (3:03 Min) 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

Cantata for Keil uVision v5

A demonstration of Cantata for Keil uVision v5. (3:20 Min) 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

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

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

Cantata AutoTest

A demonstration of Cantata's AutoTest Feature (5:05 Min) 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

AdaTEST Unit Testing

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

RTRT Converter

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

Cantata Wrappers

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 Team Reporting

Cantata Team Reporting is an add-on product for the Cantata unit and integration testing tool. It adds major benefits to the Cantata desktop product: enabling teams to work more effectively. (3:52 Min) SEE MORE

Cantata Target Deployment

This video demonstrates how to deploy Cantata for testing on target. (5:25 Min) 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

Cantata Integration Demo with Lauterbach Trace32

This video demonstrates Cantata working with Lauterbach's Trace32 SEE MORE

Cantata Test Architect Video

This video provides a short overview of Lattix products and a demo of Cantata Test Architect. SEE MORE

What’s New in Cantata 9.1 – Italiano

Questo documento delinea i principali cambiamenti di Cantata versione 9.1. SEE MORE

Electronics Weekly | QA Systems Cantata Unit and Integration Testing Tool for C/C++

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

Cantata 9.1 Release Notes

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

Cantata Datasheet – Français

En pointe sur la qualité des logiciels embarqués SEE MORE

Cantata Datasheet – Italiano

Accelerare qualitià del software embedded. SEE MORE

Cantata Datasheet – Vietnamese

Accelerate safety standards compliance for C and C++ with Cantata automated unit and integration testing. SEE MORE

What’s New in Cantata 7.2

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

Cantata 9.1 Safety Manual

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

Cantata Test Architect Datasheet

Cantata Test Architect helps you quickly identify and remediate architectural issues. SEE MORE

Cantata Integration with Intland codeBeamer®

This video provides a short overview of Cantata's Integration with Intland codeBeamer. SEE MORE

Cantata Integration with QA-C

A demonstration of Cantata working with the static analysis tool QA-C 7 (2:53 Min) SEE MORE

What’s New in Cantata 9.1

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

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

In this online presentation Adam & Rafael introduce the key features of both tools to help developers and testers of safety critical systems optimise their workflow. (57:33 Min) SEE MORE

Cantata Datenblatt

Sicherheitsstandards schnell und sicher erfüllen. Mit automatisierten Unit- und Integrationstests. SEE MORE

Cantata Team Reporting Datasheet

The Cantata Team Reporting Add-on product, with a client-server architecture, web interface and REST API, enables teams to work more effectively. SEE MORE

Cantata Team Reporting Datasheet – Vietnamese

The Cantata Team Reporting Add-on product, with a client-server architecture, web interface and REST API, enables teams to work more effectively. SEE MORE

Cantata Test Architect Webinar

In this introductory online presentation, using Cantata Test Architect, Adam Mackay shows how to break down a complex system into its component parts, identify dependencies, and plan distinct sub-projects - easing the burden of test set-up. (50:53 Min) SEE MORE

Cantata 9.0 Release Notes

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

Automated Requirements Based Testing

A video demonstrating automated requirements testing traceability within Cantata. (6:51 Min) 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

Combining Code Coverage – Cantata Technical Note

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

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. (4:46 Min) SEE MORE

Reusing xUnit Tests – Cantata Feature Brief

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

Licence Usage – Cantata Technical Note

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

Licence Usage – AdaTEST Technical Note

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

Use with MSVC debugger – Cantata Technical Note

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

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

Cantata 8.0 Safety Manual

This Safety Manual provides guidance for how to use the Cantata 8.0 tool in a safety related context, and to meet the requirements of the independent tool certification. 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 Cantata can be used within the process. SEE MORE

System Testing Automation

QA+ BEE is modelling system behaviour in development environment. It helps companies to speed up development, to save money and to enable flawless user experience. SEE MORE

Static Metrics – Cantata Feature Brief

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

Team Reporting – Cantata Feature Brief

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

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

Space Systems Sector Brief

This Sector Brief gives an overview of major projects and customers in space systems standards. It also mentions the Sector standards PSS-05-0, ECSS-E-40 and Galileo. 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

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

Cantata 8.0 Release Notes

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

Use with Wind River Workbench 3.3 – Cantata Technical Note

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

Use with Wind River Tornado – Cantata Technical Note

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

Use with Wind River Diab 5.9.3 – Cantata Technical Notes

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

Use with VxWorks 7.0 – Cantata Technical Note

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

Use with Tasking VX – Cantata Technical Note

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

Use with Softune v60 – Cantata Technical Note

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

Use with QNX Momentics and Cantata Makefiles – Cantata Technical Note

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

Use with QNX Momentics 4.7 – Cantata Technical Note

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

Use with Keil yVision5 – Cantata Technical Note

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

Use with Keil uVision3 – Cantata Technical Note

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

Use with IAR Renesas RL78 Simulator – Cantata Technical Note

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

Use with IAR Embedded Workbench for ARM – Cantata Technical Notes

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

Use with Green Hills Multi – Cantata Technical Note

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

Use with GDB debugger – Cantata Technical Note

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

Pointers – Cantata Technical Note

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

Generating and Using External Wrappers – Cantata Technical Note

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

Access and Check Static Structures – Cantata Technical Note

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

Global Data in Table Driven Tests – Cantata Technical Note

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

Test Driven Development – Cantata Technical Note

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

Integration with Polarion – Cantata Technical Note

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

Integration with PTC Integrity – Cantata Technical Note

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

Integration with IBM® DOORS® – Cantata Technical Note

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

Low Memory Targets – Cantata Technical Note

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

Cantata Technical Note – 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

Command Line Use – Cantata Technical Note

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

Adding Extra Information to Reports – Cantata Technical Note

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

Standard and Full Target Deployments – Cantata Technical Note

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

Cantata Technical Note – 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

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 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 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

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

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

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 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

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

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

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

Embedded Software Testing Practices Survey Report

This report details key findings from the QA Systems Embedded Software Testing Practices survey conducted in 2018. 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

Cantata 9.0 Safety Manual

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

MakeFiles – Cantata Feature Brief

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

RTRT Converter – Cantata Feature Brief

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

Testing C++ – Cantata Feature Brief

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

AutoTest – Cantata Feature Brief

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

Wrapping – Cantata Feature Brief

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

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

Saab AdaTEST Case Study

One of the projects at Saab Aerosystems involved the re-implementation of the Stores Management Unit (SMU) for the JAS39 Gripen fighter aircraft. SEE MORE

Highways Agency Case Study

The client, the Highways Agency (HA), has responsibility for managing, maintaining and improving the motorway and trunk road network in England. SEE MORE

Astrium AdaTEST 95 Case Study – Polar Platform Satellite

The European Space Agency selected Astrium to develop the Polar Platform, a general purpose satellite scheduled to be used in two missions - Envisat (environmental monitoring) and Metop (Meteorological monitoring). SEE MORE

Astrium AdaTEST 95 Case Study – RADARSAT-2 & Beagle 2

AdaTEST 95 was used to produce on-board software for the RADARSAT-2 & Beagle 2 projects SEE MORE

Adacore AdaTEST 95 Case Study

AdaCore’s division in Paris were contracted by the European Space Agency (ESA) to create a high-integrity software development kit that would produce mission- and safety-critical systems for satellites. SEE MORE

Simoco Case Study

Simoco have a well defined software development process, based firmly on the well known V lifecycle model and certified to ISO 9001/TickIT. SEE MORE

Marconi Case Study

The IN products of which Marconi Communications are particularly proud are GAIN INventor and GAIN INjector. SEE MORE

Lockheed Martin Case Study

At their Aeronautical Systems plants in Marietta, Georgia, Lockheed Martin were developing the US Air Force’s latest air-superiority fighter, the F-22. SEE MORE

Kaba Door Systems Case Study

In March 2007 Kaba Gilgen AG won the contract to upgrade metro stations in Paris with half-height Platform Screen Door (PSD) systems from the metro operator, RATP (Régie Autonome des Transports Parisiens). SEE MORE

Meggitt Case Study

Meggitt was in charge of the development of two major projects: the Engine Interface and Power Monitoring (EIPM) unit for the Airbus A380 aircraft and the Engine Monitoring Unit (EMU) for the Trent 900 engine from Rolls Royce. SEE MORE

Dr Keil Case Study

Dr Keil Informationstechnik GmbH & Co KG is a leading consulting and software house specialising in services and outsourcing for large customers in southern Germany. SEE MORE

Thales Case Study

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

Hamilton Medical Case Study

Hamilton Medical’s latest state-of-the-art ventilator product is called Galileo and has proved to be highly effective with hard-to-ventilate patients. SEE MORE

GE Healthcare Case Study

Datex-Ohmeda developed a software platform for a new generation of medical devices. This platform will allow shorter development cycles for new products and new features, such as new measurement parameters. SEE MORE

G4S Case Study

Previous experience of such developments had led management to an extreme distrust of 'ad hoc' software testing methods, as software bugs had proved to be responsible for a large proportion of field faults. SEE MORE

Saab Cantata Case Study

Saab were contracted to develop a system to control the wing flaps on the Airbus A400M. The software must, understandably, be developed according to rigorous safety requirements, as human lives are at stake. SEE MORE

Britannia Building Society Case Study

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 madeto move towards object oriented systems development, using C++. SEE MORE

Cantata Case Study – OSys

Two specific features of the tool proved very popular with the engineers. Simon Priorparticularly praised its ability to get inside the classes being tested using the ‘Friends’technique so that internal (“white box”) data could be both set and checked. SEE MORE

Ultra Electronics Case Study

Ultra Electronics needed test tools to comply with the strictest software testing requirements of civil avionics standard DO-178B. Cantata was successfully used by the Controls Division for testing C++ for the first line test set used with their Digital Automotive System Control Unit (DASCU). SEE MORE