Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-08-12T13:26:26Z No. of bitstreams: 1 Dissertação -Adriana Lopes.pdf: 7501767 bytes, checksum: f6b8aa4ca03f0267a2d2192865acbce4 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-08-12T13:27:47Z (GMT) No. of bitstreams: 1 Dissertação -Adriana Lopes.pdf: 7501767 bytes, checksum: f6b8aa4ca03f0267a2d2192865acbce4 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-08-12T13:28:23Z (GMT) No. of bitstreams: 1 Dissertação -Adriana Lopes.pdf: 7501767 bytes, checksum: f6b8aa4ca03f0267a2d2192865acbce4 (MD5) / Made available in DSpace on 2016-08-12T13:28:23Z (GMT). No. of bitstreams: 1 Dissertação -Adriana Lopes.pdf: 7501767 bytes, checksum: f6b8aa4ca03f0267a2d2192865acbce4 (MD5) Previous issue date: 2016-02-23 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Interaction models specify the structure and behavior of the user with the interface. They refer to the interface commands that the user can perform and the corresponding system responses. The use of interaction models in the design stage is important due to the user's perspective since problems in the user-system interaction can be mitigated. In this context, MoLIC (Modeling Language for the Conversation Interaction) allows the development of interaction solutions. The diagrams modeled with MoLIC can be used as a basis for the development of other artifacts. However, in a preliminary study regarding the use of MoLIC diagrams, we identified different types of defects, such as Omission, Incorrect Fact, Inconsistency, Ambiguity and Extraneous Information. These results indicate that there is a need to inspect MoLIC diagrams in order to avoid the propagation of these defects to other artifacts. Also, the sooner a defect is discovered, the lower the cost to repair it. This thesis presents the proposed techniques for MoLIC diagrams inspection: MoLVERIC Cards and MoLVERIC Check. To motivate the inspection of MoLIC diagrams, the MoLVERIC Cards employs gamification elements. On the other hand, MoLVERIC Check is a checklist-based inspection technique. The verification items of both techniques evaluate the consistency of MoLIC diagrams with the interaction scenario/system requirements, as well as the notation employed in the MoLIC diagrams. The techniques had their construction and evaluation supported by experimentation. The results of both techniques have provided evidence of their feasibility to inspect MoLIC diagrams. / Modelos de interação especificam a estrutura e o comportamento do usuário com a interface. Referem-se aos comandos de interface que o usuário pode executar e as correspondentes respostas do sistema. O uso de modelos de interação na etapa de design é importante devido às perspectivas do usuário, pois problemas na interação usuário-sistema podem ser mitigados. Neste contexto, a MoLIC (Modeling Language for Interaction as Conversation) proporciona o desenvolvimento de soluções de interação. Os diagramas modelados com a MoLIC podem ser usados como base para o desenvolvimento de outros artefatos. No entanto, em um estudo preliminar realizado com o objetivo de analisar o uso de diagramas MoLIC, diferentes tipos de defeitos foram identificados, tais como Omissão, Fato Incorreto, Inconsistência, Ambiguidade e Informação Estranha. Estes resultados indicam que existe a necessidade de inspecionar os diagramas MoLIC, pois evita-se a propagação destes defeitos para outros artefatos. Além disso, quanto mais cedo for detectado um defeito, menor será o custo para repará-lo. Esta dissertação apresenta as técnicas específicas para a inspeção de diagramas MoLIC, chamadas MoLVERIC Cards e MoLVERIC Check. Para motivar a inspeção dos diagramas MoLIC, a MoLVERIC Cards emprega elementos de gamificação. A MoLVERIC Check é uma técnica de inspeção baseada em lista de verificação. Os itens de verificação das duas técnicas avaliam tanto a consistência dos diagramas MoLIC com o cenário de interação/ requisitos do sistema, como a notação usada nos diagramas MoLIC. As técnicas tiveram sua construção e avaliação apoiadas por experimentação. Os resultados de ambas as técnicas forneceram evidências de viabilidade para inspecionar diagramas MoLIC.

