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

Silva, Lucas de Queiroz Silva e

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

Full metadata record

DC Field	Value	Language
dc.contributor.advisor	Moreira, Anamaria Martins	-
dc.contributor.author	Silva, Lucas de Queiroz Silva e	-
dc.date.accessioned	2023-11-09T16:51:19Z	-
dc.date.available	2023-12-21T03:02:00Z	-
dc.date.issued	2023-10-20	-
dc.identifier.uri	http://hdl.handle.net/11422/22027	-
dc.language	por	pt_BR
dc.publisher	Universidade Federal do Rio de Janeiro	pt_BR
dc.rights	Acesso Aberto	pt_BR
dc.subject	Inteligência artificial	pt_BR
dc.subject	Teste de software	pt_BR
dc.subject	Sistemas transacionais	pt_BR
dc.subject	Transactional systems	pt_BR
dc.subject	Artificial Intelligence	pt_BR
dc.subject	Software testing	pt_BR
dc.title	Contribuição para automação de projeto de testes de sistemas transacionais utilizando resolvedores de restrição	pt_BR
dc.type	Trabalho de conclusão de graduação	pt_BR
dc.contributor.referee1	Campos, Maria Luiza Machado	-
dc.contributor.referee2	Gualandi, Hugo Musso	-
dc.description.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.	pt_BR
dc.publisher.country	Brasil	pt_BR
dc.publisher.department	Instituto de Computação	pt_BR
dc.publisher.initials	UFRJ	pt_BR
dc.subject.cnpq	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO	pt_BR
dc.embargo.terms	aberto	pt_BR
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

Show simple item record Recommend this item View Statistics

Pantheon Institutional repository