Test Case Generation to Medical Cyber-Physical Systems: A Scoping Review / Geração de Casos de Teste para Sistemas Médicos Físico-Cibernéticos: Uma Revisão de Escopo / Generación de Casos de Prueba para Sistemas Médicos Físico-Cibernéticos: Una Revisión de Alcance

ABSTRACT

Objective: This article presents a Scoping Review (ScR) identify the approaches to automatically generate test cases from Cyber-Physical Systems (CPS) models, more specifically, Medical Cyber-Physical Systems (MCPS) models. Method: ScR was performed by identifying indexed articles in five electronic databases using a specific search string and selection criteria, defined in a review protocol. Results: When protocol was executed, 467 studies were returned, from which 12 were summarized. Several formal and semi-formal notations used in CPS modeling were identified, as well as tools for generating test cases for such systems. Furthermore, we present an overview of the state-of-the-art regarding automatic test case generation for such systems models. Conclusion: Based on the results, we conclude there is a research gap with regard to tools for the fully automatic test case generation in MCPS.

RESUMO

Objetivo: Este artigo apresenta uma Revisão de Escopo (RE) para identificar as abordagens para gerar automaticamente casos de testes a partir de modelos de Sistemas Físico-Cibernéticos (SFC), mais especificamente, Sistemas Médicos Físico-Cibernéticos (SMFC). Método: A RE foi realizada pela identificação de trabalhos indexados em cinco bases eletrônicas de dados usando termos de busca e critérios de inclusão, definidos em um protocolo de revisão. Resultados: Ao executar o protocolo foram retornados 467 estudos, dos quais sumarizaram-se 12. Foram identificadas várias notações formais e semi-formais usadas na modelagem de SFC, bem como ferramentas para gerar casos de teste para esses sistemas. Além disso, foi apresentada uma visão geral do estado da arte em relação à geração automática de casos de teste para esses modelos de sistemas. Conclusão: Com base nos resultados obtidos, conclui-se que ainda há uma lacuna de pesquisa no que diz respeito às ferramentas para a geração totalmente automática de casos de teste para SMFC.

RESUMEN

Objectivo: En este artículo se presenta una Revisión de Alcance (RA) para identificar los enfoques para generar automáticamente casos de prueba a partir de modelos de Sistemas Físico-Cibernéticos (SFC), más específicamente, Sistemas Médicos Físico-Cibernéticos (SMFC). Método: La RA se realizó mediante la identificación de artículos indexados en cinco bases de datos electrónicas utilizando términos de búsqueda y criterios de selección, definidos en un protocolo de revisión. Resultados: Al ejecutar el protocolo se devolvieron 467 estudios, de los cuales se resumieron 12. Se han identificado varias notaciones formales y semiformales utilizadas en el modelado de SFC y SMFC, así como herramientas para generar casos de prueba para estos sistemas. Además, se presentó una descripción general del estado del arte en relación a la generación automática de casos de prueba para estos modelos de sistema. Conclusión: Con base a los resultados obtenidos, se concluye que hay una brecha de investigación con respecto a las herramientas para la generación de casos de prueba totalmente automática en MCPS.