ASTQ Summit ist auf Anfrage verfügbar! Hören Sie, wie Branchenführer berichten, wie sie kontinuierliche Qualität liefern. Jetzt ansehen >>

X
ISO 26262

ISO 26262-Konformität mit Parasoft

Was ist ISO 26262?

ISO 26262 „Straßenfahrzeuge - funktionale Sicherheit“ ist eine funktionale Sicherheitsnorm, die elektrische und elektronische Fahrzeugsysteme und deren Entwicklungsprozess abdeckt, einschließlich Anforderungsspezifikation, Design, Implementierung, Integration, Verifizierung, Validierung und Konfiguration. Die Norm enthält Leitlinien zu Aktivitäten im Bereich des Sicherheitslebenszyklus von Kraftfahrzeugen, indem Anforderungen auf Software- und Hardwareebene festgelegt werden.

Durchsetzung der ISO 26262-Konformität mit der Quellcode-Analyse und Unit-Tests

Parasoft-Benutzer können nutzen Parasoft C / C ++ test Reduzierung der Kosten für die Erreichung der ISO 26262-Konformität durch Automatisierung mehrerer vom Standard geforderter Testmethoden. Teil 6 des Standards befasst sich speziell mit der Produktentwicklung auf Softwareebene, und Parasoft-Benutzer können Zeit und Mühe sparen, wenn sie diesen Teil des Standards einhalten.

ISO 26262-Konformitätsanforderungen

Verstehen Sie, wie Sie Ihr ASIL-Risiko einhalten können

Für die Systementwicklung auf Softwareebene müssen Benutzer eine Sammlung von Softwaretesttechniken bereitstellen. Welche spezifischen Testmethoden erforderlich sind, hängt von der ASIL-Klassifizierung des Systems ab. Beispielsweise müssen Benutzer, die Systeme entwickeln, die als ASIL A klassifiziert sind, nur eine Anweisungsabdeckung nachweisen, um ein ausreichendes Maß an Softwaretests nachzuweisen, während Benutzer, die ASIL D-Systeme entwickeln, mehr Arbeit investieren müssen, um eine angemessene MC / DC-Abdeckung sicherzustellen.

Implementieren Sie statische Analysen und Unit-Tests

Um ISO 26262 zu erfüllen, müssen Unternehmen mehrere Prozesse und Anforderungen implementieren. Techniken wie statische Analyse und Komponententests, die Softwareentwicklungsaktivitäten automatisieren, können Unternehmen dabei unterstützen, die Anforderungen von ISO 26262 zu erfüllen. Die Qualifizierung von Softwaretools zeigt, dass das Tool für die Entwicklung eines sicherheitsrelevanten Elements oder Elements geeignet ist.

Stellen Sie sicher, dass Ihr Tool für die Verwendung qualifiziert ist

Der Parasoft C / C ++ - Test ist vom TÜV SÜD als geeignet für die Entwicklung sicherheitskritischer Systeme zertifiziert. Unsere TÜV-Zertifizierung umfasst die C / C ++ - Testqualifikation für alle ASIL-Stufen. Zur Unterstützung anderer Industriestandards verfügt Parasoft über ein Qualifizierungskit, das einen wesentlichen Teil des Werkzeugqualifizierungsprozesses automatisiert, den manuellen Arbeitsaufwand reduziert und diese Ablenkung von Softwareteams beseitigt.

Wie Parasoft zur Erreichung der ISO 26262-Konformität beiträgt

Parasoft-Benutzer können nutzen Parasoft C / C ++ test Reduzierung der Kosten für die Einhaltung der ISO 26262-Richtlinien durch Automatisierung mehrerer vom Standard geforderter Testmethoden, um Zeit und Mühe zu sparen. Automatisch generierte Berichte und Dashboards bieten Teams eine praktische Möglichkeit, Fehler in der Software zu verhindern, aufzudecken und zu korrigieren und die für die Audits erforderliche Dokumentation vorzubereiten.

Parasoft unterstützt Unternehmen bei der Durchführung statischer Analysen, Komponententests, der Abdeckung von Strukturcodes, der Rückverfolgbarkeit von Anforderungen und anderer vom Standard empfohlener Testmethoden.

