Automatisierte Einhaltung von Programmierstandards
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.
UNTERSTÜTZTE PROGRAMMIERSTANDARDS
ENTDECKEN SIE QA-MISRA
Einhaltung von Programmierstandards
Prüfen Sie Ihren C- oder C++-Code auf die Einhaltung international anerkannter Programmierrichtlinien und -regeln.
Metriken & Visualisierungen
Metriken & Visualisierungen
QA-MISRA bietet Qualitätseinblicke durch Metriken und Visualisierungen, um Ihren Code besser zu verstehen.
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.
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.
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.
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.
> 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 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.
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
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?
