Software dynamisch testen mit Cantata

Mit Cantata haben Sie das passende Werkzeug, um Software auf Fehler hin zu prüfen und zu lokalisieren. Das dynamische Testen Ihrer Komponenten bzw. Applikationen erfolgt mit Cantata automatisiert. Sicherheitsstandards wie ISO 26262, DO-178B, ED-12B, IEC 61508, MISRA, FDA/IEC 62304 und CENELEC 50128 werden erfüllt.

Kostenlose TestlizenzWhite Paper Unit Test Tool

Dynamisch testen mit Cantata

Cantata automatisiert und verwaltet komplexe Aufgaben beim Testen sicherheitskritischer Anwendungen. Cantata ist als „geeignet für die Entwicklung von sicherheitsrelevanter Software“ zertifiziert. Die Automatisierung beinhaltet die Erstellung der kompletten Testumgebung, die Instrumentierung für Code-Coverage-Analysen, die Generierung eines Testfallgerüsts sowie die Ausführung von Testcases.

Quicklinks:

Management Overview (PDF/EN) | Technical Overview (PDF/EN)

What's New in Cantata 6.2 (PDF/EN) | What's New in Cantata 6.2A (PDF/EN)

 

Profitieren Sie von den Vorteilen, die Cantata bietet

Senken Sie mit Cantata Ihren Testaufwand und sparen Sie Zeit und Kosten. Ohne Qualitätsverlust.

Die Automatisierung beinhaltet die Erstellung der kompletten Testumgebung für Unit- und Integrationstests, für Black und White Box Tests, die Instrumentierung für Code-Coverage-Analysen, die Generierung eines Testfallgerüsts sowie die Ausführung von Testfällen.

 

 

 

Die wichtigsten Leistungsmerkmale von Cantata

  • Automatische Erstellung der gesamten Testumgebung GUI als auch skriptbasierte Testdurchführung
  • Code-Coverage-Analysen
  • Regressionstests
  • Automatische Testerstellung aufgrund der Entscheidungspfade (Basis Path Analysis)
  • Benutzerdefinierte Tests basierend auf bestehenden Requirements
  • Automatische Einhaltung von Coding Standards für C und C++ durch die Integration von QA-C/QA-C++ 

 

 

 

Tool Zertifizierung

Das Zertifizierungspaket für Cantata besteht aus: unabhängiger Zertifizierung der letzten Cantata Versionen 6.0-6.2, einer detaillierten Sicherheitsanleitung, einer umfassenden Zusammenfassung der Hauptsicherheitsstandards, sowie automatisierten Tests zur Feststellung der korrekten Werkzeugausführung in eingebetteten Targets.

Cantata ist als „geeignet für die Entwicklung von sicherheitsrelevanter Software“ zertifiziert, bis auf die höchsten SIL Ebenen aller relevanten Sicherheitsnormen wie:

  • IEC 61508:2010 (Industrie),
  • ISO 26262:2011 (Automotive),
  • EN 50128:2011 (Bahntechnik),
  • IEC 60880:2006 (Atomindustrie)
  • IEC 62304:2006 (Medizintechnik).

Die Zertifizierung wurde von der SGS-TÜV Saar GmbH, eine unabhängige dritte Zertifizierungsstelle für  Funktionssicherheit, die von Deutsche Akkreditierungsstelle GmbH (DAkkS) anerkannt wird, durchgeführt.

Certificate Cantata 6.2

Cantata Quick Tour Video



Cantata Wrappers



Cantata AutoTest Feature Demonstration



Cantata Integration with Texas Instruments Code Composer v5



Unit Testing Made Easy for Safety Critical Software



Datenblätter Cantata (EN)

Find out the new features of Cantata 6.2 in the document
pdf Whats New in Cantata 6.2 |
Find out the new features of Cantata 6.2A in the document
pdf What s New in Cantata 6.2A |

Registrierungspflichtige Downloads

Für folgende Downloads ist eine Registrierung erforderlich. Bitte füllen Sie folgendes Formular aus.

Standards Papers

