QA-MISRA New

Automatisierte Einhaltung von Programmierstandards

QA-MISRA New

Automatisierte Einhaltung von Programmierstandards

Einhaltung von Programmierstandards und Qualitätssicherung für C/C++ Code

Je früher Softwarefehler im Entwicklungsprozess erkannt und eliminiert werden, desto kostengünstiger ist es für Sie; und am günstigsten ist es, wenn Fehler gar nicht erst entstehen. 900 potenzielle Source Code Probleme erkennt QA-MISRA bereits heute. Die statische Analyse mit QA-MISRA findet gefährliche Strukturen und zeigt frühzeitig Probleme bei Sicherheit, Wartbarkeit und Portabilität. Hier senken Sie zukünftige Kosten.

  • Schnelle Analyse von C/C++ Code
    QA-MISRA analysiert Softwarepakete sehr schnell, unabhängig von der Größe der Codebasis. QA-MISRA konzentriert sich auch auf die Einhaltung von Programmierstandards und Qualitätseinblicke. Das macht den Analyzer sehr schnell in der Ausführung.
  • Genaue Einhaltung von Standards
    QA-MISRA prüft den Code auf Konformität mit keinen ‚false negatives‘ und keinen ‚false positives‘ Ergebnissen bei syntaktischen Programmierregeln, und nur wenigen ‚false positives‘ bei semantischen Regeln.
  • Verbesserung der Source-Code-Qualität
    HIS und andere Metriken zur Codequalität mit Schwellenwertprüfungen. Funktionsbaum und C++-Klassendiagramme visualisieren die Qualität.

ENTDECKEN SIE QA-MISRA

Static Analysis Hero Image - Static analyzers continuously detect and report on dataflow problems, software defects, language implementation errors, inconsistencies, dangerous usage, coding standard violations, and security vulnerabilities

Statische Analyse mit QA-MISRA

Statische Analyse mit QA-MISRA
Kürzere Entwicklungszeiten, bessere Ergebnisse: Wie sicher und verlässlich ist Ihr Code? Mit QA-MISRA finden Sie die Antworten. Und zwar schnell. Das reduziert Ihre Entwicklungszeiten.

Mehr erfahren

Standard Compliance mit QA-MISRA

Standard Compliance mit QA-MISRA
Prüfen Sie Ihren C- oder C++-Code auf die Einhaltung von MISRA-Regeln, AUTOSAR-Regeln, CERT-Empfehlungen und anderen Kodierungsrichtlinien.

Mehr erfahren

Integrated test framework - Automated C/C++ test script production test executable building, running on target and detailed diagnostic on host, for unit and integration testing

Continuous Integration

Continuous Integration
Entwickler und Teams können ihren jeweiligen Code kontinuierlich teilen, einbringen und auch wirklich integrieren.

Mehr erfahren

Works in your environment - A best in class tool integrated with an extensive set of embedded development toolchains - circuit board

Überblick QA-MISRA

Überblick QA-MISRA
QA-MISRA’s Vorteile & Features und technische Spezifikationen

Mehr erfahren

Cost against efficiency, speed and quality coordinate system - why invest in AdaTEST 95 - how AdaTEST 95 will improve a company with lower costs - high efficiency - high speed - high quality - low costs

Was bringt Ihr Investment in QA-MISRA? 

Was bringt Ihr Investment in QA-MISRA? Vier gute Gründe, weshalb führende Unternehmen unsere Tools einsetzen:

  • Sie sind mit ihren Produkten schneller am Markt
  • Ihre Teams arbeiten effektiver zusammen
  • Sie schaffen es, Geschwindigkeit in der Entwicklung mit hoher Qualität zu verbinden
  • Sie können bestehenden Code einfach wiederverwenden

Mehr erfahren

Entspricht Ihre Software sicherheitskritischen Standards?

Die Anforderungen an die Softwarequalität steigen. Heute genügt es nicht nur, hochwertige Software zu entwickeln. Vor allem, wer sicherheitskritische Software auch für verschiedene Bereiche anbieten will, muss nachweisen, dass sie auch ausreichend getestet wurde. Nur dann ist eine Zertifizierung möglich.

Sie möchten, dass auch Ihre Software schnell zertifiziert wird? Dann entscheiden Sie sich für unser Tool: Denn die Zertifizierungs-Kits von QA-MISRA enthalten alles, was ein Entwickler dafür braucht inklusive umfassenden Anleitungen!

UNTERSTÜTZTE CODING STANDARDS

(für weitere Informationen klicken Sie bitte auf die nachfolgenden Links):

MISRA C/C++

Guidelines for the use of the C/C++ languages in critical systems

CWE

Secure Coding Standard

JSF AV C++

Joint Strike Fighter Air Vehicle C++ Coding Standard

AUTOSAR

Guidelines for the C++ language in safety-critical systems.

HIS Metrics

Hersteller Initiative Software consortium quality metrics for C/C++ languages

CERT

Secure Coding Standard

ISO/IEC TS 17961:2013

C Secure Coding Rules

SICHERHEITSKRITISCHE STANDARDS

Durch die Verwendung des ‚Qualification Support Kits‘ kann QA-MISRA automatisch für alle üblichen Sicherheitsstandards qualifiziert werden:

ISO 26262

Road vehicles – Functional safety

EN 50128 / EN 50657

Railway applications – Communication, signalling and processing systems

IEC 62304

Medical device software – software life cycle processes

IEC 61508

Functional Safety of Electrical/ Electronic/ Programmable Electronic Safety-related Systems

DO-178B/C

Software Considerations in Airborne Systems and Equipment Certification

Wieso ist QA Systems Ihr optimaler Partner?

  • Seit über 25 Jahren sind wir ein zuverlässiger Anbieter von Testwerkzeugen
  • Hunderte von Kunden – speziell aus dem sicherheits- und geschäftskritischen Bereich – vertrauen auf uns
  • Unsere Produkte werden ständig verbessert – auch im Dialog mit unseren Kunden
  • Wir sind DIE Spezialisten für zuverlässige automatisierte funktionale Sicherheit
  • Unsere Teams für den technischen Support kennen sich aus
  • Wir beraten umfassend und schulen gezielt für den Einsatz unserer Tools