Der Parasoft C / C ++ - Test erleichtert und automatisiert die in ISO 26262 festgelegten Softwaretestmethoden, von denen Teil 6 der Produktentwicklung auf Softwareebene gewidmet ist. Die Anforderungen für die folgenden Entwicklungsaktivitäten sind festgelegt:

  • Initialisierung der Produktentwicklung
  • Spezifikation der Sicherheitsanforderungen für Software
  • Software-Architekturdesign
  • Gerätedesign und Implementierung
  • Unit-Test
  • Software-Integration und -Tests
  • Überprüfung der Sicherheitsanforderungen für Software

Die in den folgenden Abschnitten aufgeführten Tabellen stimmen mit den wichtigsten Softwaretestmethoden von ISO 26262 mit dem Parasoft C / C ++ - Test überein. (Die Tabellen sollen ein Beispiel für die Parasoft-Funktionalität darstellen und sind keineswegs vollständig.)

Dieser Abschnitt von ISO 26262 (Teil 6) definiert allgemeine Informationen zum Prozess der Softwareentwicklung und -validierung. Siehe Einzelheiten in der folgenden Tabelle.

5.4.6 Voraussetzungen für die Richtigkeit des Software-Designs und der Implementierung. Die hier beschriebenen Methoden gelten sowohl für Modellierungs- als auch für Programmiersprachen.

Anforderung Parasoft C / C ++ - Testfunktion
Durchsetzung geringer Komplexität Meldet zyklomatische Komplexität, wesentliche Komplexität, Halstead-Komplexität und andere Codemetriken
Verwendung der Sprachuntermenge Durchsetzung von Codierungsstandards, z. B. Erkennung unsicherer Sprachkonstruktionen
Durchsetzung einer starken Eingabe Durchsetzung von Codierungsstandards, Erkennung impliziter Conversions
Einsatz defensiver Implementierungstechniken Erzwingt eine defensive Programmierung anhand geeigneter Regeln für Codierungsstandards, z. B. Überprüfung des Rückgabewerts von malloc, Überprüfung des von aufgerufenen Funktionen zurückgegebenen Fehlercodewerts usw.
Verwendung etablierter Gestaltungsprinzipien Durchsetzung von Regelsätzen für Branchencodierungsstandards, z. B. MISRA C / C ++, JSF, HIS-Quellcodemetriken usw.
Verwendung einer eindeutigen grafischen Darstellung Durchsetzung spezifischer Formatierungskonventionen
Verwendung von Styleguides Durchsetzung spezifischer Kodierungskonventionen
Verwendung von Namenskonventionen Durchsetzung spezifischer Namenskonventionen

In diesem Abschnitt wird der Prozess zum Spezifizieren und Implementieren von Softwareeinheiten sowie zum Überprüfen des Entwurfs und der Implementierung definiert.

8.4.5 Gibt die Überprüfungsmethoden zur Überprüfung des Entwurfs und der Implementierung von Softwareeinheiten an.

Anforderung Parasoft C / C ++ - Testfunktion
Kontrollflussanalyse Kontrollflussanalyse
Datenflussanalyse Datenflussanalyse
Statische Code-Analyse Durchsetzung von Codierungsstandards

In diesem Abschnitt wird der Prozess zum Planen, Definieren und Ausführen von Software-Unit-Tests definiert.

9.4.1 Beschreibt allgemeine Informationen zur Ausführung von Komponententests

Anforderung Parasoft C / C ++ - Testfunktion
Unit-Test-Ausführung
  • Unit-Test-Ausführungsmodul
  • Berichtsmodul zur Darstellung der Ergebnisse
Unit-Test-Spezifikation
  • Das konfigurierbare Modul zur Generierung von Komponententests erstellt Tests gemäß der definierten Spezifikation
  • Das Modul Testfall-Explorer zeigt eine Liste aller definierten Testfälle mit Bestanden / Nicht Bestanden-Status an