Submitted by Adriely Bruce (adriely_bruce@hotmail.com) on 2016-12-16T15:23:35Z No. of bitstreams: 1 Dissertação - Rafael Normando Cunha.pdf: 2634755 bytes, checksum: 1a601e8e730d9bca00432b2e7038ac0f (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-12-22T13:36:58Z (GMT) No. of bitstreams: 1 Dissertação - Rafael Normando Cunha.pdf: 2634755 bytes, checksum: 1a601e8e730d9bca00432b2e7038ac0f (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-12-22T13:39:39Z (GMT) No. of bitstreams: 1 Dissertação - Rafael Normando Cunha.pdf: 2634755 bytes, checksum: 1a601e8e730d9bca00432b2e7038ac0f (MD5) / Made available in DSpace on 2016-12-22T13:39:39Z (GMT). No. of bitstreams: 1 Dissertação - Rafael Normando Cunha.pdf: 2634755 bytes, checksum: 1a601e8e730d9bca00432b2e7038ac0f (MD5) Previous issue date: 2013-12-17 / Agência de Fomento não informada / Software Product Lines enable organizations to develop a number of similar products in the same application domain, which reduces development time and maintenance cost, and increases productivity. Software product line specifications need to be evaluated for improving software. In this context, software inspections aims do guarantee complete, consistent and correct artifacts finding defects in early stages in software lifecycle. In this work, we propose SPLIT (Software Product Line Inspection Technique), which is a set of modelbased inspection techniques for evaluating software product line specifications. A feasibility study was conducted for comparing SPLIT against a defect type-based inspection approach. The object of the feasibility study was a Twitter client software product line specification created for the experiment. The results indicated that the set of techniques found a greater number of defects than a defect type-based inspection approach. A second empirical study was conducted for comparing SPLIT against a defect type-based inspection approach using a real software product line for mobile robot vehicles. This study aimed to verify whether the set of techniques fits real world life-cycle development. The second empirical results supported the feasibility study in which SPLIT found a greater number of defects than a defect type-based inspection approach. Thus, software product line quality assurance can be improved using SPLIT for detecting defects in early stage of development. / Linha de produto de software permite que organizações desenvolvem um número similar de produtos específicos em um mesmo domínio de aplicação, reduzindo o tempo de desenvolvimento e o custo de manutenção, e aumentando a produtividade. Especificações de linha de produto de software necessitam ser avaliadas para aumentar a qualidade do software. Neste cenário, inspeções de software visam garantir que os artefatos estejam completos, consistentes e corretos ao encontrar defeitos em estágios iniciais do ciclo de vida de desenvolvimento. Neste trabalho, é proposta a SPLIT (Software Product Line Inspection Technique), um conjunto de técnicas de inspeção baseada em modelos para avaliar especificações de linha de produto de software. Um estudo de viabilidade foi conduzido para comparar a SPLIT com uma abordagem de inspeção baseada em tipos de defeitos. O objeto do estudo de viabilidade foi um cliente de Twitter desenvolvido para a execução do experimento. Os resultados indicaram que o conjunto de técnicas SPLIT encontrou um número maior de defeitos que uma abordagem de inspeção baseada em tipos de defeitos. Um segundo experimento foi conduzido para comparar a SPLIT com uma abordagem baseada em tipos de defeitos usando uma linha de produto de software real para veículos robóticos móveis. Este estudo visou verificar se o conjunto de técnicas se adaptam ao ciclo de vida de desenvolvimento real. O segundo experimento corroborou o resultado do estudo de viabilidade ao encontrar um número de defeitos maior que uma abordagem de inspeção baseada em tipos de defeitos. Com isso, a garantia da qualidade em linhas de produto de software pode ser melhorada ao utilizar a SPLIT para encontrar defeitos em estágios iniciais do desenvolvimento.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-16T14:32:16Z No. of bitstreams: 1 ANNE CAROLINE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2010..pdf: 10304516 bytes, checksum: cbf8cbf8a7183317a894c05b4019777e (MD5) / Made available in DSpace on 2018-08-16T14:32:16Z (GMT). No. of bitstreams: 1 ANNE CAROLINE OLIVEIRA ROCHA - DISSERTAÇÃO PPGCC 2010..pdf: 10304516 bytes, checksum: cbf8cbf8a7183317a894c05b4019777e (MD5) Previous issue date: 2010-04-30 / CNPq / Em um processo de desenvolvimento de software, artefatos de uma etapa são utilizados como fonte para criação de novos artefatos para outras etapas. Então, defeitos podem ser inseridos durante a transição de uma etapa para outra: artefatos podem ficar inconsistentes, levando à construção de um software com defeitos. Neste contexto, uma técnica de inspeção pode ser utilizada para verificar esses artefatos, que são produzidos desde as primeiras etapas do desenvolvimento. Este trabalho apresenta uma forma de automação da técnica de inspeção guiada. Esta técnica tem o objetivo de verificar a conformidade entre artefatos de diferentes níveis de abstração (por exemplo, uma especificação de requisitos com relação a um diagrama de seqüência). Esta inspeção é realizada através de casos de teste, que representam cada cenário de caso de uso da especificação de requisitos. Como os passos de um caso de teste contêm o comportamento de um sistema, então a inspeção guiada permite encontrar defeitos semânticos para aquele sistema. Além disso, por ser uma técnica automática, é possível detectar também inconsistências entre as sintaxes dos artefatos de software. Para dar suporte à automação, serão utilizados conceitos de MDA (Model DrivenArchitecture) para transformação entre modelos e a ferramenta USE para simulação de modelos. / In a software development process, artifacts from a stage are used as input to create new artifacts on another. The transition between different artifacts may not be precise; inconsistencies may occur. These inconsistent artifacts may produce software with defects. In this context, a software inspection technique is needed to validate these artifacts. This paper presents a method to automate a guided inspection technique, which evaluates the conformity between artifacts of distinct abstraction levels. The inspection uses test cases, that represent each use case scenario of the requirement specification. Since test case steps have the system behavior, so the guided inspection allows to detect semantic defects. Moreover, how it’s an automated techinique it’s also possible to detect inconsistences about the artefact syntaxes. As support for the automation, we are using MDA (Model Driven Architecture) to perform model-to-model transformations and the USE tool for model simulation.