https://www.embedded-world.de/de/ausstellerprodukte/embwld20/aussteller-46601593/ldra-limited

LDRA ist seit über 40 Jahren Spezialist für Software zur automatischen Codeanalyse und zum Softwaretest für sicherheits-, anwendungs- und geschäftskritische Anwendungen und wirkt aktiv am Marktgeschehen mit. In Zusammenarbeit mit Kunden werden Lösungen entwickelt, mit denen sich Softwarefehler frühzeitig identifizieren und die Einhaltung der zugrunde liegenden Industriestandards nachweisen lassen. Die LDRA-Tools ermöglichen das Tracen von Anforderungen, von der statischen und dynamischen Analyse bis hin zum Unit-Test und der Verifizierung- auf den verschiedensten Software- und Hardware-Plattformen. LDRA mit Hauptfirmensitz in England ist mit Tochtergesellschaften in den USA und Indien sowie einem breitflächigen Distributoren-Netzwerk weltweit vertreten.

Das LDRA Nachweisverwaltungssystem (LCMS) – Die erste vollständige Lösung zum Nachweis Der FAA Zertifizierung für DO-178C, DO-278A und DO-254

LDRA Testbed – Statische und dynamische Codeanalyse

Das Herz der LDRA Werkzeugreihe bildet das LDRA Testbed, welches den Kern der statischen und dynamischen Analysefunktionen für sowohl die hostbasierten als auch die eingebetteten Softwareanwendungen bildet. TBvision ist die interaktive Umgebung für das LDRA Testbed mit der Sie leicht visualisieren können, ob die untersuchte Software Ihren zugrunde gelegten Codierstandards und Qualitätsmetriken genügt und eventuellen Quellcodeschwächen auf die Spur kommen. Mit einer 40jährigen Codeanalyseerfahrung in sicherheits- und wirtschaftskritischen Softwareanwendungen im Rücken, verdient das LDRA Testbed und TBvision Ihr Vertrauen in Ihr Softwareentwicklungsprojekt.

Was qualifiziert das LDRA Testbed als bestes Werkzeug für die statische und dynamische Analyse?

Das LDRA Testbed erzwingt die Einhaltung von Codierstandards und zeigt klar Softwareschwächen auf, die ansonsten während des Entwicklungs- und Testprozesses verborgen geblieben wären und erst zu einem späteren Zeitpunkt sich möglicherweise offenbart hätten. Statische und dynamische Analysewerkzeuge der Konkurrenz basieren zumeist auf kommerzieller „Parsing-”Technologie, so dass diese Werkzeuganbieter den Kerntechnologielieferanten ausgeliefert sind, die sich außerhalb ihrer Kontrolle befinden. LDRAs eigene „Parsing-”Maschine erlaubt das schnelle Einfügen neuer Analysetechniken als schnelle Antwort auf sich ändernde Standardanforderungen. Sie können daher sicher sein, dass Sie stets die neueste und beste Analysetechnologie zur Hand haben.

Mit dem LDRA Testbed als Basis haben Sie die volle Flexibilität die Werkzeuge auf Ihre Bedürfnisse hin zuzuschneiden.Konsultieren Sie bitte die Broschüre Welche Werkzeuge sind für Sie geeignet? Als Hilfe für Ihre Ihren Bedürfnissen zurecht geschnittene Werkzeugreihe. Wir bieten eine vollständige Reihe von Kernkomponenten an mit zusätzlichen optionalen Modulen, zusätzlich hilfreiche Softwarezertifizierungs- und Beratungsdienstleistungen. Daher bezahlen Sie nur für das was Sie wirklich benötigen.

Nachweisbare Erfolgs- und Erfahrungsgeschichte:

Das LDRA Testbed war das erste Werkzeug, welches zur Zertifizierung des Federal Aviation Authority’s FAA DO-178B Standards für luft- und bodengestützte Systeme verwendet wurde.
LDRA war bei mehr als 200 Projekten beteiligt, die zum Ziel hatten die DO-178B Zertifizierung zu erreichen. Die meisten davon mussten sogar dem stringentesten Standard Level A genügen. Kein anderes vergleichbares Produkt kommt dieser Erfahrung und diesem Erfolg nahe.
Das LDRA Testbed ist das einzige Werkzeug welches die Überprüfung der statischen Regeln, der Komplexität und der dynamischen Analyse wie sie MISRA C vorsieht, erlaubt.
Unabhängige Studien zeigen, dass die Verwendung des LDRA Testbeds das Auftreten von Fehlern um bis zu 75% reduziert und die Testeffizienz um bis zu 46% verbessert.

TBmanager – Teamweite Arbeitsflussverwaltungssoftware

TBmanager ist eine aufgabenorientierte Schnittstelle zur LDRA Werkzeugreihe für die vollständige Abseitsflussverwaltung, die in Ihrem Team und den einzelnen LDRA Modulen zu einer gemeinsamen Anwendererfahrung führt. Sie erleichtert die Regressionsfolgen, Testscripts und den Test von Anwendungen, die in mehreren Programmiersprachen entwickelt wurden. Mit TBmanager sind Teams in der Lage individuelle Aktivitäten auszuführen und diese dann an Zielsetzungen und Anforderungen auf höherer Ebene anzubinden.

Mit der TBmanager Arbeitsflussverwaltungssoftware ist es sehr leicht folgendes zu bewerkstelligen:

