Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software
Autor(a) principal: | |
---|---|
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_ |
1805923008718569472 |