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.

Made available in DSpace on 2015-04-11T14:02:43Z (GMT). No. of bitstreams: 1 bruno araujo.pdf: 1894932 bytes, checksum: 3283d30b868fd5576735ba6c2378d8ff (MD5) Previous issue date: 2012-03-05 / The increasing interest on mobile technologies and the evolutionary context in which mobile applications are developed have made the usability evaluation of these applications an important research area. However, usability evaluations are often avoided by developers or companies due to their lack of experience in the field. This thesis presents the UBICUA (Usability-Based Inspection CUstomizable Approach) technique, an inspection technique specifically proposed to assess the usability of hybrid mobile web applications (i.e., applications that rely on the Internet, such as widgets). Also, our approach is customizable by the inspector s knowledge, which results in a greater usability problem identification even by non-expert users. To support our UBICUA technique s creation process, this research has adopted an evidence-based methodology. Then, this thesis describes how UBICUA was created based on the outcome of a secondary study, two results feasibility studies and observation studies. Our ultimate goal is to increase the quality of hybrid mobile web applications and improve the user s interaction in this technology. We also present the guidelines and resources developed to support the execution of usability inspections of mobile applications in software development organizations. / O crescente interesse em tecnologias móveis e o contexto evolutivo no qual aplicações móveis são desenvolvidas têm tornado a avaliação de usabilidade destas aplicações um importante campo de pesquisa. No entanto, as avaliações de usabilidade são normalmente evitadas pelos desenvolvedores ou empresas, devido à falta de experiência na área. Esta dissertação apresenta a técnica UBICUA (Usability-Based Inspection CUstomizable Approach), específica para avaliação de usabilidade de aplicações Web móveis híbridas (i.e., aplicações locais que dependem da Internet). Esta nova abordagem é customizada pelo conhecimento do inspetor visando maior identificação de problemas de usabilidade, mesmo por inspetores com pouco conhecimento. Para a avaliação e evolução da UBICUA, esta pesquisa adotou uma metodologia baseada em evidências. Esta dissertação mostra como a UBICUA foi definida e aprimorada a partir dos resultados de diferentes estudos experimentais: mapeamento sistemático de literatura, estudos de viabilidade e de observação. O objetivo final é aumentar a qualidade das aplicações Web em dispositivos móveis e melhorar a interação dos usuários com estas tecnologias. Adicionalmente, são apresentadas diretrizes e recursos desenvolvidos para apoiar a realização de inspeções de usabilidade de aplicações deste porte.

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.

This thesis addresses the problem of registering one point set with respect to another. This problem arises in the context of the use of CMM/Scanners to inspect objects especially with freeform surfaces. The tolerance verification process now requires the comparison of measured points with the nominal geometry. This entails placement of the measured point set in the same reference frame as the nominal model. This problem is referred to as the registration or localization problem. In the most general form the tolerance verification task involves registering multiple point sets corresponding to multi-step scan of an object with respect to the nominal CAD model. This problem is addressed in three phases. This thesis presents a novel approach to automated inspection by matching point sets based on the Iterative Closest Point (ICP) algorithm. The Modified ICP (MICP) algorithm presented in the thesis improves upon the existing methods through the use of a localized region based triangulation technique to obtain correspondences for all the inspection points and achieves dramatic reduction in computational effort. The use of point sets to represent the nominal surface and shapes enables handling different systems and formats. Next, the thesis addresses the important problem of establishing registration between point sets in different reference frames when the initial relative pose between them is significantly large. A novel initial pose invariant methodology has been developed. Finally, the above approach is extended to registration of multiview inspection data sets based on acquisition of transformation information of each inspection view using the virtual gauging concept. This thesis describes implementation to address each of these problems in the area of automated registration and verification leading towards automatic inspection.