9.4.2 Beschreibt Methoden zum Spezifizieren und Ausführen von Komponententests

Anforderung Parasoft C / C ++ - Testfunktion
Anforderungsbasierte Tests
  • Benutzer können Unit-Testfälle mit Parasoft C / C ++ - Test gemäß den Anforderungen entwerfen
  • Unit-Testfälle können mit der Anforderungs-ID zugeordnet werden
  • Das Parasoft C / C ++ - Testberichterstellungsframework lässt sich in Anforderungsmanagementsysteme integrieren und generiert Berichte, in denen die Testergebnisse im Kontext spezifischer Anforderungen dargestellt werden
Unit-Test-Spezifikation
  • Ordnet Testfälle mit Anforderungen und / oder Fehlern in Verbindung mit dem Konzert zu
  • Unterstützt benutzerdefinierte Testfälle, die manuell erstellt wurden, und Tests, die mit dem Testfall-Editor erstellt wurden
Schnittstellentests
  • Unit-Testfälle können erstellt werden
  • Verwendet Funktionsstubs und Datenquellen, um das Verhalten externer Komponenten für die automatische Ausführung von Komponententests zu emulieren
Fehlerinjektionstests
  • Erzwingen von Fehlerzuständen mithilfe von Funktionsstubs
  • Automatische Erzeugung von Komponententests unter Verwendung verschiedener Voraussetzungen (z. B. min, max, heuristische Werte)

9.4.3 Definiert Methoden, die zum Erstellen von Testfällen verwendet werden sollen

Anforderung Parasoft C / C ++ - Testfunktion
Statement-Berichterstattung Codeabdeckungsmodul
Filialabdeckung Codeabdeckungsmodul
MC / DC (modifizierte Bedingung / Entscheidungsabdeckung) Codeabdeckungsmodul

9.4.5 Definiert die Anforderungen für die Testumgebung.

Anforderung Parasoft C / C ++ - Testfunktion
Die Testumgebung für Unit-Tests muss so weit wie möglich der Zielumgebung entsprechen Unit-Test-Ausführung sowohl auf dem Zielgerät als auch auf dem Simulator zur Durchführung von Tests in verschiedenen Umgebungen (z. B. Software-in-the-Loop, Prozessor-in-the-Loop, Hardware-in-the-Loop)

10.4.2 Beschreibt allgemeine Informationen zum Ausführen von Software-Integrationstests.

Anforderung Parasoft C / C ++ - Testfunktion
Integrationstests Flexible Konfiguration des getesteten Softwarebereichs (von der einzelnen Funktion bis zur gesamten Anwendung)

10.4.5 Definiert Methoden zum Nachweis der Vollständigkeit von Integrationstests.

Anforderung Parasoft C / C ++ - Testfunktion
Funktionsabdeckung Codeabdeckungsmodul
Funktionsaufrufabdeckung Codeabdeckungsmodul

10.4.7 Definiert Anforderungen für die Integrationstestumgebung.

Anforderung Parasoft C / C ++ - Testfunktion
Die Testumgebung für Software-Integrationstests muss so weit wie möglich der Zielumgebung entsprechen
  • Integrationstests können sowohl auf dem Zielgerät als auch auf dem Simulator ausgeführt werden, um Tests in verschiedenen Umgebungen durchzuführen (z. B. Software-in-the-Loop, Prozessor-in-the-Loop, Hardware-in-the-Loop).
  • Flexibles Stummelgerüst
WHITEPAPER

ISO 26262 Software-Konformität

Die Entwicklung einer ISO 26262-kompatiblen Software für E / E-Systeme in Automobilen ist keine leichte Aufgabe, aber Parasoft entlastet das Unternehmen, indem es eine breite Palette von Analysetools anbietet und es Ihnen ermöglicht, die Einhaltung Ihrer Entwicklungsrichtlinien automatisch zu überwachen - und so die Lücke zwischen Entwicklungsaktivitäten und Entwicklungsaktivitäten zu schließen Geschäftsabläufe. Laden Sie diese Ressource herunter, um eine vollständige Liste der Zuordnungen zu erhalten.

Herunterladen