Submitted by Aelson Maciera (aelsoncm@terra.com.br) on 2017-05-03T20:33:15Z No. of bitstreams: 1 DissASA.pdf: 6143481 bytes, checksum: ae99305f43474756b358bade1f0bd0c7 (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-05-04T13:50:02Z (GMT) No. of bitstreams: 1 DissASA.pdf: 6143481 bytes, checksum: ae99305f43474756b358bade1f0bd0c7 (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-05-04T13:50:10Z (GMT) No. of bitstreams: 1 DissASA.pdf: 6143481 bytes, checksum: ae99305f43474756b358bade1f0bd0c7 (MD5) / Made available in DSpace on 2017-05-04T13:53:49Z (GMT). No. of bitstreams: 1 DissASA.pdf: 6143481 bytes, checksum: ae99305f43474756b358bade1f0bd0c7 (MD5) Previous issue date: 2016-01-05 / Não recebi financiamento / Context: MDD (Model-Driven Development) is a software development paradigm in which the main artefacts are models, from which source code or other artefacts are generated. Even though MDD allows different views of how to decompose a problem and how to design a software to solve it, this paradigm introduces new challenges related to the input models, transformations and output artefacts. Problem Statement: Thus, software testing is a fundamental activity to reveal defects and improve confidence in the software products developed in this context. Several techniques and testing criteria have been proposed and investigated. Among them, functional testing has been extensively explored primarily in the M2M (Model-to-Model) transformations, while structural testing for M2T (Model-to-Text) transformations still poses challenges and lacks appropriate approaches. Objective: This work aims to to present a proposal for the structural testing of M2T transformations through the characterisation of input models as complex data, templates and output artefacts involved in this process. Method: The proposed approach was organised in five phases. Its strategy proposes that the complex data (grammars and metamodels) are represented by directed hypergraphs, allowing that a combinatorial-based traversal algorithm creates subsets of the input models that will be used as test cases for the M2T transformations. In this perspective, we carried out two exploratory studies with the specific purpose of feasibility analysis of the proposed approach. Results and Conclusion: The evaluation of results from the exploratory studies, through the analysis of some testing coverage criteria, demonstrated the relevance and feasibility of the approach for characterizing complex data for M2T transformations testing. Moreover, structuring the testing strategy in phases enables the revision and adjustment of activities, in addition to assisting the replication of the approach within different applications that make use of the MDD paradigm. / Contexto: O MDD (Model-Driven Development ou Desenvolvimento Dirigido por Modelos) e um paradigma de desenvolvimento de software em que os principais artefatos são os modelos, a partir dos quais o código ou outros artefatos são gerados. Esse paradigma, embora possibilite diferentes visões de como decompor um problema e projetar um software para soluciona-lo, introduz novos desafios, qualificados pela complexidade dos modelos de entrada, as transformações e os artefatos de saída. Definição do Problema: Dessa forma, o teste de software e uma atividade fundamental para revelar defeitos e aumentar a confiança nos produtos de software desenvolvidos nesse contexto. Diversas técnicas e critérios de teste vem sendo propostos e investigados. Entre eles, o teste funcional tem sido bastante explorado primordialmente nas transformações M2M (Model-to-Model ou Modelo para Modelo), enquanto que o teste estrutural em transformações M2T (Model-to-Text ou Modelo para Texto) ainda possui alguns desafios e carência de novas abordagens. Objetivos: O objetivo deste trabalho e apresentar uma proposta para o teste estrutural de transformações M2T, por meio da caracterização dos dados complexos dos modelos de entrada, templates e artefatos de saída envolvidos neste processo. Metodologia: A abordagem proposta foi organizada em cinco fases e sua estratégia propõe que os dados complexos (gramáticas e metamodelos) sejam representados por meio de hipergrafos direcionados, permitindo que um algoritmo de percurso em hipergrafos, usando combinatória, crie subconjuntos dos modelos de entrada que serão utilizados como casos de teste para as transformações M2T. Nesta perspectiva, realizou-se dois estudos exploratórios com propósito específico da analise de viabilidade quanto a abordagem proposta. Resultados: A avaliação dos estudos exploratórios proporcionou, por meio da analise dos critérios de cobertura aplicados, um conjunto de dados que demonstram a relevância e viabilidade da abordagem quanto a caracterização de dados complexos para os testes em transformações M2T. A segmentação das estratégias em fases possibilita a revisão e adequação das atividades do processo, além de auxiliar na replicabilidade da abordagem em diferentes aplicações que fazem uso do paradigma MDD.

導引精靈(Wizard)是一種用於收集用戶端資料的互動式人機介面程式，它是由一系列的對話框組成。使用導引精靈，可以避免資料遺漏、更能確保資料的完整性。由於方便好用，導引精靈不僅大量的使用在既有的電腦程式中，很顯然地，它也應該是許多新應用軟體系統不可或缺的一部分。 為了克服開發導引精靈過程的繁雜，瑣碎與費時，我們曾開發一套遵循MDA架構的多平台導引精靈快速開發系統，稱為 MoDWizII。利用MoDWizII，我們只要輸入高階的平台無關精靈描述，系統即能自動產生各支援平台的對應導引精靈實做。目前系統支援的平台包括：Java、Eclipse 以及Web 應用。 隨著手機與平板電腦的普及與無所不在，其應用系統顯然亦有收集使用者資料的需求。相對於傳統電腦，行動裝置的先天限制並不適合傳統的編輯輸入，因此導引精靈顯然是一種更值得考量的替代選項。此一因素，促使我們考量將MoDWizII的支援對象擴充至行動平台。 本研究的主要任務是擴充MoDWizII的支援對象至行動平台。新系統名稱為MoDWiz3，目前選擇的唯一支援平台是市佔率最高的Android平台。據IDC報告，至2013年第三季時Android的行動裝置佔有率達81%。 為了使得ModWiz3得以產生Android平台的精靈實做，我們在此研究中，貢獻了一套針對Android平台特性而設計的精靈程式Android平台專屬超模型(PSMM)。除此之外，我們亦實做了在MDA架構下，針對Android平台的必要M2M與M2T轉換工具。利用這些工具鏈，我們即能將高階的平台無關精靈描述轉換成Android平台的導引精靈實做。和以往支援平台有一個顯著不同之處是，Android平台本身並無提供立即可用的導引精靈API可供實做時使用，因此本研究的另一貢獻是使用Android fragment機制設計、選用和實做所有系統所需的精靈元件。 / Software wizards are interactive programs consisting of a series of UI dialogs aimed to acquire responded data from the users. Using wizards to collect data has the advantage of ensuring the completeness and integrity of the collected data. They are not only pervasively found in existing computer systems but apparently would also be an indispensable part of many software applications to be developed. In order to overcome the shortage of developing wizards from scratch, which are complicated, tedious and time-consuming, our lab has developed a system called MoDWizII, which can produce multi-platform wizards from a single declarative wizard description by following OMG's MDA approach. Currently the supported platforms include Java, Eclipse and Web applications. With the explosive popularity of mobile phones and tablets, the need of complex data input using mobile devices increases. However, due to the size limitation, it is very inconvenient to use traditional editing approach to input large amount of data on these devices. In contrast, wizards in these use cases seem more suitable. This motivated the inclusion of mobile platforms to the supported platforms of our system. In this research we extend MoDWizII to a new one called MoDWiz3 with the goal of supporting also mobile platforms. Currently the only selected platform is Android, which is used by most people as indicated by a report of International Data Corporation (IDC) that the market share of Android platform was 81% in the 3rd quarter in 2013. To enable the support of Android platform, this research created a definition of PSMM (Platform-Specific MetaModel) for wizards on the Android platform; standard M2M and M2T toolchain was also developed and can be used to generate practical Android wizard applications from a platform independent wizard description. While previous supported platforms have well-established wizard API, it is not the case for Android. We thus included in the research also the design, selection and implementation of all required wizard components for the Android platform.