Implementation of an Automated Software Verification System for Medical Devices

Abstract

Die Verifizierung von Software ist entscheidend für die Korrektheit, Sicherheit und Zuverlässigkeit von Medizinprodukten. Das Automated Software Verification Framework (ASVF) wurde entwickelt, um die Software medizinischer Geräte durch automatisierte Tests zu verifizieren. Dafür nutzt es das Python-Framework behave, welches das Erstellen von Tests in verständlicher Form mit den Schlüsselwörtern Given, When und Then ermöglicht. Da das zu prüfende Gerät über verschiedene Schnittstellen zur Kommunikation mit anderer Hardware verfügt und Benutzereingaben auf einem User Interface (UI) ermöglicht, umfasst das ASVF mehrere Komponenten: einen Host-PC für die Testverwaltung, einen Roboter zur Simulation von Benutzereingaben, eine programmierbare Steckdosenleiste zur Steuerung der Stromversorgung und eine Control Area Network (CAN)-Schnittstellenkarte für das CANopen-Netzwerk. Abgeleitet von den spezifizierten Anforderungen an die Software wurden verschiedene Testschritte im behave Framework implementiert, die zu verschiedenen Verifikationstests kombiniert werden können. Aufgrund der in den Schrittfunktionen verwendeten regulären Ausdrücke können sie in verschiedenen Test-Szenarien mit unterschiedlichen Parametern angewendet werden. Dadurch ermöglichen die implementierten Schritte automatisierte Verifikationstests mit dem Ziel, die Effizienz und Testabdeckung zu erhöhen und gleichzeitig menschliche Fehler zu reduzieren.

Datum der Bewilligung	2024
Originalsprache	Englisch
Betreuer/-in	Robert Merwa (Betreuer*in)