Schutz von Software und IT

Auszug

Softwarefehler lassen sich mit statischen Analysewerkzeugen reduzieren, schreibt GrammaTech in diesem Titelthema. Für die Sicherheit der Insassen stellt die Fahrzeugsoftware nach Angaben des Softwareentwicklers Paul Anderson ein erhebliches Risiko dar, schließlich können Softwarefehler oder Sicherheitslücken tödliche Folgen haben. Darum erfordert die Entwicklung von sicherheitskritischer Fahrzeugsoftware strenge Standards und eine akribische Vorgehensweise, die GrammaTech in seinem Artikel vorschlägt. Bewährte Methoden, einschließlich Prozess- und Codierungsstandards, haben sich bei der Verbesserung der Codequalität als wirksam erwiesen. Wegweisende statische Analysetools helfen bei der automatisierten Umsetzung von Programmierstandards und unterstützen Maßnahmen, die der Einhaltung von Normen dienen. Wichtiger aber ist: Sie spielen eine grundlegende Rolle bei der Auffindung von Fehlern im Code, die bei Tests nicht erkannt wurden, und sie unterstützen die Entwickler beim Verstehen und Beheben von Codeproblemen. Weil große und komplexe Programme aufgrund der überwältigenden Menge an möglichen Ausführungspfaden des Codes nicht umfassend getestet werden können, stellt die statische Analyse die einzige praktikable Möglichkeit dar, um die Software vollständig zu erkunden und zu überprüfen. …