SAAB’s Airbus A400M Wing Flaps Control

SAAB’s Airbus A400M Wing Flaps Control

SAAB’s business unit dedicated to developing electronics for aircraft adheres to rigorous safety requirements, with 30% of team effort dedicated to software development, while 70% goes towards documentation and validation. SAAB used Cantata to certify the system that controlled the wing flaps on the Airbus A400M to the highest level of safety. Cantata generated automatic test reports that helped Saab quickly identify and fix issues, providing the confidence that they hadn’t missed anything crucial.

A Strategy for Testing C++

A Strategy for Testing C++

This document attempts to outline a strategy for testing software written in C++. This means providing guidance on the thought processes you should be going through when planning verification of C++ software, preferably before any code is written. The first section is devoted to that task. The second looks at best practices once code starts to become available for testing.Section Three describes how using Cantata for unit and integration testing can help in different situations.

To access this resource please fill in the form:

By submitting your information, you will gain access to this resource and receive periodic relevant event invitations, as well as information on the latest valuable embedded software testing resources from our experts. You can opt out at any time. See our privacy policy.

G4S’s more rigorous approach to testing

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.

Cantata Wrapping

Cantata Wrapping

Cantata provides a full and unique suite of intelligent testing capabilities making unit and integration testing of C and C++ faster and cheaper. This feature brief highlights the unique Wrapping capability for intercepting calls from and within the software under test. It sets out the Cantata call interface control capabilities for both traditional simulation (using stubs / isolates) and simulation / interception (using Wrappers), in addition to their uses in isolation unit testing and integration testing.

To access this resource please fill in the form:

By submitting your information, you will gain access to this resource and receive periodic relevant event invitations, as well as information on the latest valuable embedded software testing resources from our experts. You can opt out at any time. See our privacy policy.

GE Healthcare, Testing Medical Devices with Cantata

GE Healthcare’s enhanced safety and flexibility in medical software

When lives are on the line, medical device software needs to be held to the highest safety standards. See how GE Healthcare leveraged Cantata, a unit testing tool from QA Systems, to ensure their critical care monitors met stringent internal and regulatory requirements. Cantata enabled thorough testing of safety-critical components while providing the flexibility needed to accommodate multiple environments and compilers.

Cantata AutoTest

Cantata AutoTest

Cantata provides a full and unique suite of intelligent testing capabilities accelerating unit and integration testing of C and C++. Cantata AutoTest creates complete Cantata unit test scripts from source code using an algorithm that automatically generates Cantata test case vectors that exercise all code paths, check data, parameters and call orders. in this Feature Brief we examine the reasons why AutoTest may be used and the benefits that arise.

To access this resource please fill in the form:

By submitting your information, you will gain access to this resource and receive periodic relevant event invitations, as well as information on the latest valuable embedded software testing resources from our experts. You can opt out at any time. See our privacy policy.

An Introduction to Safety Critical Systems

An Introduction to Safety Critical Systems

An Introduction to Safety Critical Systems

This paper provides an introduction to the development of software for safety-critical systems. It aims 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 Systems’ tools can be used to assist with the development of software for safety-critical systems.

A safety-critical system is a system where human safety is dependent upon the correct operation of the system. The emphasis of this paper is on the software element of safety-critical systems, which for convenience, is often referred to as safety-critical software. However, safety must always be considered with respect to the whole system, including software, computer hardware, other electronic and electrical hardware, mechanical hardware, and operators or users, not just the software element.

To access this resource please fill in the form:

By submitting your information, you will gain access to this resource and receive periodic relevant event invitations, as well as information on the latest valuable embedded software testing resources from our experts. You can opt out at any time. See our privacy policy.

Cantata Testing C++

Cantata Testing C++

Cantata provides a full and unique suite of testing capabilities for the efficient unit and integration testing of C and C++. This feature brief highlights the capabilities specifically useful for testing C++ code.

To access this resource please fill in the form:

By submitting your information, you will gain access to this resource and receive periodic relevant event invitations, as well as information on the latest valuable embedded software testing resources from our experts. You can opt out at any time. See our privacy policy.