TBsafe®
Übersicht
Das Testen von Software, die einen hohen Integritätsgrad besitzt erfordert eine noch größere Analyse des Quellcodes und einen noch höheren Überdeckungsgrad um Zertifizierungsgremien nachzuweisen, daß der Code korrekt ist. Dies kann mittels einer zusätzlichen Option des LDRA Testbeds erreicht werden, des LDRA Testbed - TBsafe.
TBsafe offeriert den Entwicklern und Managern von hochintegrativem Code einen Satz von Analysewerkzeugen, welche die extremsten Maßstäbe zur Erfüllung der Softwarequalität zugrunde legt, zum Beispiel D0-178B, Def Stan 00-55 und IEC 61508. TBsafe eignet sich besonders dann, wenn eine Zertifizierung von einem unabhängigen Zertifizierungsgremium benötigt wird.
TBsafe Zusammenfassung
Informationsflußanalyse
Dieses Modul ist ein mächtiges Dokumentationswerkzeug und gleichzeitig ein exzellentes Werkzeug zum Auffinden von Defekten. Um jedoch Defekte entdecken zu können, muß der Anwender über die Abhängigkeiten Bescheid wissen. Zusätzlich können, wenn Wartungsarbeiten Änderungen an diesen Abhängigkeiten erzeugen, unkorrekte Änderungen ausgegeben werden. Für weitergehende Informationen klicken Sie bitte hier.
Exakte Semantische Analyse
Wenn dies zusammen mit der dynamischen Überdeckungsanalyse verwendet wird, dann werden diese Annahmen über eine große Anzahl von Pfaden hinweg überprüft. Sie kann ebenso als System zum Erzeugen von Diagnostikinformationen verwendet werden. Weiter Einzelheiten finden Sie, wenn Sie hier klicken.
MC/DC Überdeckung
Wesentlich für die DO178B Zertifizierung ist, daß diese zusätzliche Überdeckung die Aufdeckung möglicher Fehler fördert und daß deshalb ein größeres Vertrauen in die Zuverlässigkeit des Codes geschaffen wird, wenn diese Bedingungen getestet werden. Weitere Informationen finden Sie, wenn Sie hier klicken.
Sichere Untermenge
Safe Subsets für hochintegrative Anwendungen wurden zu dem Zweck eingeführt, daß die Anwendung einiger Standardeigenschaften von Programmiersprachen gefährlich sein kann, zum Beispiel kann die dynamische Speicherzuweisung auf einem Zielrechner mit fester Speicherzuordnung zum Speicherüberlauf führen. Das LDRA Testbed benutzt eine spezielle Überprüfung um solche Spracheigenschaften dem Anwender anzuzeigen. Weitere Informationen finden Sie wenn Sie hier klicken.
Dynamische Datenflußüberdeckung
Die dynamische Datenflußüberdeckung erzeugt eine Querverweisliste der Variablen, die ihren Typ anzeigt, und wo sie innerhalb der untersuchten Quelldatei(en) oder des untersuchten Systems verwendet wurden. Das Modul bildet dann die Überdeckungsinformationen auf jeden Variableneintrag in der Tabelle der aktuell erreichten und kombinierten Datensatzwerte ab. Weitere Informationen finden Sie, wenn Sie hier klicken.
Wie Sie weitere Informationen erhalten
Weitere Informationen über TBsafe und über die Verfügbarkeit erhalten Sie, wenn Sie das LDRA Antwortformular oder das elektronisch an schicken.