This paper provides detailed guidance on using Cantata in a safety related context, in conjunction with the relevant standards briefing paper.
pdf Cantata 6.1 Safety Manual |
This paper describes how AdaTEST 95 and Cantata can be used to assist with the development of software to the Galileo Software Standard (GSWS).
pdf Testing Tools GSWS |
This paper describes how QA Systems Testing Products can be used to assist with the verification and validation of software according to the FDA Software Validation Guidelines.
pdf Testing Tools FDA Software Validation Guidelines |
This paper describes how AdaTEST 95 and Cantata can be used to assist with the development of software to the standard RTCA/DO-178B.
pdf Testing Tools RTCA DO-178B |
This paper describes how QA Systems Testing Products can be used to assist with the verification and validation of software according to the ECSS E-40 Standard on Space Software Engineering.
pdf Testing Tools ECSS E-40 |
This paper describes how QA Systems Testing Products can be used within a software development adhering to the MISRA Development Guidelines for Vehicle Based Software.
pdf Testing Tools MISRA Dev Guidelines |
This paper describes how QA Systems Testing Products can be used within a software development using an ISO 9001 / BS5750 / TickIT compliant Quality Management System.
pdf Testing Tools ISO9001/BS5750/Tick IT |
This paper describes how QA Systems Testing Products can be used within the CMM framework, and details how they can be used to assist an organisation to transition between CMM levels.
pdf Testing Tools SEI Capability Maturity Model |
This paper describes how QA Systems Testing Products can be used within a software development to MIL-STD-498.
pdf Testing Tools MIL-STD-498 |
This paper shows how QA Systems Testing Products can be used to assist with the development of software to Defence Standard 00-55.
pdf Testing Tools MoD Defence Standard 00-55 |
This paper describes how QA Systems Testing Products can be used to assist with the development of software to EN50128, Software for Railway Control and Protection Systems.
pdf Testing Tools EN50128 |
This paper describes how QA Systems Testing Products can be used to assist with the development of software to IEC880, Software for Computers in the Safety Systems of Nuclear Power Stations.
pdf Testing Tools IEC880 |
This paper describes how QA Systems Testing Products can be used within a software development to DOD-STD-2167A.
pdf Testing Tools DOD-STD 2167A |
Automotive
How Cantata was used during the Network ATM Supervisory Subsystem (NASS) Project, which improved the motorway and trunk road network in England.
pdf Highways Agency |
IT & Telco
How Cantata was used to test a Client-Server German telecom network management system with intensive user-interfaces implemented in C++.
pdf Dr Keil Informationstechnik |
How Cantata was critical to the client’s software process improvement strategy.
pdf Marconi Communications |
How Cantata was used to test a large control room system and improve the client’s software development strategy.
pdf Simoco Digital Systems |
How Cantata assisted the client in creating a structured bottom-up testing production line and enabled their move into object-oriented C++ and RAD development.
pdf Britannia Building Society |
Healthcare
How Cantata was used to ensure adherence to FDA Guidelines on software medical systems.
pdf GE Healthcare |
How Cantata assisted in the development of FDA-compliant software for safety-related medical equipment.
pdf Hamilton Medical |
Aerospace & Defence
How Cantata was used during three projects: a test system for the Rolls-Royce Adour Mk 106 gas turbine engine in the Jaguar strike aircraft; a railway signalling configuration tool; and a Dynamic Test System for a Primary Reactor Protection System in the nuclear industry.
pdf Optimized Systems & Solutions |
How Cantata was used over a seven-year period to test DO-178B Level V standard on numerous aero-engine monitoring units.
pdf Meggitt |
Industrial Automation
How Cantata enabled 30-40% productivity gains on the client’s G-92 product range.
pdf G4S |
Railways
How Cantata was used during the development of a European rail traffic management system.
pdf Thales Rail Signalling Systems |

Registrierungspflichtige Downloads

Für folgende Downloads ist eine Registrierung erforderlich. Bitte füllen Sie folgendes Formular aus.

Product Feature Briefs

