Using MDA and MDT for modeling and automatic generation of test architectures for real time systems.

Submitted by Lucienne Costa (lucienneferreira@ufcg.edu.br) on 2019-09-05T16:46:23Z No. of bitstreams: 1 EVERTON LEANDRO GALDINO ALVES – DISSERTAÇÃO (PPGCC) 2011.pdf: 6318522 bytes, checksum: 518daf97ef9e75bbd236508af0a77d24 (MD5)Made available in DSpace on 2019-09-05T16:46:23Z (GMT). No. of bitstreams: 1 EVERTON LEANDRO GALDINO ALVES – DISSERTAÇÃO (PPGCC) 2011.pdf: 6318522 bytes, checksum: 518daf97ef9e75bbd236508af0a77d24 (MD5) Previous issue date: 2011-06-30CapesAs 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