Use este identificador para citar ou linkar para este item: http://hdl.handle.net/11422/22027
Tipo: Trabalho de conclusão de graduação
Título: Contribuição para automação de projeto de testes de sistemas transacionais utilizando resolvedores de restrição
Autor(es)/Inventor(es): Silva, Lucas de Queiroz Silva e
Orientador: Moreira, Anamaria Martins
Resumo: Sistemas transacionais bancários normalmente possuem uma alta criticidade e precisam ser fortemente testados. A motivação do presente projeto é aumentar a eficiência do processo de teste de software para tais sistemas, criando uma ferramenta que utiliza resolvedores de restrição para converter automaticamente casos de teste abstratos em casos de teste concretos e propondo um processo de teste que contempla tal ferramenta. Como resultado, foi verificado que a ferramenta foi capaz de converter corretamente os casos de teste abstratos em concretos, permitiu que fossem modelados testes em diferentes níveis e houve ganho de eficiência na modelagem dos casos de teste.
Palavras-chave: Inteligência artificial
Teste de software
Sistemas transacionais
Transactional systems
Artificial Intelligence
Software testing
Assunto CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Unidade produtora: Instituto de Computação
Editora: Universidade Federal do Rio de Janeiro
Data de publicação: 20-Out-2023
País de publicação: Brasil
Idioma da publicação: por
Tipo de acesso: Acesso Aberto
Aparece nas coleções:Ciência da Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
LQSSilva.pdf2.59 MBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.