Software-Prüfung nach DIN EN 61508
Statische Tests automatisieren
Um die Norm DIN EN 61508 zu erfüllen, muss der Quellcode mit statischen Methoden verifiziert werden – beispielsweise um zu prüfen, ob die geforderten Programmierrichtlinien eingehalten werden. Was ist bei der automatisierten Prüfung zu beachten?