Statische Codeanalyse mit Psalm

Seit der Version 7 erlaubt PHP deutlich mehr Typsicherheit beim Programmieren. So lassen sich viele Fehler bereits finden, bevor ein Programm überhaupt ausgeführt wird. In dieser Schulung lernen Sie Psalm, ein Werkzeug zur statischen Analyse von PHP-Code kennen. Sie lernen, das Werkzeug richtig einzusetzen und zielgerichtet Anpassungen an Ihrem Programmcode vorzunehmen, um die Fehlerwahrscheinlichkeit deutlich zu verringern.

Wir setzen auf interaktives Live Coding und Diskussion mit den Teilnehmern anstatt Frontalunterricht mit Präsentationsfolien durchzuführen. Die Vermittlung von Wissen wechselt sich mit Vorführungen und dem Einüben anhand von praktischen Beispielen ab.

Lernziele

  • Sie können Psalm für Ihre PHP-Projekte einsetzen
  • Sie verstehen die Ausgabe von Psalm und können diese beurteilen
  • Sie können bisher implizite Annahmen über Ihren Code durch Annotationen explizit machen und durch Psalm automatisiert überprüfen lassen

Zielgruppe

Die Schulung richtet sich an fortgeschrittene PHP-Entwickler, die komplexe Anwendungen erstellen oder warten.

Voraussetzungen

Voraussetzung sind Erfahrungen mit typsicherer objektorientierter Programmierung in PHP 7 oder einer anderen Programmiersprache.

Agenda

09:00–09:15 Begrüßung, Vorstellung und Sammeln der Erwartungen
09:15–10:00 Einführung: Was ist statische Codeanalyse?
10:00–10:45 Vorführung: Psalm installieren und konfigurieren
10:45–11:00 Pause
11:00–11:45 Was sagt mir Psalm über meinen Code?
11:45–12:30 Array-Strukturen dokumentieren und durchsetzen
12:30–13:30 Mittagspause
13:30–14:15 Unveränderliche Objekte
14:15–15:00 Mehr Typsicherheit durch Zusicherungen
15:00–15:15 Pause
15:15–16:00 Templated Types: die nächste Stufe der Typsicherheit
16:00–16:45 Zusammenfassung und Ausblick
16:45–17:00 Fragen und Feedback

Exklusiv und individualisiert?

Wir passen die Inhalte und Schwerpunkte unserer Schulungen gerne an Ihre konkreten Wünsche und Bedürfnisse an.

Mehr Informationen