Um estudo compartivo entre abordagens de modelos e requisitos testáveis
| dc.audience.educationlevel | Mestrado | |
| dc.contributor.advisor | Martins, Luiz Eduardo Galvao [UNIFESP] | |
| dc.contributor.author | Santos, Jemison Dos [UNIFESP] | |
| dc.contributor.institution | Universidade Federal de São Paulo (UNIFESP) | pt |
| dc.date.accessioned | 2021-01-19T16:32:24Z | |
| dc.date.available | 2021-01-19T16:32:24Z | |
| dc.date.issued | 2019-03-28 | |
| dc.description.abstract | The model-based test is a process that allows the requirements engineer to generate behavioral and structural models from the software requirements specification. The models are commonly used for the generation of test cases ensuring the traceability of requirements in a bidirectional sense and running tests on complete and accurate models. In this sense, this dissertation aims to perform a quasi-experiment, applying two model-based test approaches in a low-cost insulin infusion pump system. In this quasi-experiment, 26 test cases were generated based on testable requirements models, using use case models and behavior trees. Twenty-six of the 28 requirements presented by the system requirements specification document were modeled. Requirements modeling on behavior trees occurred less than 64 minutes about activity diagram modeling, as well as the specification of test cases was written with 48 minutes less for test behavior trees. | en |
| dc.description.abstract | O teste baseado em modelos é um processo que per mite ao engenheiro de requisitos gerar modelos comportamentais e estruturais a partir da especificação de requisitos do software. Os modelos comumente são utilizados para a geração de casos de teste assegurando a rastreabilidade dos requisitos em sentido bidirecional e executando testes em modelos considerados completos e precisos. Neste sentido, esta dissertação tem como objetivo a realização de um quasi-experimento, aplicando duas abordagens de teste baseado em modelos em um sistema de bomba de infusão de insulina de baixo custo. Nesse quasi-experimento foram gerados 26 casos de testes com base em modelos de requisitos testáveis, utilizando modelos de casos de uso e árvores de comportamento. Foram modelados 26 dos 28 requisitos apresentados pelo documento de especificação de requisitos do sistema. A modelagem de requisitos em árvores de comportamento ocorreu com 64 minutos a menos em relação à modelagem de diagramas de atividades, assim como a especificação de casos de teste foi escrita com 48 minutos a menos quanto às árvores de comportamento de teste. | pt |
| dc.description.source | Dados abertos - Sucupira - Teses e dissertações (2019) | |
| dc.identifier | https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=7716838 | pt |
| dc.identifier.uri | https://repositorio.unifesp.br/handle/11600/59463 | |
| dc.language.iso | por | |
| dc.publisher | Universidade Federal de São Paulo (UNIFESP) | |
| dc.rights | info:eu-repo/semantics/restrictedAccess | |
| dc.subject | Requirements Test | en |
| dc.subject | Critical Systems | en |
| dc.subject | Requisitos Testáveis | pt |
| dc.subject | Teste De Requisitos | pt |
| dc.subject | Sistemas Críticos | pt |
| dc.title | Um estudo compartivo entre abordagens de modelos e requisitos testáveis | pt |
| dc.type | info:eu-repo/semantics/masterThesis | |
| unifesp.campus | São José dos Campos, Instituto de Ciência e Tecnologia | pt |
| unifesp.graduateProgram | Ciência da Computação | pt |
| unifesp.knowledgeArea | Ciência Da Computação | pt |
| unifesp.researchArea | Sistemas Computacionais | pt |