Atenção: Todas as denúncias são sigilosas e sua identidade será preservada.
Os campos nome e e-mail são de preenchimento opcional
Metadados | Descrição | Idioma |
---|---|---|
Autor(es): dc.contributor | Endo, André Takeshi | - |
Autor(es): dc.contributor | Endo, André Takeshi | - |
Autor(es): dc.contributor | Souza, Érica Ferreira de | - |
Autor(es): dc.contributor | Scannavino, Katia Romero Felizardo | - |
Autor(es): dc.creator | Silva, Aline Ferreira da | - |
Data de aceite: dc.date.accessioned | 2022-02-21T21:43:31Z | - |
Data de disponibilização: dc.date.available | 2022-02-21T21:43:31Z | - |
Data de envio: dc.date.issued | 2020-11-09 | - |
Data de envio: dc.date.issued | 2020-11-09 | - |
Data de envio: dc.date.issued | 2015 | - |
Fonte completa do material: dc.identifier | http://repositorio.utfpr.edu.br/jspui/handle/1/7112 | - |
Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/capes/659137 | - |
Descrição: dc.description | 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. | - |
Descrição: dc.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. | - |
Formato: dc.format | application/pdf | - |
Idioma: dc.language | pt_BR | - |
Publicador: dc.publisher | Universidade Tecnológica Federal do Paraná | - |
Publicador: dc.publisher | Cornelio Procopio | - |
Publicador: dc.publisher | Brasil | - |
Publicador: dc.publisher | Engenharia da Computação | - |
Publicador: dc.publisher | UTFPR | - |
Direitos: dc.rights | openAccess | - |
Palavras-chave: dc.subject | Software – Testes | - |
Palavras-chave: dc.subject | Falhas de sistemas de computação | - |
Palavras-chave: dc.subject | Especificações | - |
Palavras-chave: dc.subject | Computer software – Testing | - |
Palavras-chave: dc.subject | Computer system failures | - |
Palavras-chave: dc.subject | Specifications | - |
Palavras-chave: dc.subject | CNPQ::ENGENHARIAS | - |
Título: dc.title | Um estudo experimental sobre o uso do teste baseado em modelo na detecção de defeitos em requisitos de software | - |
Tipo de arquivo: dc.type | livro digital | - |
Aparece nas coleções: | Repositorio Institucional da UTFPR - RIUT |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: