Unit verification procedure as a test of real time messaging-based processes

TL;DR

This paper explores a novel approach to testing safety-critical medical devices using a combination of tools and model-based test generation, emphasizing less common testing elements and automated analysis for improved safety assurance.

Contribution

It introduces a new integrated testing approach with model-based test generation and automated analysis, tailored for safety-critical medical device verification.

Findings

Initial case study results at a Hungarian medical device manufacturer.

Development of a novel combined tool approach for testing.

Emphasis on less common testing elements in software industry.

Abstract

The article presents the first results of a PhD study connected to testing of safety critical medical devices: a systematically executed case study at a Hungarian manufacturer of medical devices. The article shortly describes the process of testing currently being used. Elements of the testing approach less commonly applied in software industry are emphasized . The ending point of the actual testing process in the case study is the starting point for further research: the automated analysis of the testing results. The author started to develop a new approach, using a combination of tools, and modeling a model-based test generating tool - something that is both novel and intensive as an area of research.