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

Detalhes bibliográficos
Autor(a) principal: Silva, Aline Ferreira da
Data de Publicação: 2015
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
Texto Completo: http://repositorio.utfpr.edu.br/jspui/handle/1/7112
Resumo: Teste 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.
id UTFPR-12_bbdaf0c0d933d183a37bf70a584cd4c0
oai_identifier_str oai:repositorio.utfpr.edu.br:1/7112
network_acronym_str UTFPR-12
network_name_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
repository_id_str
spelling 2020-11-10T17:41:15Z2020-11-10T17:41:15Z2015SILVA, 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.http://repositorio.utfpr.edu.br/jspui/handle/1/7112Teste 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.Model-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.porUniversidade Tecnológica Federal do ParanáCornelio ProcopioEngenharia da ComputaçãoUTFPRBrasilCNPQ::ENGENHARIASSoftware – TestesFalhas de sistemas de computaçãoEspecificaçõesComputer software – TestingComputer system failuresSpecificationsUm estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de softwareinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisCornélio ProcópioEndo, André TakeshiEndo, André TakeshiSouza, Érica Ferreira deScannavino, Katia Romero FelizardoSilva, Aline Ferreira dainfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPRORIGINALCP_COENC_2015_2_01.pdfapplication/pdf1648736http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/7112/1/CP_COENC_2015_2_01.pdf99605618d0147b576f0153394e1a3eceMD51LICENSElicense.txttext/plain1290http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/7112/2/license.txtb9d82215ab23456fa2d8b49c5df1b95bMD52TEXTCP_COENC_2015_2_01.pdf.txtExtracted texttext/plain77462http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/7112/3/CP_COENC_2015_2_01.pdf.txt8a38565a01d5b34e219d38ed68aab6b1MD53THUMBNAILCP_COENC_2015_2_01.pdf.jpgGenerated Thumbnailimage/jpeg1317http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/7112/4/CP_COENC_2015_2_01.pdf.jpg95e0924031781fac29d1cb9d49166682MD541/71122020-11-10 15:41:15.269oai:repositorio.utfpr.edu.br:1/7112TmEgcXVhbGlkYWRlIGRlIHRpdHVsYXIgZG9zIGRpcmVpdG9zIGRlIGF1dG9yIGRhIHB1YmxpY2HDp8OjbywgYXV0b3Jpem8gYSBVVEZQUiBhIHZlaWN1bGFyLCAKYXRyYXbDqXMgZG8gUG9ydGFsIGRlIEluZm9ybWHDp8OjbyBlbSBBY2Vzc28gQWJlcnRvIChQSUFBKSBlIGRvcyBDYXTDoWxvZ29zIGRhcyBCaWJsaW90ZWNhcyAKZGVzdGEgSW5zdGl0dWnDp8Ojbywgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBkZSBhY29yZG8gY29tIGEgTGVpIG5vIDkuNjEwLzk4LCAKbyB0ZXh0byBkZXN0YSBvYnJhLCBvYnNlcnZhbmRvIGFzIGNvbmRpw6fDtWVzIGRlIGRpc3BvbmliaWxpemHDp8OjbyByZWdpc3RyYWRhcyBubyBpdGVtIDQgZG8gCuKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgVHJhYmFsaG9zIGRlIENvbmNsdXPDo28gZGUgQ3Vyc28gZGUgR3JhZHVhw6fDo28gZSAKRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgZGUgSW5mb3JtYcOnw6NvIGUgbm9zIENhdMOhbG9nb3MgRWxldHLDtG5pY29zIGRvIApTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdLCBwYXJhIGZpbnMgZGUgbGVpdHVyYSwgaW1wcmVzc8OjbyBlL291IGRvd25sb2FkLCB2aXNhbmRvIGEgCmRpdnVsZ2HDp8OjbyBkYSBwcm9kdcOnw6NvIGNpZW50w61maWNhIGJyYXNpbGVpcmEuCgogIEFzIHZpYXMgb3JpZ2luYWlzIGUgYXNzaW5hZGFzIHBlbG8ocykgYXV0b3IoZXMpIGRvIOKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgClRyYWJhbGhvcyBkZSBDb25jbHVzw6NvIGRlIEN1cnNvIGRlIEdyYWR1YcOnw6NvIGUgRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgCmRlIEluZm9ybWHDp8OjbyBlIG5vcyBDYXTDoWxvZ29zIEVsZXRyw7RuaWNvcyBkbyBTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdIGUgZGEg4oCcRGVjbGFyYcOnw6NvIApkZSBBdXRvcmlh4oCdIGVuY29udHJhbS1zZSBhcnF1aXZhZGFzIG5hIEJpYmxpb3RlY2EgZG8gQ8OibXB1cyBubyBxdWFsIG8gdHJhYmFsaG8gZm9pIGRlZmVuZGlkby4gCk5vIGNhc28gZGUgcHVibGljYcOnw7VlcyBkZSBhdXRvcmlhIGNvbGV0aXZhIGUgbXVsdGljw6JtcHVzLCBvcyBkb2N1bWVudG9zIGZpY2Fyw6NvIHNvYiBndWFyZGEgZGEgCkJpYmxpb3RlY2EgY29tIGEgcXVhbCBvIOKAnHByaW1laXJvIGF1dG9y4oCdIHBvc3N1YSB2w61uY3Vsby4KRepositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2020-11-10T17:41:15Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)false
dc.title.pt_BR.fl_str_mv Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software
title Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software
spellingShingle Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software
Silva, Aline Ferreira da
CNPQ::ENGENHARIAS
Software – Testes
Falhas de sistemas de computação
Especificações
Computer software – Testing
Computer system failures
Specifications
title_short Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software
title_full Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software
title_fullStr Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software
title_full_unstemmed Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software
title_sort Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software
author Silva, Aline Ferreira da
author_facet Silva, Aline Ferreira da
author_role author
dc.contributor.advisor1.fl_str_mv Endo, André Takeshi
dc.contributor.referee1.fl_str_mv Endo, André Takeshi
dc.contributor.referee2.fl_str_mv Souza, Érica Ferreira de
dc.contributor.referee3.fl_str_mv Scannavino, Katia Romero Felizardo
dc.contributor.author.fl_str_mv Silva, Aline Ferreira da
contributor_str_mv Endo, André Takeshi
Endo, André Takeshi
Souza, Érica Ferreira de
Scannavino, Katia Romero Felizardo
dc.subject.cnpq.fl_str_mv CNPQ::ENGENHARIAS
topic CNPQ::ENGENHARIAS
Software – Testes
Falhas de sistemas de computação
Especificações
Computer software – Testing
Computer system failures
Specifications
dc.subject.por.fl_str_mv Software – Testes
Falhas de sistemas de computação
Especificações
Computer software – Testing
Computer system failures
Specifications
description Teste 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.
publishDate 2015
dc.date.issued.fl_str_mv 2015
dc.date.accessioned.fl_str_mv 2020-11-10T17:41:15Z
dc.date.available.fl_str_mv 2020-11-10T17:41:15Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv SILVA, 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.
dc.identifier.uri.fl_str_mv http://repositorio.utfpr.edu.br/jspui/handle/1/7112
identifier_str_mv SILVA, 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.
url http://repositorio.utfpr.edu.br/jspui/handle/1/7112
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 Tecnológica Federal do Paraná
Cornelio Procopio
dc.publisher.program.fl_str_mv Engenharia da Computação
dc.publisher.initials.fl_str_mv UTFPR
dc.publisher.country.fl_str_mv Brasil
publisher.none.fl_str_mv Universidade Tecnológica Federal do Paraná
Cornelio Procopio
dc.source.none.fl_str_mv reponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
instname:Universidade Tecnológica Federal do Paraná (UTFPR)
instacron:UTFPR
instname_str Universidade Tecnológica Federal do Paraná (UTFPR)
instacron_str UTFPR
institution UTFPR
reponame_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
collection Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
bitstream.url.fl_str_mv http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/7112/1/CP_COENC_2015_2_01.pdf
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/7112/2/license.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/7112/3/CP_COENC_2015_2_01.pdf.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/7112/4/CP_COENC_2015_2_01.pdf.jpg
bitstream.checksum.fl_str_mv 99605618d0147b576f0153394e1a3ece
b9d82215ab23456fa2d8b49c5df1b95b
8a38565a01d5b34e219d38ed68aab6b1
95e0924031781fac29d1cb9d49166682
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)
repository.mail.fl_str_mv
_version_ 1797043935553519616