InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML

Detalhes bibliográficos
Autor(a) principal: Weller, Anderson Coelho, 1975-
Data de Publicação: 2019
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1638757
Resumo: Orientador: Eliane Martins
id UNICAMP-30_26abb19900d3e06967ee504c841c172c
oai_identifier_str oai::1128708
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UMLInRob-UML : a method for tests of interoperability and robustness for real time embedded systems using UML modelsSoftware - TestesUML (Linguagem de modelagem padrão)Teste baseado em modelosInteroperabilidadeSoftware - TestingUML (Computer science)Model-based testingInteroperabilityOrientador: Eliane MartinsDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: O processo de validação da interoperabilidade entre subsistemas de tempo real embarcados e a garantia de robustez do seu software são críticos para o bom funcionamento de um sistema. Mesmo que cada um dos módulos funcione corretamente de forma isolada, a interação entre eles pode gerar informações fora da especificação ou sofrer interferências do canal de comunicação, como a corrupção de dados ou a violação dos requisitos de tempo, principalmente se eles forem desenvolvidos por equipes diferentes, o que pode levar o sistema a uma situação catastrófica, gerando perdas financeiras ou de vidas. Em um trabalho prévio foi proposto um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real, InRob. Neste trabalho é proposta uma extensão do InRob que acrescenta, entre outros aspectos: i) o uso de modelos da UML (Unified Modeling Language), por ser amplamente utilizado tanto no meio acadêmico quanto comercial, para a geração de casos de teste baseados em modelos e ii) a introdução de um modelo do comportamento de um canal de comunicação falho entre dois subsistemas que devem interoperar. Esse comportamento do canal de comunicação foi adicionado à modelagem como uma entidade independente, que interliga os subsistemas em teste e interfere na troca de mensagens entre eles, afetando seus funcionamentos. Esse modelo representa o comportamento de um "Emulador de Defeitos" (FEM), e especifica as interferências que ele deve efetuar durante a aplicação dos testes. Com isso, a partir de um modelo de falhas que um canal de comunicação pode exercer na interação entre dois subsistemas, podemos selecionar testes que direcionem as ações do FEM na avaliação da interoperabilidade e robustez entre eles. O método foi aplicado a um sistema genérico de controle de uma cancela, que libera o acesso a um cruzamento ferroviário, e a um subsistema real de satélite científico desenvolvido pelo INPE, para captura e armazenamento de imagensAbstract: The process of validating interoperability between embedded real-time subsystems and ensuring the robustness of its software are critical to the proper work of a system. Even if each module works properly in isolation, interaction between them can generate out-of-specification information or suffer interference from the communication channel such as data corruption or time requirements violation, especially if they are developed by different teams, what can lead the system to a catastrophic situation, generating financial or life losses. In a previous work, a method for interoperability and robustness testing for real-time embedded systems was proposed, InRob. In this work, an extension of InRob is proposed that adds, among other aspects: i) the use of models of the Unified Modeling Language (UML), for being widely used in academic and commercial environments for the generation of model-based test cases and ii) introducing a model of behavior of a failed communication channel between two subsystems that must interoperate. This behavior of the communication channel has been added to the modeling as an independent entity, which interconnects the subsystems under test and interferes on the exchange of messages between them, affecting their functioning. This model represents the behavior of a "Failure Emulator Mechanism" (FEM), and specifies the interference that it must make during the test application. Thereby, from a failure model that a communication channel can exert in the interaction between two subsystems, we can select tests that guide the actions of FEM in the evaluation of interoperability and robustness between them. The method was applied to a generic gate control system, which gives access to a railroad crossing, and to a real scientific satellite subsystem, developed by INPE for image capture and storageMestradoCiência da ComputaçãoMestre em Ciência da Computação[s.n.]Martins, Eliane, 1955-Villani, EmiliaMontecchi, LeonardoUniversidade Estadual de Campinas (UNICAMP). Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASWeller, Anderson Coelho, 1975-20192019-12-13T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf1 recurso online (130 p.) : il., digital, arquivo PDF.https://hdl.handle.net/20.500.12733/1638757WELLER, Anderson Coelho. InRob-UML: um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML. 2019. 1 recurso online (130 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1638757. Acesso em: 3 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/1128708Requisitos do sistema: Software para leitura de arquivo em PDFporreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2020-05-26T10:32:20Zoai::1128708Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2020-05-26T10:32:20Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML
InRob-UML : a method for tests of interoperability and robustness for real time embedded systems using UML models
title InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML
spellingShingle InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML
Weller, Anderson Coelho, 1975-
Software - Testes
UML (Linguagem de modelagem padrão)
Teste baseado em modelos
Interoperabilidade
Software - Testing
UML (Computer science)
Model-based testing
Interoperability
title_short InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML
title_full InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML
title_fullStr InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML
title_full_unstemmed InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML
title_sort InRob-UML : um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML
author Weller, Anderson Coelho, 1975-
author_facet Weller, Anderson Coelho, 1975-
author_role author
dc.contributor.none.fl_str_mv Martins, Eliane, 1955-
Villani, Emilia
Montecchi, Leonardo
Universidade Estadual de Campinas (UNICAMP). Instituto de Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Weller, Anderson Coelho, 1975-
dc.subject.por.fl_str_mv Software - Testes
UML (Linguagem de modelagem padrão)
Teste baseado em modelos
Interoperabilidade
Software - Testing
UML (Computer science)
Model-based testing
Interoperability
topic Software - Testes
UML (Linguagem de modelagem padrão)
Teste baseado em modelos
Interoperabilidade
Software - Testing
UML (Computer science)
Model-based testing
Interoperability
description Orientador: Eliane Martins
publishDate 2019
dc.date.none.fl_str_mv 2019
2019-12-13T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1638757
WELLER, Anderson Coelho. InRob-UML: um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML. 2019. 1 recurso online (130 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1638757. Acesso em: 3 set. 2024.
url https://hdl.handle.net/20.500.12733/1638757
identifier_str_mv WELLER, Anderson Coelho. InRob-UML: um método para testes de interoperabilidade e robustez para sistemas embarcados de tempo real utilizando modelos UML. 2019. 1 recurso online (130 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1638757. Acesso em: 3 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/1128708
Requisitos do sistema: Software para leitura de arquivo em PDF
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
1 recurso online (130 p.) : il., digital, arquivo PDF.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809189159295778816

Registros relacionados