L'engouement du grand public pour les applications mobiles, dont le nombre ne cessede croître, a rendu les utilisateurs de plus en plus exigeants quant à la qualité de cesapplications. Seule une procédure de test efficace permet de répondre à ces exigences.Dans le contexte des applications embarquées sur téléphones mobiles, le test est unetâche coûteuse et répétitive principalement à cause du nombre important de terminauxmobiles qui sont tous différents les uns des autres.Nous proposons dans cette thèse le langage MATeL, un DSML (Domain-Specific ModelingLanguage) qui permet de d’écrire des scénarios de test spécifiques aux applicationsmobiles. Sa syntaxe abstraite, i.e. un méta modèle et des contraintes OCL, permet auconcepteur de manipuler les concepts métier du test d'applications mobiles (testeur, mobileou encore résultats attendus et résultats obtenus). Par ailleurs, il permet d'enrichirces scénarii avec des points de variabilité qui autorisent de spécifier des variations dansle test en fonction des particularités d'un mobile ou d'un ensemble de mobiles. La syntaxeconcrète de MATeL, qui est inspirée de celle des diagrammes de séquence UML,ainsi que son environnement basé sur Eclipse permettent à l'utilisateur de concevoir desscénarii relativement facilement.Grâce à une plateforme de test en ligne construite pour les besoins de notre projet,il est possible d'exécuter les scénarii sur plusieurs téléphones différents. La démarcheest illustrée dans cette thèse à travers des cas d'utilisation et des expérimentations quiont permis de vérifier et valider notre proposition. / Mobile applications have increased substantially in volume with the emergence ofsmartphones. Ensuring high quality and successful user experience is crucial to the successof such applications. Only an efficient test procedure allows developers to meet these requirements. In the context of embedded mobile applications, the test is costly and repetitive. This is mainly due to the large number of different mobile devices. In this thesis, we describe MATeL, a Domain-Specific Modeling Language (DSML) for designing test scenarios for mobile applications. Its abstract syntax, i.e. a meta model and OCL constraints, enables the test designer to manipulate mobile applications testing concepts such as tester, mobile or outcomes and results. It also enables him/her to enrich these scenarios with variability points in the spirit of Software Product-Line engineering, that can specify variations in the test according to the characteristics of one mobile or a set of mobiles. The concrete syntax of MATeL that is inspired from UML sequence diagrams and its environment based on Eclipse allow the user to easily develop scenarios. MATeL is built upon an industrial platform (a test bed) in order to be able to run scenarios on several different phones. The approach is illustrated in this thesis through use cases and experiments that led to verify and validate our contribution.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-16T14:52:23Z No. of bitstreams: 1 CAMILA DE LUNA MACIEL - DISSERTAÇÃO PPGCC 2010..pdf: 7464974 bytes, checksum: 6d1dbd48857a3fa1c75047b6ab0a2016 (MD5) / Made available in DSpace on 2018-08-16T14:52:23Z (GMT). No. of bitstreams: 1 CAMILA DE LUNA MACIEL - DISSERTAÇÃO PPGCC 2010..pdf: 7464974 bytes, checksum: 6d1dbd48857a3fa1c75047b6ab0a2016 (MD5) Previous issue date: 2010-08-06 / CNPq / Dentro da Engenharia de Software, novos paradigmas de desenvolvimento vêm surgindo no intuito de oferecer uma maior produtividade sem perda de qualidade aos softwares desenvolvidos. Um desses paradigmas é o MDD (Model-Driven Development), cuja principal finalidade é a introdução de modelos rigorosos durante todo o processo de desenvolvimento de software oferecendo, dentre outras vantagens, a geração automática de código a partir dos modelos. Contudo, mesmo em processos de desenvolvimento que seguem este paradigma, a atividade de teste de software ainda é fundamental, principalmente teste de integração, cujo objetivo é verificar que os componentes do software, implementados e testados individualmente, provêem a funcionalidade pretendida quando colocados para interagir uns com os outros. Embora classes individuais possam funcionar corretamente, várias novas faltas podem surgir quando os componentes são integrados. No entanto, em teste de integração, dependendo da complexidade do sistema, o número de casos de teste pode ser muito grande. Nesse contexto, o uso de padrões de teste, ou seja, estratégias que já foram utilizadas e se mostraram efetivas em teste de software, pode guiar a escolha de casos de teste mais efetivos e adequados dentre um número muito grande de possíveis casos de teste. Este trabalho tem como objetivo principal fornecer uma nova abordagem de teste de integração, definida dentro de um processo integrado de desenvolvimento e teste dirigidos por modelos (MDD/MDT - Model-Driven Testing), para a geração automática de casos de teste a partir de modelos, utilizando padrões de teste como base para o processo de geração. Para automatizar este processo, foi desenvolvida uma ferramenta baseada em transformações entre modelos segundo práticas da MDA (Model-DrivenArchitecture). Além disso, a abordagem proposta utiliza o perfil de teste da UML para a documentação de todos os artefatos de teste gerados. Adicionalmente, estudos experimentais preliminares foram realizados no intuito de avaliar a abordagem e, consequentemente, a ferramenta de suporte desenvolvida. / Within the Software Engineering, new development paradigms are emerging in order to offer greater productivity without sacrificing quality to the developed software. MDD (Model-Driven Development) is one of these paradigms, whose main purpose is to introduce rigorous models along all the software development process offering, among other advantages, automatic code generation from models. However, even in development processes that follow this paradigm, the software testing activity is still essential, especially integration testing, whose purpose is to verify that the software components, implemented and tested separately, provide the desired functionality when placed to interact with each other. While individual components may function correctly, several new faults can arise when the components are integrated. However, in integration testing, depending on the system complexity, the number of test cases can be very large. In this context, the use of test patterns, i. e., strategies that have been used and proved effective in software testing, can guide the user at choosing test cases more effective and appropriate among a very large number of possible cases test. The main objective of this work is to propose a new approach to integration testing, defined with in an integrated model driven development and test process (MDD/MDT - Model-Driven Testing) for automatically generating test case from models adopting test patterns as basis for the generation process. To automate this process, we have developed a tool based on model transformations according to MDA (Model-Driven Architecture) practices. Furthermore, the proposal approach uses the UML testing profile to document all generated test artifacts. Additionally, preliminary experimental case studies were performed in order to evaluate the proposed approach and hence the developed tool support.

