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 | Tamanho | Formato | |
---|---|---|---|---|
LQSSilva.pdf | 2.59 MB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.