This feature brief highlights the unique Cantata Wrapping capability for intercepting calls from and within the software under test.
pdf Cantata Wrapping |
Baseline Testing automatically creates complete Cantata passing unit tests from C source code by generating test case vectors that exercise all code paths, check data, parameters and call ordering.
pdf Cantata Feature Brief-Baseline Testing |
Cantata Makefiles use a set of makefiles to compile, link, deploy, execute and retrieve results for suites of Cantata tests, where these commands can be invoked from the command line.
pdf Cantata Feature Brief-Cantata Makefiles |
How to take existing open source test scripts implemented in C/C++ (such as CppUnit and CxxTest), generically known as xUnit and re-use and embed them inside Cantata tests.
pdf Cantata Feature Brief-Embedded x Unit Tests |
Cantata has set of capabilities specifically useful for testing C++ code. This document details of how Cantata can be used to test templates, inheritance, abstract base classes and exceptions.
pdf Cantata Feature Brief-Testing CPlus Plus |
Previously known as Unit Tester, Cantata++ 5.1 for Wind River Workbench is the Unit and Integration testing Platform Partner tool suite fully integrated with Wind River Platforms.
pdf Cantata 5.1 Wind River Workbench Product Overview |
An Overview for DO-178B Tool Qualification
pdf Cantata DO-178B ED-12B Tool Qual Presentation |

Registrierungspflichtige Downloads

Für folgende Downloads ist eine Registrierung erforderlich. Bitte füllen Sie folgendes Formular aus.

Sector Briefs

Cantata solutions for the Space industry, focusing on using the tool to meet PSS-05-0 / ECSS E-40 / GSWS standards
pdf Cantata Space Sector Brief |
QA Systems Testing Products solutions for the civil avionics industry, focusing on using the tools to meet DO-178B / ED-12B
pdf Civil Avionics Sector Brief |
QA Systems Testing Products solutions for the military avionics industry, focusing on using the tools to meet DO-178B / ED-12B / Mil-Std-498 / Def-Stan 00-55
pdf Military Avionics Sector Brief |
QA Systems Testing Products solutions for the defence sector, focusing on using the tools to meet Mil-Std-498 / Def-Stan 00-55
pdf Defence Sector Brief |
QA Systems Testing Products solutions for the railways sector, focusing on using the tools to meet CENELEC PR-EN50128
pdf Railway Sector Brief |

Registrierungspflichtige Downloads

Für folgende Downloads ist eine Registrierung erforderlich. Bitte füllen Sie folgendes Formular aus.

White Papers
This paper exposes the opportunity costs of open source unit test tools, and offers a compelling case for investing in commercial tools like Cantata.
pdf Why Pay For A Unit Test Tool |
This paper discusses the problems associated with testing C++ and outlines an approach to the verification of C++ code.
pdf A Strategy for Testing Cpp |
This paper presents object-oriented context coverage as a way to measure coverage for object-oriented systems.
pdf Advanced Context Sensitive Coverage Metrics for Non-procedural Software |
This paper is a useful tutorial for developers who are new to formal testing of software, and as a reminder of some finer points for experienced testers.
pdf An Introduction to Software Testing |
This paper provides a general process for developing unit test specifications and describes specific design techniques for designing unit test cases.
pdf Designing Unit Test Cases |
This paper discusses the issues involved in host-target testing and shows how QA Systems Testing Tools can be used to implement an effective host-target testing strategy.
pdf Host-Target Testing |
This paper describes three organisational approaches for unit testing: top down, bottom up and isolation.
pdf Organisational Approaches for Unit Testing |
This paper outlines a number of commonly used software development lifecycle models, with particular emphasis on the testing activities involved in each model.
pdf Software Testing and Software Development Lifecycles |
This paper provides a discussion of structural test coverage metrics and looks at the practicality of their use for real software developments.
pdf Structural Coverage Metrics |
This paper describes how AdaTEST and Cantata can be used to test software which implements state machines.
pdf Testing State Machine with Ada TEST and Cantata |
This paper addresses the question which is often posed by developers who are new to the concept of thorough testing.
pdf Why Bother to Unit Test |
This paper provides a description of the use of AdaTEST on a DO-178B project.
pdf An Introduction to Safety Critical Systems |
This paper provides guidelines for designing testable Ada.
pdf Designing Testable Ada |
This paper discusses the testability of safety-related systems developed in Ada95 and describes techniques which can be used to improve the likelihood of achieving testing success.
pdf Testing Techniques for Ada 95 |

Sie möchten gerne mehr über Cantata erfahren? Hier erhalten Sie weitere Informationen, technische Features und Downloads zu unserem Produkt.

Kostenlose Testlizenz