Requirements Engineering

Welche Anforderungen muss eine Applikation erfüllen? Welche neuen Anforderungen entstehen während des Entwicklungsprozesses? Und: Sind die definierten Anforderungen auch in der fertigen Software tatsächlich umgesetzt? Requirements Engineering mit IRQA hilft Ihnen, Anforderungen zu definieren, zu verfolgen, zu pflegen und schließlich im Endprodukt deren Umsetzung zu prüfen.

 IRQA

Statisches Testen

QA-C und QA-C++ sind statische Software-Analyse Werkzeuge, die Programmierer bei der Fehlersuche im Code unterstützen. Softwarefehler können schnell erkannt und behoben werden. Lässt sich die Software portieren, ist sie einfach zu warten, kann sie getestet werden, wie hoch ist der Grad der Fehlerfreiheit? Mit den Werkzeugen lassen sich diese Qualitätsmerkmale qualitativ beurteilen.

 QA-C

 QA-C++

 QA-MISRA

Dynamisches Testen (Unit-, Integration- und System-Testing)

Müssen Testanforderungen aus den folgenden Normen/Standards erfüllt werden: ISO 26262, DO-178B, ED-12B, IEC61508, FDA/IEC62304 und CENELEC?
Wie wird Ihre Applikation momentan getestet? Manuell? Wie viele Test-Codezeilen pro Sourcecode-Zeile werden hierzu benötigt?
Die VectorCAST Produktfamilie automatisiert die Testaktivitäten Ihrer C/C++ Applikationen. Die darin enthaltenen Werkzeuge erfüllen Ihre Testanforderungen hinsichtlich System-, Integration- und Unit-Testing.

 VectorCAST