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

Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/22027

Type:	Trabalho de conclusão de graduação
Title:	Contribuição para automação de projeto de testes de sistemas transacionais utilizando resolvedores de restrição
Author(s)/Inventor(s):	Silva, Lucas de Queiroz Silva e
Advisor:	Moreira, Anamaria Martins
Abstract:	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.
Keywords:	Inteligência artificial Teste de software Sistemas transacionais Transactional systems Artificial Intelligence Software testing
Subject CNPq:	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Production unit:	Instituto de Computação
Publisher:	Universidade Federal do Rio de Janeiro
Issue Date:	20-Oct-2023
Publisher country:	Brasil
Language:	por
Right access:	Acesso Aberto
Appears in Collections:	Ciência da Computação

Files in This Item:

File	Description	Size	Format
LQSSilva.pdf		2.59 MB	Adobe PDF	View/Open

Pantheon Institutional repository