Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real.
Autor(a) principal: | |
---|---|
Data de Publicação: | 2011 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da UFCG |
Texto Completo: | http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6753 |
Resumo: | As atividades de projeto e teste de sistemas de tempo real (STR) na atualidade ainda são extremamente desafiadoras, sendo a qualidade das mesmas diretamente proporcionais ao quão experientes são seus respectivos projetistas e testadores. Isto de deve ao fato desta classe de sistemas computacionais possuir um conjunto de características diferenciadas (e.g. restrições de tempo e manipulação de interrupções) que aumentam a complexidade em desenvolvê-los. Abordagens como Model-Driven Architecture (MDA) e Model-Driven Testing (MDT) têm procurado trazer os modelos ao centro dos processos de desenvolvimento e de teste, respectivamente, com o intuito de gerar automaticamente artefatos de software em diferentes níveis de abstração (e.g. código e casos de teste). Porém, diversas lacunas ainda impedem que estas promissoras abordagens também possam ser usadas em sua plenitude no contexto dos sistemas de tempo real. Desta forma, este trabalho objetiva fornecer o embasamento necessário para permitir o uso destas abordagens neste contexto. Para tal, este trabalho apresenta os seguintes resultados: i) um conjunto de diretrizes para modelagem de STR usando UML, construído a fim de ajudar projetistas inexperientes a desenvolver mais facilmente modelos de STRs mais expressivos; ii) um conjunto de extensões ao perfil de testes da UML (UTP), com o intuito de dotá-lo com os mecanismos necessários para a construção de arquiteturas de teste para STRs no nível independente de plataforma; iii) um mapeamento informal dos elementos do perfil de testes estendido para uma plataforma específica para STRs (linguagem C para o FreeRTOS); iv) um auxílio ferramental para proporcionar a geração automática das arquiteturas de teste nos níveis independente e específico de plataforma. Para avaliar os resultados obtidos, estudos de caso foram aplicados, tanto para o conjunto de diretrizes de modelagem, quanto para as extensões/mapeamento. |
id |
UFCG_2677e7287854dc6496ce33e3ad3f3423 |
---|---|
oai_identifier_str |
oai:localhost:riufcg/6753 |
network_acronym_str |
UFCG |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository_id_str |
4851 |
spelling |
Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real.Using MDA and MDT for modeling and automatic generation of test architectures for real time systems.Sistemas de Tempo Real (STR)Model-Driven Architecture (MDA)Model-Driven Testing (MDT)ModelagemReal Time Systems (STR)ModelingCiência da ComputaçãoAs atividades de projeto e teste de sistemas de tempo real (STR) na atualidade ainda são extremamente desafiadoras, sendo a qualidade das mesmas diretamente proporcionais ao quão experientes são seus respectivos projetistas e testadores. Isto de deve ao fato desta classe de sistemas computacionais possuir um conjunto de características diferenciadas (e.g. restrições de tempo e manipulação de interrupções) que aumentam a complexidade em desenvolvê-los. Abordagens como Model-Driven Architecture (MDA) e Model-Driven Testing (MDT) têm procurado trazer os modelos ao centro dos processos de desenvolvimento e de teste, respectivamente, com o intuito de gerar automaticamente artefatos de software em diferentes níveis de abstração (e.g. código e casos de teste). Porém, diversas lacunas ainda impedem que estas promissoras abordagens também possam ser usadas em sua plenitude no contexto dos sistemas de tempo real. Desta forma, este trabalho objetiva fornecer o embasamento necessário para permitir o uso destas abordagens neste contexto. Para tal, este trabalho apresenta os seguintes resultados: i) um conjunto de diretrizes para modelagem de STR usando UML, construído a fim de ajudar projetistas inexperientes a desenvolver mais facilmente modelos de STRs mais expressivos; ii) um conjunto de extensões ao perfil de testes da UML (UTP), com o intuito de dotá-lo com os mecanismos necessários para a construção de arquiteturas de teste para STRs no nível independente de plataforma; iii) um mapeamento informal dos elementos do perfil de testes estendido para uma plataforma específica para STRs (linguagem C para o FreeRTOS); iv) um auxílio ferramental para proporcionar a geração automática das arquiteturas de teste nos níveis independente e específico de plataforma. Para avaliar os resultados obtidos, estudos de caso foram aplicados, tanto para o conjunto de diretrizes de modelagem, quanto para as extensões/mapeamento.Nowadays, the activities of project and test of real-time systems (RTS) are still considered extremely challenging. The quality of this activities are direct proporcional to how experientes are the designers and testers who participates of the process. This fact is mainly because this special computacional systems have a set of differentiated features (e.g. time restrictions and interruptions manipulation) which increase the complexity needed to develop them. Approaches such Model-Driven Architecture (MDA) and Model-Driven Testing (MDT) are trying to increase the importance of putting models into the center of the development and test process (e.g. test case). However, many gaps still impede that this approaches became fully used in the context of real-time systems. Therefore, this work has the goal of providing the basement to allow the use of those approaches in this context. As results, we propose: i) a set of guidelines to modeling RTS using UML; ii) a set of extensions to the UML testing profile (UTP) extended, with the intention of including mechanisms to build test real-time architectures at independent platform level; iii) an informal mapping from UTP elements to a specific RTS platform (C language and FreeRTOS OS); and iv) an auxiliary tool to automatically generate test architectures at different abstractions levels. To evaluate the results, a set of case studies were realized.CapesUniversidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGMACHADO, Patrícia Duarte de Lima.MACHADO, P. D. L.http://lattes.cnpq.br/2495918356675019RAMALHO, Franklin de Souza.Ramalho, F.http://lattes.cnpq.br/2469816352786812ALMEIDA, Hyggo OLIVEIRA de.COELHO, Roberta de Souza.ALVES, Everton Leandro Galdino.2011-06-302019-09-05T16:46:23Z2019-09-052019-09-05T16:46:23Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6753ALVES, E. L. G. Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. 2011. 189 f. Dissertação (Mestrado em Ciência da Computação) – Programa de Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2011. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6753porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-18T14:01:19Zoai:localhost:riufcg/6753Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512022-03-18T14:01:19Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false |
dc.title.none.fl_str_mv |
Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. Using MDA and MDT for modeling and automatic generation of test architectures for real time systems. |
title |
Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. |
spellingShingle |
Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. ALVES, Everton Leandro Galdino. Sistemas de Tempo Real (STR) Model-Driven Architecture (MDA) Model-Driven Testing (MDT) Modelagem Real Time Systems (STR) Modeling Ciência da Computação |
title_short |
Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. |
title_full |
Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. |
title_fullStr |
Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. |
title_full_unstemmed |
Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. |
title_sort |
Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. |
author |
ALVES, Everton Leandro Galdino. |
author_facet |
ALVES, Everton Leandro Galdino. |
author_role |
author |
dc.contributor.none.fl_str_mv |
MACHADO, Patrícia Duarte de Lima. MACHADO, P. D. L. http://lattes.cnpq.br/2495918356675019 RAMALHO, Franklin de Souza. Ramalho, F. http://lattes.cnpq.br/2469816352786812 ALMEIDA, Hyggo OLIVEIRA de. COELHO, Roberta de Souza. |
dc.contributor.author.fl_str_mv |
ALVES, Everton Leandro Galdino. |
dc.subject.por.fl_str_mv |
Sistemas de Tempo Real (STR) Model-Driven Architecture (MDA) Model-Driven Testing (MDT) Modelagem Real Time Systems (STR) Modeling Ciência da Computação |
topic |
Sistemas de Tempo Real (STR) Model-Driven Architecture (MDA) Model-Driven Testing (MDT) Modelagem Real Time Systems (STR) Modeling Ciência da Computação |
description |
As atividades de projeto e teste de sistemas de tempo real (STR) na atualidade ainda são extremamente desafiadoras, sendo a qualidade das mesmas diretamente proporcionais ao quão experientes são seus respectivos projetistas e testadores. Isto de deve ao fato desta classe de sistemas computacionais possuir um conjunto de características diferenciadas (e.g. restrições de tempo e manipulação de interrupções) que aumentam a complexidade em desenvolvê-los. Abordagens como Model-Driven Architecture (MDA) e Model-Driven Testing (MDT) têm procurado trazer os modelos ao centro dos processos de desenvolvimento e de teste, respectivamente, com o intuito de gerar automaticamente artefatos de software em diferentes níveis de abstração (e.g. código e casos de teste). Porém, diversas lacunas ainda impedem que estas promissoras abordagens também possam ser usadas em sua plenitude no contexto dos sistemas de tempo real. Desta forma, este trabalho objetiva fornecer o embasamento necessário para permitir o uso destas abordagens neste contexto. Para tal, este trabalho apresenta os seguintes resultados: i) um conjunto de diretrizes para modelagem de STR usando UML, construído a fim de ajudar projetistas inexperientes a desenvolver mais facilmente modelos de STRs mais expressivos; ii) um conjunto de extensões ao perfil de testes da UML (UTP), com o intuito de dotá-lo com os mecanismos necessários para a construção de arquiteturas de teste para STRs no nível independente de plataforma; iii) um mapeamento informal dos elementos do perfil de testes estendido para uma plataforma específica para STRs (linguagem C para o FreeRTOS); iv) um auxílio ferramental para proporcionar a geração automática das arquiteturas de teste nos níveis independente e específico de plataforma. Para avaliar os resultados obtidos, estudos de caso foram aplicados, tanto para o conjunto de diretrizes de modelagem, quanto para as extensões/mapeamento. |
publishDate |
2011 |
dc.date.none.fl_str_mv |
2011-06-30 2019-09-05T16:46:23Z 2019-09-05 2019-09-05T16:46:23Z |
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 |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6753 ALVES, E. L. G. Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. 2011. 189 f. Dissertação (Mestrado em Ciência da Computação) – Programa de Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2011. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6753 |
url |
http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6753 |
identifier_str_mv |
ALVES, E. L. G. Usando MDA e MDT para modelagem e geração automática de arquiteturas de teste para sistemas de tempo real. 2011. 189 f. Dissertação (Mestrado em Ciência da Computação) – Programa de Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2011. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6753 |
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 Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
publisher.none.fl_str_mv |
Universidade Federal de Campina Grande Brasil Centro de Engenharia Elétrica e Informática - CEEI PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO UFCG |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFCG instname:Universidade Federal de Campina Grande (UFCG) instacron:UFCG |
instname_str |
Universidade Federal de Campina Grande (UFCG) |
instacron_str |
UFCG |
institution |
UFCG |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFCG |
collection |
Biblioteca Digital de Teses e Dissertações da UFCG |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG) |
repository.mail.fl_str_mv |
bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br |
_version_ |
1808035854150533120 |