Abstract
Software verification is essential for ensuring the correctness, safety, and reliability of medical device software. Therefore, the ASVF is developed with the aim of verifying the software of medical devices and their components by automated tests. For this purpose, the system uses the Python framework behave, an implementation of the agile Behavior Driven Development (BDD) methodology. With a set of special keywords such as Given, When and Then, the business-specific language of this framework allows to write verification tests in a clear, human-readable format that everyone involved in the project can understand.Because the device under test (DUT) has different interfaces for communication with other hardware and enables user input via touch interactions, the ASVF comprises multiple components: a Host PC for test management, a robot that replicates user input, a programmable power strip for power supply control, and a CAN interface card enabling tests involving the CANopen network.
Derived from the specified software requirements of the DUT, several test steps containing the Gherkin keywords were implemented in the behave framework. They can be assembled to various verification tests, while their execution triggers certain interactions with the DUT or verifies expected results. Due to the regular expressions used within the step functions, they can be applied in several scenarios with different parameters.
As a result, the implemented steps enable automated verification tests with the aim of increasing efficiency and test coverage while reducing human errors.
Date of Award | 2024 |
---|---|
Original language | English |
Supervisor | Robert Merwa (Supervisor) |