Quellen: Fehlerfreie Medizinsoftware
Von der Vision zur Wirklichkeit
Aktuelle Sicherheitsnormen fordern den Nachweis, dass die funktionalen Anforderungen erfüllt und nicht-funktionale Softwarefehler ausgeschlossen sind. Hierzu zählen Stacküberläufe, Laufzeitfehler sowie Compiler-Fehler. Deren Abwesenheit kann durch…