Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorEndo, André Takeshi-
Autor(es): dc.contributorEndo, André Takeshi-
Autor(es): dc.contributorSouza, Érica Ferreira de-
Autor(es): dc.contributorScannavino, Katia Romero Felizardo-
Autor(es): dc.creatorSilva, Aline Ferreira da-
Data de aceite: dc.date.accessioned2022-02-21T21:43:31Z-
Data de disponibilização: dc.date.available2022-02-21T21:43:31Z-
Data de envio: dc.date.issued2020-11-09-
Data de envio: dc.date.issued2020-11-09-
Data de envio: dc.date.issued2015-
Fonte completa do material: dc.identifierhttp://repositorio.utfpr.edu.br/jspui/handle/1/7112-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/capes/659137-
Descrição: dc.descriptionModel-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.-
Descrição: dc.descriptionTeste 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.-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Publicador: dc.publisherUniversidade Tecnológica Federal do Paraná-
Publicador: dc.publisherCornelio Procopio-
Publicador: dc.publisherBrasil-
Publicador: dc.publisherEngenharia da Computação-
Publicador: dc.publisherUTFPR-
Direitos: dc.rightsopenAccess-
Palavras-chave: dc.subjectSoftware – Testes-
Palavras-chave: dc.subjectFalhas de sistemas de computação-
Palavras-chave: dc.subjectEspecificações-
Palavras-chave: dc.subjectComputer software – Testing-
Palavras-chave: dc.subjectComputer system failures-
Palavras-chave: dc.subjectSpecifications-
Palavras-chave: dc.subjectCNPQ::ENGENHARIAS-
Título: dc.titleUm estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositorio Institucional da UTFPR - RIUT

Não existem arquivos associados a este item.