The Model Driven Development (MDD) is a paradigm of development of software products, whose objective is to put the models as the main artifact of the development process, instead of putting the source code. In recent years, researches in Software Engineering area have created and adjusted definitions, methods and structures for the achievement of this paradigm. However, the models of the software development process, as well as testing activities involved in these models are not adequate and do not allow the effective use of this paradigm. In order that the Software Engineering area has as it main goal, the development of software products with quality, it is also necessary that these models of the development process involves increasingly approaches to software testing, with the intent to commit them from the early stages, aiming to identify and correct the errors as soon as possible, adding quality to the software. An approach that uses models in software testing is the Model Driven Testing (MDT), which one makes use of the MDD practices, through the automatic generation of test artifacts according to the rules of predefined transformation from development models. Thus, this work presents the Qualitas, a model for the development of model-driven software, which allows the use of both models in the effective integration of MDD and MDT. The model seeks to promote a greater control of the stages and activities of the software development process, but also to add quality to software products developed. A review and an experimental study of Qualitas was performed through the implementation of activities related to the Federal University of Sergipe (UFS) Neonatal Screening System of the University Hospital (HU) functionality, highlighting the advantages and limitations of the model presented. / O Model Driven Development (MDD) é um paradigma de desenvolvimento de produtos de software, cujo objetivo é colocar os modelos como o artefato central do processo de desenvolvimento, ao invés do código-fonte. Nos últimos anos, pesquisas na área de Engenharia de Software têm criado e adaptado definições, métodos e estruturas para a realização desse paradigma. No entanto, os modelos de processo de desenvolvimento de software, bem como as atividades de testes envolvidas nestes modelos não são adequados e não permitem o uso efetivo desse paradigma. Tendo em vista que, a área de Engenharia de Software possui como objetivo principal o desenvolvimento de produtos de software com qualidade, é necessário também que estes modelos de processo de desenvolvimento envolvam cada vez mais abordagens de teste de software, com o intuito de realizá-los desde as fases iniciais software, visando que os erros sejam identificados e corrigidos quanto mais cedo possível, agregando qualidade ao software. Uma abordagem que faz uso de modelos no teste de software é o Model Driven Testing (MDT), a qual faz uso de práticas do MDD, através da geração automática de artefatos de teste de acordo com as regras de transformação prédefinidas a partir de modelos de desenvolvimento. Desta forma, este trabalho apresenta o Qualitas, um modelo de processo para o desenvolvimento de software orientado a modelos, que possibilite tanto o uso de modelos quanto a efetiva integração do MDD e MDT. O modelo busca promover um maior controle das etapas e atividades do processo de desenvolvimento de software, como também agregar qualidade aos produtos de software desenvolvidos. Uma avaliação e um estudo experimental do Qualitas foi realizada através da implementação de funcionalidades relacionadas ao Sistema de Triagem Neonatal do Hospital Universitário (HU) da Universidade Federal de Sergipe (UFS), destacando as vantagens e mostrando as limitações do modelo.

