Grundlagen
100: Nichterfüllung einer festgelegten Forderung ##Was ist ein Fehler?##
200: Sie sind permanente und systematische Fehler, welche durch eine fehlerhafte Umsetzung der Spezifikation der Software entstehen. ##Was sind Softwarefehler (Bugs)?##
300: Sie kann zum vollständigen Systemversagen führen und ist ein Indiz für fehlende Fehlereindämmung (Isolation). ##Was ist Fehlerausbreitung?## 
400: Sie dient der Ermittlung der zu einem beobachtbaren Systemversagens führen Ereignisse. ##Was ist die Fehlerbaumanalyse?## 
500: SER = C x Neutronenfluss x Fläche x e^(−Qcrit/Qcoll) ##Was ist die Fehlerrate für transiente Hardwarefehler?##  
Redundanz
100: Sie bezeichnet den Bereich des Systems/Software welcher durch Redundanz geschützt ist. ##Was ist der Replikationsbereichs##
200: Eine Grundvorraussetzung für Replikation. Hierdurch ist der beobachtbare Zustand der (fehlerfreien) Replikate identisch und diese liefern innerhalb eines Zeitintervalls gleiche Ergebnisse. ##Was ist Replikdeterminismus?##
300: Durch eine räumliche wie zeitliche Abschottung werden Gleichtaktfehler vermieden. ##Was ist Fehlerisolation?##  
400: Durch fehlende Isolation beziehungsweise durch permanente Fehler verursachtes, gleichzeitiges Ausfallen mehrerer Replikate. ##Was sind Gleichtaktfehler?## 
500: Ihr mehrfaches Auslesen führt zu unterschiedlichen Ergebnissen und verletzt damit den Replikdeterminismus. ##Was sind indeterministische Eingänge?##
Codierung
100: Koordinierter Einsatz von Informationsredundanz. ##Was ist Codierung?##
200: Ergibt sich aus dem Verhältnis zwischen gültigen und möglichen Nachrichten/Wörtern und beschreibt die Robustheit einer Codierung. ##Was ist die Restfehlerwahrscheinlichkeit?## 
300: Erweitert die reine Datencodierung um die Erkennung weiterer Fehlerklassen, insbesondere von Berechnungsfehlern. ##Was ist arithmetische Codierung?##
400: Bedient sich der arithmetischen Codierung zu Absicherung der Replikationsinfrastruktur bei softwarebasiertem TMR. ##Was ist CoRed?## 
500: Hierbei sind aufwendige Korrekturoperationen notwendig. Kann direkt und indirekt implementiert werden. ##Was ist Kontrollflussüberwachung mittels ANBD-Codes?##
Fehlerinjektion
100: Verarbeitet Fehler und muss desswegen mittels Fehlerinjektion evaluiert werden. ##Was sind Fehlertoleranzmechanismen?## 
200: Besteht aus einer Menge von einzelnen Experimenten. ##Was ist die Kampagne?##
300: Typischerweise definiert als Einzelbit-Einzelfehler-Annahme. ##Was ist das klassische Fehlermodell?## 
400: Testmethode welche durch direkte oder indirekte Manipulation von elektrischen Signalen umgesetzt werden kann. ##Was ist hardware-basierte Fehlerinjektion?##
500: Eliminiert unnötige Injektionsexperimente und dient der Reduktion der Kampagnendauer. ##Was ist die Reduktion des Fehlerraums (fault-space pruning)?##
Dynamisches Testen
100: Eigenschaft, welche nur implizit durch den Entwickler implementiert werden kann und typischerweise querschneidend ist. ##Was ist eine nicht-funktionale Eigenschaft?##
200: Einfaches Verfahren zur Ermittlung der minimalen Testfallzahl für ein Testobjekt. ##Was ist MacCabe's Cyclomatic Complexity?##
300: Ein Verfahren bei dem keine Kenntnis der internen Struktur des Testobjekts notwendig ist. ##Was sind Black-Box-Tests?##
400: Ein Überdeckungskriterium welches nicht erreichbare Zweige aufdeckt und eine Defekterkennungsrate von ca. 33% erreicht. ##Was ist die Zweigüberdeckung?##
500: Eine gängige Variante ist die MC/DC Form des Überdeckungskriteriums. ##Was ist eine typische Bedingsungsüberdeckung?##
Grundlagen der statischen Programmanalyse
100: Ein, im Entwicklungsprozess ohnehin vorhandenes, Werkzeug, welches statische Analysen und eine grundlegende semantische Prüfungen vornehmen kann. ##Was ist der Compiler?##
200: Die Vollständigkeit einer Analyse in Bezug zu einer bestimmten Spezifikation. Wird bei 100 prozentiger Abdeckung erreicht. ##Wann ist eine Analyse sicher (sound)?##
300: Beschreibt alle möglichen Ausführungspfade eines Programms in Form eines (unendlichen) mathematischen Objekts. ##Was ist die konkrete Programmsemantik?##
400: Beschreibt die Fähigkeit einer Abstraktion Fehlalarme zu vermeiden. ##Was ist die Präzision?##
500: Hilfsmittel zur Abschätzung der Grenzen von iterativen Algorithmen im Rahmen den Intervallabstraktion. ##Was ist der Widening-Operator?##