Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.

Detalhes bibliográficos
Ano de defesa: 2017
Autor(a) principal: JORGE, Dalton Nicodemos. lattes
Orientador(a): ANDRADE, Wilkerson de Lucena. lattes, MACHADO, Patricia Duarte de Lima. lattes
Banca de defesa: MASSONI, Tiago Lima., IYODA, Juliano Manabu.
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
Palavras-chave em Português:
Teste Baseado em Modelos
Engenharia de Requisitos
Geração Automática
Test Based on Models
Requirements Engineering
Automatic Generation
Área do conhecimento CNPq:
Ciência da Computação
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/2273
Resumo: A construção de casos de testes da forma tradicional tem sido, em grande medida, um processo lento e dispendioso em termos financeiros. Nesse sentido, a geração automática de testes baseados em modelos surge como uma alternativa promissora para solucionar tais percalços. A especificação de requisitos do sistema é uma atividade proveniente da engenharia de requisitos que tem como saída diagramas ou documentos detalhados como os casos de uso. Em especial, o documento de caso de uso pode servir como forte candidato para um modelo central no processo de geração automática de testes. Entretanto, o modelo escolhido deve prover informações suficientes para permitir a geração automática de testes e ao mesmo tempo ser sucinto o bastante para não gerar custos e esforços adicionais à engenharia de requisitos. A solução proposta nesta pesquisa tem como objetivo integrar a geração automática de testes baseado em modelos com a engenharia de requisitos, através da proposta de uma notação em linguagem de domínio específico com o apoio de ferramentas visando a geração automática tanto de meta-modelos para auxiliar a criação de casos de testes quanto de documentos formatados de caso de uso.
id UFCG_e9a8e75b792be359b4b393d70ed88e2b
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/2273
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling ANDRADE, Wilkerson de Lucena.ANDRADE, W. L.http://lattes.cnpq.br/3697205933296303MACHADO, Patricia Duarte de Lima.MACHADO, P. D. L.http://lattes.cnpq.br/2495918356675019MASSONI, Tiago Lima.IYODA, Juliano Manabu.http://lattes.cnpq.br/2682324004823239JORGE, Dalton Nicodemos.A construção de casos de testes da forma tradicional tem sido, em grande medida, um processo lento e dispendioso em termos financeiros. Nesse sentido, a geração automática de testes baseados em modelos surge como uma alternativa promissora para solucionar tais percalços. A especificação de requisitos do sistema é uma atividade proveniente da engenharia de requisitos que tem como saída diagramas ou documentos detalhados como os casos de uso. Em especial, o documento de caso de uso pode servir como forte candidato para um modelo central no processo de geração automática de testes. Entretanto, o modelo escolhido deve prover informações suficientes para permitir a geração automática de testes e ao mesmo tempo ser sucinto o bastante para não gerar custos e esforços adicionais à engenharia de requisitos. A solução proposta nesta pesquisa tem como objetivo integrar a geração automática de testes baseado em modelos com a engenharia de requisitos, através da proposta de uma notação em linguagem de domínio específico com o apoio de ferramentas visando a geração automática tanto de meta-modelos para auxiliar a criação de casos de testes quanto de documentos formatados de caso de uso.The construction of test cases in the traditional way has been, to a large extent, a slow and costly process in financial terms. In this sense, the automatic generation of model-based tests emerges as a viable alternative to solve such mishaps. The system requirements specification is an activity from the requirements engineering whose output diagrams, or detailed documents as the use cases. In particular, the use case document can serve as a strong candidate for a central model in the process of automatic generation of tests. However, the chosen model should provide sufficient information to allow the automatic generation of testing and at the same time be succinct enough not to generate additional cost and effort to requirements engineering. The solution proposed in this research aims to integrate the automatic generation of model-based testing with requirements engineering, through the proposal of a domain-specific language notation with the support of tools aimed at the automatic generation of both meta-templates to assist the creation of test cases as formatted documents of use case.Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2018-11-23T12:14:38Z No. of bitstreams: 1 DALTON NICODEMOS JORGE - DISSERTAÇÃO (PPGCC) 2017.pdf: 2767342 bytes, checksum: 0003f5c1df76e289c721f0c4a2d3ad41 (MD5)Made available in DSpace on 2018-11-23T12:14:38Z (GMT). No. of bitstreams: 1 DALTON NICODEMOS JORGE - DISSERTAÇÃO (PPGCC) 2017.pdf: 2767342 bytes, checksum: 0003f5c1df76e289c721f0c4a2d3ad41 (MD5) Previous issue date: 2017-07-17Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEICiência da ComputaçãoTeste Baseado em ModelosEngenharia de RequisitosGeração AutomáticaTest Based on ModelsRequirements EngineeringAutomatic GenerationClaret: um artefato central para engenharia de requisitos e teste baseado em modelos.2017-07-172018-11-23T12:14:38Z2018-11-232018-11-23T12:14:38Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/2273JORGE, D. N. Claret: um artefato central para engenharia de requisitos e teste baseado em modelos. 2017. 73 f. Dissertação (Mestrado em Ciência da Computação) – Programa de Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2017. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/2273info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTDALTON NICODEMOS JORGE - DISSERTAÇÃO (PPGCC) 2017.pdf.txtDALTON NICODEMOS JORGE - DISSERTAÇÃO (PPGCC) 2017.pdf.txttext/plain162404https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2273/4/DALTON+NICODEMOS+JORGE+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2017.pdf.txt566a6dfdf5f10d30429cc673153f4ad5MD54ORIGINALDALTON NICODEMOS JORGE - DISSERTAÇÃO (PPGCC) 2017.pdfDALTON NICODEMOS JORGE - DISSERTAÇÃO (PPGCC) 2017.pdfapplication/pdf2533251https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2273/3/DALTON+NICODEMOS+JORGE+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2017.pdf0d0b7a260f376bd017ce55cb8daf0791MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2273/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/22732025-07-24 03:39:07.374oai:dspace.sti.ufcg.edu.br:riufcg/2273Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512025-07-24T06:39:07Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.
title Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.
spellingShingle Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.
JORGE, Dalton Nicodemos.
Ciência da Computação
Teste Baseado em Modelos
Engenharia de Requisitos
Geração Automática
Test Based on Models
Requirements Engineering
Automatic Generation
title_short Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.
title_full Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.
title_fullStr Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.
title_full_unstemmed Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.
title_sort Claret: um artefato central para engenharia de requisitos e teste baseado em modelos.
author JORGE, Dalton Nicodemos.
author_facet JORGE, Dalton Nicodemos.
author_role author
dc.contributor.advisor2ID.pt_BR.fl_str_mv MACHADO, P. D. L.
dc.contributor.advisor1.fl_str_mv ANDRADE, Wilkerson de Lucena.
dc.contributor.advisor1ID.fl_str_mv ANDRADE, W. L.
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/3697205933296303
dc.contributor.advisor2.fl_str_mv MACHADO, Patricia Duarte de Lima.
dc.contributor.advisor2Lattes.fl_str_mv http://lattes.cnpq.br/2495918356675019
dc.contributor.referee1.fl_str_mv MASSONI, Tiago Lima.
dc.contributor.referee2.fl_str_mv IYODA, Juliano Manabu.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/2682324004823239
dc.contributor.author.fl_str_mv JORGE, Dalton Nicodemos.
contributor_str_mv ANDRADE, Wilkerson de Lucena.
MACHADO, Patricia Duarte de Lima.
MASSONI, Tiago Lima.
IYODA, Juliano Manabu.
dc.subject.cnpq.fl_str_mv Ciência da Computação
topic Ciência da Computação
Teste Baseado em Modelos
Engenharia de Requisitos
Geração Automática
Test Based on Models
Requirements Engineering
Automatic Generation
dc.subject.por.fl_str_mv Teste Baseado em Modelos
Engenharia de Requisitos
Geração Automática
Test Based on Models
Requirements Engineering
Automatic Generation
description A construção de casos de testes da forma tradicional tem sido, em grande medida, um processo lento e dispendioso em termos financeiros. Nesse sentido, a geração automática de testes baseados em modelos surge como uma alternativa promissora para solucionar tais percalços. A especificação de requisitos do sistema é uma atividade proveniente da engenharia de requisitos que tem como saída diagramas ou documentos detalhados como os casos de uso. Em especial, o documento de caso de uso pode servir como forte candidato para um modelo central no processo de geração automática de testes. Entretanto, o modelo escolhido deve prover informações suficientes para permitir a geração automática de testes e ao mesmo tempo ser sucinto o bastante para não gerar custos e esforços adicionais à engenharia de requisitos. A solução proposta nesta pesquisa tem como objetivo integrar a geração automática de testes baseado em modelos com a engenharia de requisitos, através da proposta de uma notação em linguagem de domínio específico com o apoio de ferramentas visando a geração automática tanto de meta-modelos para auxiliar a criação de casos de testes quanto de documentos formatados de caso de uso.
publishDate 2017
dc.date.issued.fl_str_mv 2017-07-17
dc.date.accessioned.fl_str_mv 2018-11-23T12:14:38Z
dc.date.available.fl_str_mv 2018-11-23
2018-11-23T12:14:38Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://dspace.sti.ufcg.edu.br/handle/riufcg/2273
dc.identifier.citation.fl_str_mv JORGE, D. N. Claret: um artefato central para engenharia de requisitos e teste baseado em modelos. 2017. 73 f. Dissertação (Mestrado em Ciência da Computação) – Programa de Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2017. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/2273
url https://dspace.sti.ufcg.edu.br/handle/riufcg/2273
identifier_str_mv JORGE, D. N. Claret: um artefato central para engenharia de requisitos e teste baseado em modelos. 2017. 73 f. Dissertação (Mestrado em Ciência da Computação) – Programa de Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2017. Disponível em: https://dspace.sti.ufcg.edu.br/handle/riufcg/2273
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
bitstream.url.fl_str_mv https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2273/4/DALTON+NICODEMOS+JORGE+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2017.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2273/3/DALTON+NICODEMOS+JORGE+-+DISSERTA%C3%87%C3%83O+%28PPGCC%29+2017.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/2273/2/license.txt
bitstream.checksum.fl_str_mv 566a6dfdf5f10d30429cc673153f4ad5
0d0b7a260f376bd017ce55cb8daf0791
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1863363399969144832

Registros relacionados