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
Article
em En
| LILACS
| ID: biblio-1361366
Biblioteca responsável:
BR1.2
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.Palavras-chave
Texto completo:
1
Coleções:
01-internacional
Base de dados:
LILACS
Assunto principal:
Validação de Programas de Computador
/
Cibernética
/
Modelos de Assistência à Saúde
Tipo de estudo:
Prognostic_studies
/
Systematic_reviews
Idioma:
En
Revista:
J. health inform
Assunto da revista:
INFORMATICA MEDICA
/
SERVICOS DE SAUDE
/
TECNOLOGIA
Ano de publicação:
2021
Tipo de documento:
Article
País de afiliação:
Brasil
País de publicação:
Brasil