Cookie Warning

This site uses cookies to help improve your experience

Please follow the link to find out more about cookies. Learn more

I understand
 

Optional Tool Suite Modules

Optionale Werkzeugmodule – Zusätzliche Funktionalitäten für auf einzelne Kunden zugeschnittene Testumgebungen

Mit der LDRA Werkzeugreihe und unserem umfassenden Satz zusätzlichen Modulen können Sie Ihre Werkzeugreihe exakt so zuschneiden wie sie Ihr Entwicklungsteam benötigt. Sie müssen nicht für Funktionalitäten bezahlen, die Sie nicht benötigen und Sie können leicht zusätzliche Module, Dienstleistungen und alleinstehende Werkzeuge hinzu buchen, falls sich im Laufe der Projektentwicklung dies ergibt und Sie das benötigen.

Sehen Sie bitte in Which Tools Are Right For You? nach um Ihre Werkzeugreihe auf Ihre spezifischen Bedürfnisse zuzuschneiden.

Das TBmisra-Modul automatisiert den Nachweis, dass der untersuchte Quellcode den MISRA – Regeln sowohl während des Programmeinheitstests als auch während des Integrations- und Systemtests genügt, als während des gesamten Softwareentwicklungslebenszyklus'. Dieses Modul führt Ihr Entwicklungsteam auf dem Weg zu Software höherer Qualität weiter.

TBsecure – Identifizierung von Sicherheitsschwachstellen und Nachweis der CERT C und CWE Standards

Mit dem TBsecure Module können Sie nachweisen, dass Ihre Software dem Carnegie Mellon Software Engineering Institute (SEI) CERT C sicheren Codierstandard und dem Common Weakness Enumeration (CWE) dictionary genügt. TBsecure zeigt Ihnen wie sich Ihr Quellcode gegenüber Sicherheitsschwachstellen, Fehlern und Qualitätsstandards verhält.

TBsafe – Exakter Standardnachweis für Überdeckungsanforderungen hoher Integrität (DO-178B/C, Def Stan 00-55, & IEC 61508)

Das TBsafe Modul enthält einen zusätzlichen Satz von Analysewerkzeugen hoher Integrität um dabei behilflich zu sein den zu untersuchenden Code rigoros auf die Einhaltung von Standards wie DO-178B/C, Def Stan 00-55 und IEC 61508zu überprüfen. TBsafe ist speziell dann vonnöten wenn es gilt eine Zertifizierung von supranationalen Behörden und Vereinigungen zu erhalten.

TBeXtreme – Eliminierung von Zeit und Ressourcen, die mit dem Test von unten nach oben einhergehen

TBeXtreme revolutioniert den Programmeinheitstest durch die Verwendung der Informationen, die vom LDRA Testbed gewonnen wurden, und stellt eine vollständig automatisierte Lösung für die Erzeugung der Testvektoren zur Verfügung.

TBobjectBox – Der einzige Weg um Codeüberdeckungswerte auf der Objektcodeebene zu erlangen

Das TBobjectBox Modul wird für hochintegrierte Anwendungen wie DO178B/C Ebene A verwendet. TbobjectBox stellt Objektcodeverifizierungskapazität (OCV) zur Verfügung und zwar wie für DO-178B/C vorgeschrieben und ist der einzig direkte Weg um eine Beziehung von Überdeckung auf Quellcodeebene mit der Überdeckung auf Objektcodeebene herzustellen. Das Werkzeug bietet die zusätzliche Möglichkeit die Codeüberdeckung auf Assemblerebene auszudehnen wo dies nötig erscheint.

Zielrechnerlizenzpaket (TLP)

Das Zielrechnerlizenzpaket (TLP) bietet die Möglichkeit die Technische Unterstützung für die LDRA Werkzeugreihe in Anspruch zu nehmen, wenn sie zum Zielrechnersoftwaretest verwendet wird. Eine Schlüsselfunktion der LDRA Werkzeugreihe stellt die Unterstützung der größten Bandbreite von Zielplattformen dar, die von 8- und 16-Bit Mikrocontroller bis zu den neuesten verfügbaren 64-Bit Architekturen mit Echtzeitbetriebssystemen reicht. Die Daten vom Zielrechner zu Analysezwecken zu holen ist ist kritisch und LDRA besitzt einige Schlüsseltechnologien, die dies ermöglicht und somit bisher nicht vorhandene Einsichten in die Zielsoftware ermöglicht. Die TLP ermöglicht Ihnen Unterstützung von LDRA zu erlangen, wenn Sie die Konfiguration der LDRA Werkzeugreihe mit einer spezifizierten eingebetteten Werkzeugkette durchführen.

Werkzeugqualifizierungsunterstützungspaket (TQSP) – Qualifizierung Ihrer Werkzeuge für DO -178B/C

Die Werkzeugqualifizierung wird immer wichtiger – oder erforderlich – in den sicherheitskritischen Marktsegmenten, speziell in den Bereichen Avionik und anderer Industriebereiche, die die Erfordernisse, die DO-178B/C verlangt, teilweise oder ganz übernommen haben. Um diese Standards zu erfüllen ist die Qualifizierung eines Verifizierungs- (Test-) -werkzeugs erforderlich sollen die Testprozesse durch ein Softwarewerkzeug gänzlich eliminiert, reduziert oder automatisiert ohne dass seine Ausgaben wie von DO-178B/C spezifiziert verifiziert werden. Das LDRA Tool Qualification Support Pack (TQSP) unterstützt Ihren Prozess der Qualifizierung der LDRA Werkzeugreihe zur Verwendung als Verifizierungswerkzeug in Ihrer Projektumgebung. LDRA bietet Werkzeugqualifizierungsunterstützungspakete sowohl für sein Programmierstandardüberprüfungswerkzeug als auch für sein Werkzeug zur strukturierten Überdeckungsanalyse an.