Definition und Verwaltung von Projekt- und Zertifizierungsstandardzielsetzungen anhand von vorliegenden Anforderungen mittels einer Ziehen- und Fallen-lassen (drag-and-drop) Funktionalität um Beziehungen zwischen Zielsetzungen, Anforderungen, Testartefakten und Projektzielen sichtbar zu machen.
Automatisiertes Zusammenführen von Testartefakten, die mittels Code- und Qualitätsüberprüfung, Programmeinheitstest und Codeüberdeckung erzeugt wurden, und ihre Zuordnung zu den Anwendern und den Tests, bei denen sie produziert wurden.
Zusammenführung von Verweisen auf externe Dokumente um die Evidenz- und Verfolgbarkeitsdokumente zu verwalten und sie als Aktivposten oder Artefakte durch das ganze Projekt hindurch zu verwenden.
Verbesserung der Zusammenarbeit der einzelnen Teammitglieder durch die Zuweisung und der Sichtbarmachung der Arbeitsergebnisse. Erzeugung von Platzhaltern, die vorgeschaltet sind für andere Anwender oder den Projektmanager.
Darstellung von Codeüberprüfungen, Codeüberdeckungen und Codemetrikwerten.
Stellt Querverweiskapazitäten von Anforderungsentwurfsartefakten, die während des gesamten Softwareentwicklungszyklus erzeugt wurden, wenn es zusammen mit TBreq verwendet wird.

TBrun – Automatisierte Erzeugung und Verwaltung von Programmeinheits- und Systemintegrationstests

Die automatisierten Programmeinheitstestfunktionen von TBrun helfen Entwicklern dabei zeitliche Verzögerungen und Kosten zu vermeiden, die entstehen, wenn zu einem späten Zeitpunkt der Softwareentwicklung oder dem Systemintegrationstestzyklus Softwaredefekte und -schwächen entdeckt werden. TBrun verwendet die umfassenden Kontroll- und Datenflussanalysemöglichkeiten des LDRA Testbeds um Einzelheiten über die Programmeinheitsschnittstelle, Parameter- globale Variablenwerte (Eingabe wie Ausgabe), Rückgabewerte, Variablentypen und ihre Verwendung, sowie Prozeduraufrufe, zu dokumentieren. Traditionellerweise sind solche Einzelheiten nur von einem Entwickler mit einem Expertenwissen über das zu testende Programm zu erwarten. Durch die Automatisierung dieses Prozesses werden hochqualifizierte Teammitglieder frei für andere Entwicklungs-, Entwurfs- und Modellierungsaufgaben.

TBrun bietet folgende Vorteile bezüglich Programmeinheits- und Systemintegrationstests:

Automatisch erzeugtes Treiberprogramm/Testrahmen, welches entweder auf der Host- oder Zielumgebung ausgeführt werden kann und dies ohne manuelles Erzeugen von Scripts.
Konfigurierbare Ausnahmebehandlung, die dem Programmeinheitstest unterworfen werden kann, gleichgültig ob Ausnahmen aufgerufen werden oder nicht – so dass eine Überdeckung erreicht werden kann, sogar dann, wenn der Aufruf einer Ausnahme sich als unpraktisch erweist.
Automatisierte Verfolgbarkeit der Programmeinheits- und der Integrationstests bis zurück zu den Softwareanforderungen, wenn das Modul zusammen mit TBreq verwendet wird.
Bestätigung der Codeüberdeckung auf Assemblerniveau verglichen mit dem Quellcode auf Hochsprachenebene, so dass ein vollständiger Nachweis entsprechend der Marktnachfrage bezüglich ISO 26262 und DO-178B/C Ebene A geliefert wird.
Automatisch erzeugte oder von Hand geschriebene Stümpfe (Stubs) Für Funktionen, Methoden, Konstruktoren, Systemaufrufe, Packages, Generecs etc., die genügend vollständig sind damit der Testrahmen aufgebaut und ausgeführt werden kann.
Speicherung und Verwaltung von Testfällen als Sequenzen, die bei Bedarf als Testfalldateien (test case file (TCF)) exportiert werden können und alle notwendigen Informationen zum erneuten Ausführen des TCF enthalten.
Die Möglichkeit TCFs mit Regressionsreports zu gruppieren, sie zur Regressionsverifizierung zu speichern und sie zusammen mit de(r)n Quelldatei(en) mittels eines Softwarekonfigurationsverwaltungssystems (software configuration management (SCM)) oder als Kommentar zu speichern.
Zugriff auf den vollen Bereich von Überdeckungsmetriken, die in der LDRA Werkzeugreihe vorhanden sind, alle graphisch ansehbar mittels Flussgraphen- und Aufrufgraphdarstellungen, sowie der Dateisicht der TBrun Schnittstelle.
Vollständige Analyse komplexer logischer Bedingungen und die Identifizierung von vom Compiler hinzugefügten Code um eine vollständige Assemblercodeüberdeckung sicherzustellen.
eXtreme Testmöglichkeiten, so dass der Programmeinheitstest, der Modultest und die Integrationstestprozesse automatisiert werden – und durch Einschluß der Testrahmen- und der Testvektorproduktion – die fast vollständige Entfernung des Verwaltungswasserkopfes der beim Testen von unten nach oben entsteht.