<link rel="stylesheet" href="styles.f3b1fba60ec7970c.css">
ATENÇÃO: O depósito de novas publicações está temporariamente suspenso.

Contribuição para automação de projeto de testes de sistemas transacionais utilizando resolvedores de restrição

Página do item simplificado
dc.contributor.advisorMoreira, Anamaria Martins
dc.contributor.referee1Campos, Maria Luiza Machado
dc.contributor.referee2Gualandi, Hugo Musso
dc.creatorSilva, Lucas de Queiroz Silva e
dc.date.accessioned2023-11-09T16:51:19Z
dc.date.available2026-05-16T03:02:40Z
dc.date.issued2023-10-20
dc.description.resumoSistemas 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.pt_BR
dc.embargo.termsabertopt_BR
dc.identifier.urihttp://hdl.handle.net/11422/22027
dc.languageporpt_BR
dc.publisherUniversidade Federal do Rio de Janeiropt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentInstituto de Computaçãopt_BR
dc.publisher.initialsUFRJpt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectInteligência artificialpt_BR
dc.subjectTeste de softwarept_BR
dc.subjectSistemas transacionaispt_BR
dc.subjectTransactional systemspt_BR
dc.subjectArtificial Intelligencept_BR
dc.subjectSoftware testingpt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpt_BR
dc.titleContribuição para automação de projeto de testes de sistemas transacionais utilizando resolvedores de restriçãopt_BR
dc.typeTrabalho de conclusão de graduaçãopt_BR

Arquivos

Pacote original

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
LQSSilva.pdf
Tamanho:
2,53 MB
Formato:
Adobe Portable Document Format
Baixar

Pacote de licença

Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
license.txt
Tamanho:
1,81 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Baixar

Coleções

Ciência da Computação