The Model Driven Development (MDD) is a paradigm of development of software products, whose objective is to put the models as the main artifact of the development process, instead of putting the source code. In recent years, researches in Software Engineering area have created and adjusted definitions, methods and structures for the achievement of this paradigm. However, the models of the software development process, as well as testing activities involved in these models are not adequate and do not allow the effective use of this paradigm. In order that the Software Engineering area has as it main goal, the development of software products with quality, it is also necessary that these models of the development process involves increasingly approaches to software testing, with the intent to commit them from the early stages, aiming to identify and correct the errors as soon as possible, adding quality to the software. An approach that uses models in software testing is the Model Driven Testing (MDT), which one makes use of the MDD practices, through the automatic generation of test artifacts according to the rules of predefined transformation from development models. Thus, this work presents the Qualitas, a model for the development of model-driven software, which allows the use of both models in the effective integration of MDD and MDT. The model seeks to promote a greater control of the stages and activities of the software development process, but also to add quality to software products developed. A review and an experimental study of Qualitas was performed through the implementation of activities related to the Federal University of Sergipe (UFS) Neonatal Screening System of the University Hospital (HU) functionality, highlighting the advantages and limitations of the model presented. / O Model Driven Development (MDD) é um paradigma de desenvolvimento de produtos de software, cujo objetivo é colocar os modelos como o artefato central do processo de desenvolvimento, ao invés do código-fonte. Nos últimos anos, pesquisas na área de Engenharia de Software têm criado e adaptado definições, métodos e estruturas para a realização desse paradigma. No entanto, os modelos de processo de desenvolvimento de software, bem como as atividades de testes envolvidas nestes modelos não são adequados e não permitem o uso efetivo desse paradigma. Tendo em vista que, a área de Engenharia de Software possui como objetivo principal o desenvolvimento de produtos de software com qualidade, é necessário também que estes modelos de processo de desenvolvimento envolvam cada vez mais abordagens de teste de software, com o intuito de realizá-los desde as fases iniciais software, visando que os erros sejam identificados e corrigidos quanto mais cedo possível, agregando qualidade ao software. Uma abordagem que faz uso de modelos no teste de software é o Model Driven Testing (MDT), a qual faz uso de práticas do MDD, através da geração automática de artefatos de teste de acordo com as regras de transformação prédefinidas a partir de modelos de desenvolvimento. Desta forma, este trabalho apresenta o Qualitas, um modelo de processo para o desenvolvimento de software orientado a modelos, que possibilite tanto o uso de modelos quanto a efetiva integração do MDD e MDT. O modelo busca promover um maior controle das etapas e atividades do processo de desenvolvimento de software, como também agregar qualidade aos produtos de software desenvolvidos. Uma avaliação e um estudo experimental do Qualitas foi realizada através da implementação de funcionalidades relacionadas ao Sistema de Triagem Neonatal do Hospital Universitário (HU) da Universidade Federal de Sergipe (UFS), destacando as vantagens e mostrando as limitações do modelo.

Made available in DSpace on 2016-08-17T14:53:02Z (GMT). No. of bitstreams: 1 Helaine_Cristina_Silva_Sousa.pdf: 2630560 bytes, checksum: fb46a7db2abe38334d4a7e684f39c287 (MD5) Previous issue date: 2009-05-14 / FUNDAÇÃO DE AMPARO À PESQUISA E AO DESENVOLVIMENTO CIENTIFICO E TECNOLÓGICO DO MARANHÃO / The emergence of model driven approaches provides a new alternative for managing the complexity involved in the creation of test cases, for enhancing the automation of software testing and for promoting the broad reuse of models developed during the analysis of requirements and design of software. In addition, it reduces the injection of errors and software development time. However, in the use of model driven approaches, possible errors can be injected during the manual creation of transformation rules applyied to develop a software system. In this dissertation, we propose metamodels for test, a methodology and a framework called Automatic Test Case based on Models (ATCM) in order to generate test cases to test the source code generated by an model driven approach. A prototype of the framework ATCM was developed, providing tools that minimize the injection of errors during the generation of test cases, making this task less dependent on people and less error-prone reducing the development time and providing high quality and efficiency of test cases. / O surgimento das Abordagens Dirigidas por Modelos fornece uma nova alternativa para o gerenciamento da complexidade do desenvolvimento de software, para criação de testes de software, para automação dos processos de testes e para fornecimento da ampla reutilização de modelos desenvolvidos durante a fase de análise dos requisitos e projeto de software, reduzindo a possível injeção de erros e o tempo de desenvolvimento do software. No entanto, com a utilização das Abordagens Dirigidas por Modelos, possíveis erros podem ser injetados na criação das regras de transformação para implementar um determinado sistema de software. Propõe-se neste trabalho metamodelos de testes, uma metodologia e um framework ATCM (Automatic Test Case based on Models) com a finalidade de gerar casos de teste a fim de testar o código-fonte gerado por uma Abordagem Dirigida por Modelos. Um protótipo do framework ATCM foi desenvolvido, fornecendo ferramentas que minimizam a injeção de erros durante a geração dos casos de teste, tornando esta tarefa menos dependente de pessoas e menos propensa a erros reduzindo o tempo de desenvolvimento e provendo maior qualidade e eficiência nos casos de teste gerados.