Uma abordagem para geração automática de casos de testes para apoio à certificação de Sistemas Médicos Físico-Cibernéticos.
Uma abordagem para geração automática de casos de testes para apoio à certificação de Sistemas Médicos Físico-Cibernéticos.
Os Sistemas Médicos Físico-Cibernéticos (SMFC) são sistemas automatizados aplicados no contexto médico que conectam a realidade física com infraestruturas de computação e comunicação. Diferentemente dos sistemas embarcados tradicionais, que são projetados como dispositivos autônomos, os SMFC estão voltados para a conexão de vários dispositivos que funcionam em conjunto, auxiliando os profissionais de saúde na tomada de decisão. No entanto, para que esses sistemas sejam considerados seguros, é necessário um rigoroso processo de Validação e Verificação (V&V) do seu comportamento, pois em caso de falha ou funcionamento inadequado, o maior prejudicado é o paciente. A utilização de Testes Baseados em Modelos é uma alternativa para a certificação desses sistemas em fase de projeto, já que por meio dessa abordagem são testados modelos do próprio SMFC, que não estão em contato direto com o paciente. Portanto, o objetivo geral deste trabalho é desenvolver um mecanismo automático para gerar descrições de casos de teste a partir dos modelos de simulação de cenários clínicos. Considerando a Revisão Sistemática de Literatura realizada percebeu-se que a utilização de uma especificação formal facilita o entendimento dos contextos clínicos e auxilia na certificação de sistemas dessa natureza. Para o desenvolvimento da solução será utilizado um modelo de bomba de infusão de insulina projetado em redes de Petri colorida para gerar descrições de casos de testes. Dessa forma, com a realização desta pesquisa espera-se auxiliar aos desenvolvedores no processo de certificação de SMFC, avaliando e discutindo a qualidade dos modelos que serão usados na fase de projeto desses sistemas.