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
J. health inform
;
13(2): 71-75, abr.-jun. 2021. ilus
Artículo
en Inglés
| LILACS
| ID: biblio-1361366
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.
Texto completo:
Disponible
Índice:
LILACS (Américas)
Asunto principal:
Validación de Programas de Computación
/
Cibernética
/
Modelos de Atención de Salud
Tipo de estudio:
Estudio pronóstico
/
Revisiones Sistemáticas Evaluadas
Idioma:
Inglés
Revista:
J. health inform
Asunto de la revista:
Informática Médica
/
Servicios de Salud
/
TECNOLOGIA
Año:
2021
Tipo del documento:
Artículo
País de afiliación:
Brasil
Institución/País de afiliación:
Federal Rural University of Semi-Arid/BR
/
Federal University of the Agreste of Pernambuco/BR
/
University of Rio Grande do Norte/BR
Similares
MEDLINE
...
LILACS
LIS