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
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.
- EINHALTEN > Nutzen Sie QA-MISRA für die schnelle Einhaltung von Programmierstandards direkt bei der Entwicklung.
- TESTEN > Nutzen Sie Cantata für die automatisierte dynamsiche Ausführung der standardkonformen Software.
- 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.