Automatisierte Unit- und Integrationstests für C/C++
Cantata ist ein Testwerkzeug für Unit- und Integrationstests. Das Tool unterstützt Entwickler, ihren Code zu prüfen – sowohl standardkonformen, als auch business-kritischen. Und das auf dem Host genauso wie auf der Zielplattform.
Cantata beschleunigt die Compliance mit den Testanforderungen mittels Automatisierung von:
Cantata integriert sich in unzählige Toolketten für die Entwicklung eingebetteter Systeme, beginnend bei Compilern und statischen Analysetools bis hin zu Build Management und Requirements Engineering Tools. Das ECLIPSE®-GUI, die enge Verzahnung der Tools und die Tatsache, dass Tests in C bzw. C++ geschrieben sind – das alles macht Cantata so einfach in der Anwendung!
ENTDECKEN SIE CANTATA
AutoTest generierte Fälle
Generieren Sie automatisch laufende Cantata-Unittests, um den gesamten C- und C++-Code zu testen.
Es funktioniert mit Ihrer eigenen Umgebung
Durch die enge Integration in Cross-Compiler-Umgebungen und die intuitiven C/C++-Code-Tests in der Eclipse-GUI oder in Code-Editoren lässt sich die Software leicht in jede Toolchain integrieren und ist für Entwickler schnell erlernbar.
Senken Sie Ihre Testkosten
Reduzieren Sie Zeit und Aufwand mit Sicherheitsstandards-konformen und hochautomatisierten Tests.
Zertifiziertes Unit- & Integrationstesttool
Zertifiziert durch die SGS-TÜV SAAR GmbH für den Einsatz auf den höchsten Sicherheitslevels aller wichtigen sicherheitsrelevanten Standards. Die Zertifizierungskits sind kostenlos.
Reduzieren Sie das Risiko von Softwarefehlern
Unittests sind die gründlichste Methode zum Testen von Programmcodes zur Vermeidung von Fehlern.
Erreichen Sie 100% Codeabdeckung
Die Codeanalyse wird durch anpassbare Abdeckungsregelsätze vereinfacht, die die gesamte Code-Instrumentierung, die Datenberichterstattung und die erforderliche Abdeckungsprüfung für alle wichtigen Software-Sicherheitsstandards automatisieren.
WIE CANTATA IN IHREN VERIFIKATIONSPROZESS PASST
Die Tools von QA Systems für die statische Analyse und Softwaretest unterstützen die Verifikation im linearen Fluss der Softwareentwicklung. Wir empfehlen die Anwendung eines sequenziellen Ansatzes für die Verifikationsphasen mit den entsprechend ausgerichteten Tools.
TESTEN > Nutzen Sie Cantata für die automatisierte dynamsiche Ausführung der standardkonformen Software.
> Nutzen Sie Cantata Hybrid, um zertifizierte Cantata Testergebnisse aus bestehenden Google Tests zu generieren.
ANALYSIEREN > Nutzen Sie Astrée für den Nachweis der Abwesenheit von Laufzeitfehlern in der gesamten Anwendung.
NB: Astrée verwendet dasselbe Konfigurationsformat wie QA-MISRA, somit ist der Aufwand für eine spätere Anwendung in einem QA-MISRA Projekt gering.
Spezielle Lizenzpaket-Optionen
QA-MISRA und Cantata teilen dieselbe Lizenztechnologie. Dies ermöglicht es Kunden, eine Bundle-Lösung für beide Tools zu erwerben, sodass die Anwender einen gemeinsamen Lizenzpool nutzen können. Des Weiteren sind beide Tools in die Eclipse-basierte IDE zu integriert.
Wenn QA-MISRA als Bundle mit Cantata erworben wird oder wenn eine bestehende Cantata-Lizenz in ein Bundle umgewandelt werden soll, bieten wir attraktive Paketpreise. Bitte kontaktieren Sie uns für weitere Informationen.
Damit Ihre Software sicherheitskritischen Standards entspricht
Die Anforderungen an die Softwarequalität steigen. Heute genügt es nicht nur, hochwertige Software zu entwickeln. Vor allem, wer Device-Software für sicherheitskritische Bereiche anbieten will, muss nachweisen, dass sie auch ausreichend getestet wurde – in Unit- und Integrationstests. Nur dann wird sie auch zertifiziert.
Mehr noch: viele Standards verlangen, dass auch die Testwerkzeuge zertifiziert/qualifiziert sind oder über lange Zeit erfolgreich in der Praxis im Einsatz waren. Für beides steht die Test-Tool-Familie von QA-Systems. Cantata ist vom SGS-TÜV SAAR zertifiziert und unterstützt seit vielen Jahren Entwickler aus den unterschiedlichsten Bereichen.
Sie möchten, dass auch Ihre Software schnell zertifiziert wird? Dann entscheiden Sie sich für unser Produkt: Denn das Zertifizierungs-Kit von Cantata enthält alles, was ein Entwickler dafür braucht. Das Kit gibt es kostenlos – einschließlich verständlicher Anleitungen.
Bei Standards, wo eine Tool-Zertifizierung nicht zulässig ist, sondern eine für jedes Projekt separate Tool-Qualifizierung erforderlich ist (wie z. B. DO-178B/C), ist ein Qualifizierungs-Kit von Cantata ebenfalls verfügbar.
Bitte kontaktieren Sie uns für weitere Informationen über Tool-Zertifizierungs-/Qualifizierungs-Kits.
ZERTIFIZIERTE / QUALIFIZIERBARE STANDARDS
IEC 61508
Functional Safety of Electrical/ Electronic/ Programmable Electronic Safety-related Systems
EN 50128
Railway applications – Communication, signalling and processing systems
DO-178B/C
Software Considerations in Airborne Systems and Equipment Certification
WEITERE STANDARDS
Automotive – SPICE
ISO/IEC 15504 Information technology — Process assessment
DO-278A
Guidelines for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems Software Integrity Assurance.
ECCS-E-40
Space Engineering: Software
Def Stan 00-55
UK Requirements for Safety Related Software in Defence Equipment
MIL STD 498
US Military-Standard-498 Software Development and Documentation.
NASA 8719.13C
NASA Technical Standard: Software Safety Standard
BESONDERHEITEN
Automatisierte Regressionstests
Automatisierte Regressionstests mit Cantata werden durch den Einsatz von Continuous Integration Tools wie Jenkins® unterstützt.
Cantata Wrapping
Wrapping fängt Aufrufe zu realen Objekten ab. Diese kurze, On-Target Demo zeigt Wrapping im Zusammenspiel mit Hardware-in-the-Loop.
Raus aus der RTRT-Falle!
Der RTRT-Konverter übernimmt automatisch bestehende RTRT PTUs in Cantata. Dabei bleibt die gesamte bestehende Testfunktionalität erhalten.