Use este identificador para citar ou linkar para este item: http://repositorio.utfpr.edu.br/jspui/handle/1/7112
Registro completo de metadados
Campo DCValorIdioma
dc.creatorSilva, Aline Ferreira da
dc.date.accessioned2020-11-10T17:41:15Z-
dc.date.available2020-11-10T17:41:15Z-
dc.date.issued2015
dc.identifier.citationSILVA, Aline Ferreira da. Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software. 2015. Trabalho de Conclusão de Curso (Graduação em Engenharia da Computação) - Universidade Tecnológica Federal do Paraná, Cornélio Procópio, 2015.pt_BR
dc.identifier.urihttp://repositorio.utfpr.edu.br/jspui/handle/1/7112-
dc.description.abstractModel-Based Testing is a technique that allows to automate test cases for a particular software following the requirements of a test model. Therefore, this work presents an experiment with software engineering students to verify whether Model-Based Testing can support the requirement inspection during test model design. This experiment has the objective of verifying the faults detection in the requirements document during the modeling stage, using the Event Sequence Graphs technique to design the test model. We found that it is possible to find faults in the requirements document, especially typing, omission and inconsistency faults.pt_BR
dc.languageporpt_BR
dc.publisherUniversidade Tecnológica Federal do Paranápt_BR
dc.rightsopenAccesspt_BR
dc.subjectSoftware – Testespt_BR
dc.subjectFalhas de sistemas de computaçãopt_BR
dc.subjectEspecificaçõespt_BR
dc.subjectComputer software – Testingpt_BR
dc.subjectComputer system failurespt_BR
dc.subjectSpecificationspt_BR
dc.titleUm estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de softwarept_BR
dc.typebachelorThesispt_BR
dc.description.resumoTeste Baseado em Modelo é uma técnica que permite automatizar casos de teste para um determinado software seguindo as exigências de um modelo de teste. Portanto este trabalho apresenta uma experiência com estudantes da área de engenharia de software para verificar se o Teste Baseado em Modelo (TBM) pode auxiliar na inspeção de requisitos durante o projeto do modelo de teste. Este experimento possui o objetivo de verificar se há a detecção de defeitos no documento de requisitos, durante a etapa de modelagem do TBM, utilizando a técnica Event Sequence Graphs para elaborar o modelo de teste. Foi verificado que é possível encontrar defeitos no documento de requisitos, principalmente os defeitos de digitação, omissão e inconsistência.pt_BR
dc.degree.localCornélio Procópiopt_BR
dc.publisher.localCornelio Procopiopt_BR
dc.contributor.advisor1Endo, André Takeshi
dc.contributor.referee1Endo, André Takeshi
dc.contributor.referee2Souza, Érica Ferreira de
dc.contributor.referee3Scannavino, Katia Romero Felizardo
dc.publisher.countryBrasilpt_BR
dc.publisher.programEngenharia da Computaçãopt_BR
dc.publisher.initialsUTFPRpt_BR
dc.subject.cnpqCNPQ::ENGENHARIASpt_BR
Aparece nas coleções:CP - Engenharia da Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
CP_COENC_2015_2_01.pdf1,61 MBAdobe PDFThumbnail
Visualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.