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 negative‘ und keinen ‚false positive‘ Ergebnissen bei syntaktischen Programmierregeln.
  • Verbesserung der Source-Code-Qualität
    HIS und andere Metriken zur Codequalität mit Schwellenwertprüfungen. ‚Call graphs‘ und C++-Klassendiagramme visualisieren die Qualität.

UNTERSTÜTZTE PROGRAMMIERSTANDARDS

  • MISRA C 2012
    C coding guidelines, including Amendments 1 & 2
  • MISRA C++ 2008
    C++ Coding Guidelines
  • AUTOSAR C++14
    C++ for Adaptive Autosar
  • HIS Metrics
    Hersteller Initiative Software
  • JSF AV C++
    C++ coding standard for JSF (F-35 aircraft program)
  • CERT C/C++ 2016
    C/C++ Coding Guidelines
  • CWE 4.7
    Common Weakness Enumeration
  • ISO TS 17961:2013
    C Secure Coding Rules

ENTDECKEN SIE QA-MISRA

Einhaltung von Programmierstandards

Einhaltung von Programmierstandards
Prüfen Sie Ihren C- oder C++-Code auf die Einhaltung international anerkannter Programmierrichtlinien und -regeln.

Mehr erfahren

Metriken & Visualisierungen

Metriken & Visualisierungen
QA-MISRA bietet Qualitätseinblicke durch Metriken und Visualisierungen, um Ihren Code besser zu verstehen.

Mehr erfahren

Was bringt Ihr Investment in QA-MISRA?

Was bringt Ihr Investment in QA-MISRA?
Führende Unternehmen nutzen QA-MISRA um die Analysezeit sowie die Einhaltung von Standards zu beschleunigen und das Vertrauen zu erhöhen, indem sie Fehler in den syntaktischen Programmierregeln reduzieren und die Qualität des Quellcodes verbessern.

Mehr erfahren

WIE QA-MISRA 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.

Flow process QA-MISRA
  • 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 und QA-MISRA verwenden dasselbe Konfigurationsformat, somit ist der Aufwand für eine spätere Anwendung in einem ASTRÉE-Projekt,
    und umgekehrt, gering.

Spezielle Lizenzpaket-Optionen

QA-MISRA und Cantata teilen die selbe Sentinel RMS Lizenztechnologie. Dies ermöglicht es Kunden, eine Bundle-Lösung für beide Tools zu erwerben, sodass die User einen gemeinsamen Lizenzpool nutzen können. Des Weiteren sind beide Tools in die Eclipse-basierte IDE integrierbar.

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 die Einhaltung von Programmierstandards nachweisen. Nur dann wird sie auch zertifiziert.

Mehr noch: viele Standards verlangen, dass auch die Verifikationstools zertifiziert sind oder über lange Zeit erfolgreich in der Praxis im Einsatz waren. Für beides steht die Tool-Familie von QA-Systems. QA-MISRA ist vom SGS-TÜV SAAR zertifiziert und unterstützt 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 kostenfreie QA-MISRA Zertifizierungs-Kit enthält alles, was Sie benötigen, um Ihre Software einfacher zu zertifizieren.

Ein ‚Qualification Support Kit‘ (QSK) für die automatische Toolqualifizierung von QA-MISRA ist ebenfalls verfügbar.

QA MISRA 22.04 SGS TUV Certificate

ZERTIFIZIERTE / QUALIFIZIERBARE STANDARDS

Für weitere Informationen klicken Sie bitte auf die nachfolgenden Links:

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

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

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