2012
EMSS 2012 Proceeding
Automated verification of cardiovascular models with continuous integration tools
Authors: Martin Bachler, Bernhard Hametner, Christopher Mayer, Johannes Kropf, Matthias Gira, Siegfried Wassertheurer
Abstract
Models in general, but especially in medicine, need extensive testing and verification to ensure that they do not contain errors and produce correct results. Traditionally, this happens after completing the development. In this work an approach to automated and continuous testing, verification and documentation based on a continuous integration tool is presented. This practice has several advantages in comparison to the traditional way of verification. As the model is verified after every single change that is made to it, one benefit is the earlier and more precise tracing of errors. Another advantage is the aggregation of code generation, software building, testing, verifying and documentation in one tool to ensure maximum automation and to reduce expenditure of time. Furthermore, due to the integration of central versioning systems, it makes working in development teams easier. In this work, the development processes of two cardiovascular models are incorporated into a continuous integration system.
I3M Scientific Sponsors
I3M Industrial Sponsors
I3M Media Sponsors
