Banca de DEFESA: IALLY CRISTINA SILVEIRA DE ALMEIDA

Uma banca de DEFESA DE MESTRADO foi cadastrada pelo programa.

DISCENTE: IALLY CRISTINA SILVEIRA DE ALMEIDA
DATA: 28/08/2020
HORA: 14:00
LOCAL: Videoconferência
TÍTULO:

UMA ANÁLISE COMPARATIVA DE ABORDAGENS PARA A GERAÇÃO DE TESTES ABSTRATOS BASEADA EM
MODELOS DE REDES DE PETRI COLORIDAS

RESUMO:

O teste baseado em modelos (Model-Based Tesing - MBT) baseia-se em modelos do comportamento do sistema para gerar testes abstratos. Testadores reutilizam especificações formais (e.g., modelos de redes de Petri coloridas (Coloured Petri Nets - CPN)) para projetar testes para sistemas críticos de segurança. Neste trabalho, por uma revisão terciária, foi identificado um número considerável de revisões de literatura focadas na análise do uso de linguagens de especificação para realizar MBT. Entretanto, ainda existe uma lacuna de pesquisa em relação à análise de abordagens baseadas em CPN para geração de testes abstratos. Para preencher essa lacuna de pesquisa, neste trabalho, uma análise comparativa de abordagens para geração de testes abstratos com base em modelos CPN foi também realizada, por meio de uma revisão sistemática da literatura e um estudo de caso sobre sistemas médicos: eletrocardiografia e bomba de infusão de insulina. A partir da análise comparativa, são fornecidas informações para os testadores que precisam selecionar a abordagem de geração de testes abstratos mais adequada ao aplicar MBT usando CPN. Com os resultados obtidos, é possível identificar que a escolha depende do tamanho do espaço de estados do modelo CPN.

PALAVRAS-CHAVE:

Testes Baseados em Modelos; Redes de Petri Coloridas; Espaço de Estados.

PÁGINAS: 100
GRANDE ÁREA: Ciências Exatas e da Terra
ÁREA: Ciência da Computação
SUBÁREA: Metodologia e Técnicas da Computação
ESPECIALIDADE: Engenharia de Software

MEMBROS DA BANCA:
Presidente - 1645130 - LEANDRO DIAS DA SILVA
Interno(a) - 057.444.294-41 - ALVARO ALVARES VDE CARVALHO CESAR SOBRINHO - UFRPE
Interno(a) - 039.853.214-18 - LEONARDO MELO DE MEDEIROS - UFCG
Externo(a) à Instituição - ANGELO PERKUSICH - UFCG
Externo(a) à Instituição - Lenardo Chaves e Silva - UFERSA