Leonardo verbessert die Softwarequalität mit einer modernen statischen Analyselösung erheblich

Die Herausforderung

Leonardo, das sich der Optimierung interner Prozesse verschrieben hat, beschloss, Fehler frühzeitig im Softwareentwicklungszyklus (SDLC) zu erkennen und zu beheben. Dafür nutzte das Unternehmen die Entwicklungs- und Testplattform von Parasoft für C-, C++- und Java-Anwendungen. Bereits seit zwanzig Jahren setzte Leonardo das Speicherfehlererkennungstool Insure++ von Parasoft ein.

Daniele De Nicola, Supervisor für Produktsoftwareverifizierung und -validierung bei Leonardo, erklärt, dass sie sich aufgrund der „genauen Analyse und der einfachen Bedienbarkeit“ für die statische Analyse von Parasoft entschieden haben. Besonders beeindruckt waren sie davon, wie die Ablaufanalyse sie auf kritische Laufzeitfehler hinwies, ohne dass sie den Code tatsächlich ausführen mussten.

Die Vorgehensweise

Leonardo wandte sich an die Entwicklungstestplattform von Parasoft für C-, C++- und Java-Anwendungen und reduzierte damit effektiv den Zeitaufwand für spätere Tests. Mit dieser Lösung haben sie Ressourcen freigesetzt, um kritische Geschäftsanforderungen schneller zu erfüllen und Projekte zeit- und budgetgerecht abzuschließen.

Während des Proof-of-Concept wurden Parasoft-Produkte nacheinander schnell in die Projekte der Organisation integriert. Die Produkte zeigten sofort ihren Wert und erhöhten die Stabilität der Softwarekomponenten von Leonardo.

Die Ergebnisse

Parasoft wird seit vielen Jahren vollständig in Leonardo eingesetzt. Tatsächlich wurde ihre Softwarequalität so beeindruckend, dass sich ihre Unterlieferanten und Partner fragten, wie sie das machten. Nachdem Leonardos Mitarbeiter das Geheimnis ihrer beeindruckenden Qualitätsleistungen kennengelernt hatten, begannen sie, Parasoft-Produkte auch in ihren eigenen Unternehmen einzusetzen.

Im Laufe der Jahre hat das Leonardo-Management Effizienzsteigerungen in Bezug auf Entwicklungskosten, Zeit und Ressourcen festgestellt. Für die Zukunft plant die Abteilung, ihren gesamten Softwareentwicklungsprozess noch weiter zu optimieren, um sicherzustellen, dass Qualitätssoftware so konsistent und effizient wie möglich geliefert wird.

Durch die Zusammenarbeit mit Parasoft hat Leonardo die Codestabilität, Wiederverwendung und Wartbarkeit erheblich verbessert. Außerdem haben sie ihren Verifizierungsprozess um ein neues Maß an Automatisierung und Transparenz erweitert.

„Ein einziger Tag Unterstützung war alles, was wir brauchten, um loszulegen. Von da an war unser Leben nie mehr dasselbe! Es gab eine Revolution in unserer Entwicklung, die es uns ermöglichte, wertvolle Zeit zu gewinnen, um uns anderswo zu konzentrieren.“

—Daniele De Nicola, Supervisor für Produkt-Software-Verifizierung und -Validierung bei Leonardo