Aufbau sicherer und zuverlässiger Systeme

Kapitel 13. Code prüfen

Diese Arbeit wurde mithilfe von KI übersetzt. Wir freuen uns über dein Feedback und deine Kommentare: [e-mail]

Von Phil Ames und Franjo Ivančić

mit Vera Haas und Jen Barnason

Ein zuverlässiges System ist ausfallsicher und erfüllt seine dokumentierten Service Level Ziele, die auch Sicherheitsgarantien beinhalten können. Robuste Software-Tests und -Analysen sind nützliche Hilfsmittel, um Ausfallrisiken zu mindern, und sollten während der Projektumsetzung einen besonderen Schwerpunkt bilden.

In diesem Kapitel besprechen wir verschiedene Testansätze, darunter Unit- und Integrationstests. Außerdem behandeln wir zusätzliche Sicherheitsthemen wie statische und dynamische Programmanalyse und Fuzz-Tests, die dazu beitragen können, die Widerstandsfähigkeit deiner Software gegenüber den Eingaben, denen sie ausgesetzt ist, zu stärken.

Egal wie sorgfältig die Ingenieure sind, die deine Software entwickeln, einige Fehler und übersehene Kanten sind unvermeidlich. Unerwartete Eingabekombinationen können Datenverfälschungen auslösen oder zu Verfügbarkeitsproblemen führen, wie das Beispiel der "Query of Death" in Kapitel 22 des SRE-Buches. Codierungsfehler können Sicherheitsprobleme wie Pufferüberläufe und Cross-Site-Scripting-Schwachstellen verursachen. Kurz gesagt: Es gibt viele Möglichkeiten, wie Software in der realen Welt scheitern kann.

Die in diesem Kapitel besprochenen Techniken, die in verschiedenen Phasen und Kontexten der Softwareentwicklung ...