Made available in DSpace on 2016-06-02T19:05:51Z (GMT). No. of bitstreams: 1 3754.pdf: 2613907 bytes, checksum: fe0e2ffcc47c79299e0f1f18103dba89 (MD5) Previous issue date: 2011-02-25 / Around 37% of unsuccessfully software projects have their cause related to issues on how to software requirements are collected and manipulated. Requirement Management activities help on getting this scenario better, however it is necessary to validate the software under construction on its right meaning frequently. Thus, Software Quality Assurance (SQA) activities are very important to find defects on softwares under development, even before having an executable product version. The main SQA activities are Test and Inspection and, in spite of Test activity generally occurs during coding phase, this activity may and should be applied as soon as possible, as it needs planning to achieve its goal. Besides, many important Test Cases and Scenarios are specified once software development starts, during requirement specification and modeling phases. Thus, considering this scenario and also that Use Case Model is one of the most used techniques of requirement modeling, this work has the objective of implementing a module to generate Test Scenarios based on Use Cases. The module is a new added functionality to COCAR environment, which supports other software development activities based on use case model. This new module helps on Test activity automation, generating unity testing scenarios, related to each use case, and integration testing scenarios, that use the relationships among use cases, based on their specifications. The work evaluation was done based on real developed software, comparing the used test cases with the test scenarios generated by COCAR environment. The results have shown that the generated test scenarios have almost all of the used test cases matching. Thus, they can be used to support test plan and test cases definition. / Cerca de 37% dos casos de insucesso em projetos de software têm sua causa relacionada a problemas com a coleta e manipulação dos requisitos do software. Atividades de Gerência de Requisitos ajudam a melhorar esse quadro, mas é preciso validar constantemente o software sendo produzido quanto à sua fidelidade aos requisitos. Nesse sentido, as atividades de Garantia de Qualidade de Software (GQS) são muito importantes para encontrar defeitos no software sendo desenvolvido, antes mesmo que haja uma versão executável do produto. As principais atividades de GQS são Teste e Inspeção e, apesar do Teste se aplicar, geralmente, quando se está na fase de codificação, essa atividade pode e deve se iniciar o quanto antes, pois ela precisa de planejamento para ser bem sucedida. Além disso, muitos dos Cenários e Casos de Teste relevantes são determinados logo no início do desenvolvimento, ainda em fase de levantamento e modelagem dos requisitos. Assim, considerando esse contexto e considerando também que uma das técnicas mais usadas para a modelagem dos requisitos é o Modelo de Casos de Uso, este trabalho teve por objetivo implementar um módulo para geração de Cenários de Teste a partir de Casos de Uso. Esse módulo corresponde a uma funcionalidade adicional no ambiente COCAR, o qual apóia outras atividades do desenvolvimento de software com base nos modelos de casos de uso. O módulo implementado no ambiente contribuiu para a automatização da atividade de Teste com a geração de cenários de teste unitários, que se referem aos casos de uso individualmente, e cenários de teste de integração, que exercitam as relações de dependência existentes entre os casos de uso de um sistema, sempre com base em suas especificações. A avaliação do trabalho foi feita com base em um sistema real que já estava desenvolvido e para o qual foram comparados os cenários de teste usados quando ele foi desenvolvido e os cenários gerados pelo ambiente COCAR. Os resultados mostraram que os cenários gerados contemplam quase que totalmente os cenários definidos manualmente e, portanto, podem ser usados como suporte à definição do plano de teste e aos casos de teste.

Made available in DSpace on 2016-06-02T20:30:59Z (GMT). No. of bitstreams: 1 6753.pdf: 1027111 bytes, checksum: f917ad88a391719d4b58579b729b9075 (MD5) Previous issue date: 2014-12-06 / Early detection of Alzheimer's disease (AD) can assist in the identification of causes of AD and of interventions that can slow the progression of this disease. The aim of this study was to compare language assessment tools used in Brazil to diagnose AD, to determine: (a) which linguistic skills are assessed, (b) which of these instruments present the greatest diagnostic validity and (b) to identify gaps in the language skills that are evaluated and the availability of research information about the precision and validity of each instrument. To obtain this information, the Bireme database was searched using the keywords language AND Alzheimer AND (test OR assessment OR instrument). Studies were selected using the following criteria: (a) data about the diagnostic validity of language tests for the assessment of AD, (b) conducted in Brazil, (c) published in English or Portuguese, (d) with access to the full text. Seven articles met all these criteria. A second search strategy involved obtaining articles with the information we were seeking, which were cited in the seven articles already selected. An additional six articles were encountered. The instruments analyzed included: Verbal Fluency Test, Teste de Rastreio de Doença de Alzheimer com Provérbios, Token Test, Boston Naming Test, Naming Test of Brief Cognitive Battery The Dog Story, Le Boeuf (1976), Protocole Montréal d'Évaluation de la Communication, Boston Diagnostic Aphasia Examination, Arizona Battery for Communication Disorders of Dementia and ASHA FACS. These instruments were compared with respect to the populations evaluated (elderly with no cognitive impairments, with mild cognitive impairments, and with AD), the number of people tested, their educational levels, and indexes for sensitivity (correct classification of AD patients) and specificity (correct classification of people without cognitive impairments), which reflect the precision and validity of each instrument, with respect to the diagnostic process. Among the language tests that were evaluated, the Semantic Verbal Fluency Test appears to be the test with the best levels of diagnostic validity for detecting cognitive changes during the early stages of AD, in comparison with elderly people with no cognitive impairments (sensitivity of 90.5% and specificity of 80.6% among illiterate elderly; sensitivity of 82.6% and specificity of 100% for the diagnosis of elderly people with more than eight years of education). However, there are many gaps in the information available about the precision and validity of this and all the other instruments, restricting their usefulness in diagnosing AD, at this time. / A detecção precoce da doença de Alzheimer (DA) pode auxiliar na identificação das causas desta doença, bem como, para descobrir intervenções que podem retardar sua progressão. Este estudo teve como objetivo analisar instrumentos de avaliação da linguagem para o diagnóstico da DA, em uso no Brasil, a fim de: (a) mapear as habilidades linguísticas abordadas, (b) identificar os instrumentos com maior validade diagnóstica e (c) identificar lacunas nas informações disponíveis sobre as habilidades avaliadas e a precisão e validade destes instrumentos. Foi consultada a base de dados de periódicos Bireme, utilizando as palavras chave language AND Alzheimer AND (test OR assessment OR instrument). Selecionaram-se estudos de acordo com os seguintes critérios: (a) apresentaram informações sobre a precisão ou validade diagnóstica de instrumentos de avaliação da linguagem para a doença de Alzheimer, (b) conduzidos no Brasil, (c) publicados em inglês ou o português, (d) acesso ao texto completo. Sete artigos atenderam todos estes critérios. Uma segunda estratégia de busca consistiu na localização de estudos que continham as informações procuradas, que foram citados nos sete artigos já selecionados. Encontraram-se mais seis artigos relevantes. Os instrumentos analisados foram: Teste de Fluência Verbal, Teste de Rastreio de Doença de Alzheimer com Provérbios, Token Test, Teste de Nomeação de Boston, Teste de Nomeação do Brief Cognitive Battery, The Dog Story, de Le Boeuf (1976), Bateria Montreal de Avaliação da Comunicação (MAC), Teste de Boston para o Diagnóstico da Afasia, Bateria Arizona para Desordens de Comunicação e Demência e ASHA FACS. Foram comparadas informações sobre cada instrumento em relação às populações avaliadas (idosos sem demência, com comprometimento cognitivo leve e com DA leve), o número de pessoas testadas, a escolaridade dos participantes e dois índices de validade de critério, sensibilidade (detecção correta de casos de DA) e especificidade (detecção correta de idosos sem alterações cognitivas), os quais ofereçam algumas informações sobre a precisão e validade do instrumento, no processo de diagnóstico. Entre os testes de linguagem examinados, o Teste de Fluência Verbal semântica parece ser o teste com melhores índices de validade diagnóstica para detectar alterações cognitivas nos estágios iniciais da DA em relação a idosos sem alterações cognitivas (sensibilidade de 90,5% e especificidade de 80,6% entre idosos analfabetos; sensibilidade de 82,6% e especificidade de 100% no diagnóstico de idosos com mais de 8 anos de escolaridade). No entanto, ainda existem muitas lacunas em nossos conhecimentos sobre a precisão a validade deste e dos demais instrumentos, o que restringe sua utilidade no diagnóstico de DA, neste momento.

Made available in DSpace on 2016-06-02T19:04:00Z (GMT). No. of bitstreams: 1 6812.pdf: 4823701 bytes, checksum: d6b0f954a2db7f87a5e2bcda3295cb11 (MD5) Previous issue date: 2014-05-30 / Context: Usually, developers of Embedded Systems (ESs) start the development from models next to the code generation phase, for example, SysML diagrams and Simulink models. Despite the whole use of these models by the ES community, there is a lack of Verification and Validation activities (V&V). The certification standards operate, mainly, on code level. Aim:to define a family of reading techniques Reading Techniques for SysML and Simulink (RTSS) that supports the inspection of these diagrams and models, aiming to improve the process and product quality through defects identification, as soon as artifacts are elaborated. Method: the reading techniques were defined based on a systematic process and they support pairs of artifacts. They take some international certification standards into account, as well as elements from the structure of SysML and Simulink languages. Besides, aiming to suggest the use of these techniques inside a development process, the SYSMOD process was took as reference, since it adopts SysML diagrams and Simulink models along its phases. For evaluating the RTSS techniques two controlled experiments and three case studies were conducted as the techniques were elaborated. Results: the results showed that it is feasible to use the techniques and that they are able to detect defects on the pair of artifacts for the ones they were designed. In addition, it was observed that defects that were not identified and corrected inside the phase they were generated, were propagated to the subsequent phases. Conclusion: Based on these results, we can conclude that the RTSS techniques are able to detect defects as the artifacts are elaborated, avoiding their propagation to further phases. This fact can improve both the process and the product besides minimize the rework and the cost of correcting defects in further phases. Finally, we observed that the techniques can be applied even the SYSMOD process is not being used. In this case, it is enough that the pair of artifacts dialed by each technique is available. / Contexto:Em geral, os desenvolvedores de Sistemas Embarcados (SEs) iniciam tais sistemas a partir da elaboração dos diagramas mais próximos da fase de geração de código, como por exemplo, alguns diagramas SysML e o modelo Simulink. Apesar do amplo uso de tais diagramas pela comunidade de SEs, observa-se uma carência por atividades de Verificação e Validação (V&V). As normas de certificação existentes atuam, principalmente, no nível de código. Objetivo:definir uma família de técnicas de leitura Reading Techniques for SysML and Simulink (RTSS) que dê suporte à atividade de inspeção desses tipos dos diagramas, com o intuito de melhorar a qualidade do processo e do produto gerado, identificando defeitos tão logo os artefatos sejam construídos. Metodologia: as técnicas de leitura foram definidas por meio de um processo sistemático e dão suporte à inspeção de pares deartefatos. Elas levam em consideração algumas normas internacionais de certificação de SEs, além de elementos pertinentes às estruturas das linguagens SysML e Simulink. Além disso, para propiciar o uso das técnicas ao longo de um processo de desenvolvimento, utilizou-se como referência o processo SYSMOD, que adota diagramas SysML e modelos Simulink ao longo de suas fases. Para avaliar as técnicas RTSS foram conduzidos dois experimentos controlados e três exemplos de aplicação,à medida que as técnicas foram elaboradas.Resultados: os resultados mostraram que as técnicas são viáveis de serem utilizadas e que elas são capazes de identificar defeitos nos pares de artefatos para os quais elas foram projetadas. Além disso, constatou-se que defeitos que não foram identificados e corrigidos em uma determinada fase do desenvolvimento, foram propagados para fases subsequentes. Conclusão: Com base nesses resultados, pode-se concluir que as técnicas RTSS são capazes de detectar defeitos à medida que os artefatos são construídos, evitando que eles sejam propagados para fases futuras. Isso pode melhorar a qualidade do processo e do produto e pode também minimizar o retrabalho e o custo de se corrigir um defeito em fases adiantadas. Adicionalmente, as técnicas podem ser aplicadas mesmo que o processo SYSMOD não seja adotado, bastando que se tenha disponível o par de artefatos que é tratado em cada uma das técnicas.

Made available in DSpace on 2016-06-02T19:06:18Z (GMT). No. of bitstreams: 1 6398.pdf: 1432485 bytes, checksum: dbb2a36cf46b2e3c828fe5dd53dc5d1a (MD5) Previous issue date: 2014-10-20 / Financiadora de Estudos e Projetos / Context: The literature on software testing reports on the application of the Mutation Analysis criterion or mutation testing as a promising approach for revealing faults in aspect-oriented (AO) programs. However, it is widely known that this criterion is highly costly due to the large number of generated mutants and the effort required to identify equivalent mutants. We highlight that little existing research on mutation testing for AO programs focuses on cost reduction strategies. Objective: this work aims at investigating the cost reduction of mutation testing for AO programs. In particular, we intend to reduce the cost of mutation testing by identifying a reduced set of mutation operators that are capable of keeping the effectiveness in guaranteeing the quality of the designed test sets. Method: to achieve the goals, we applied an approach called Sufficient Procedure. Such approach yields sufficient (sets of) mutation operators. Test sets that are adequate with respect to mutants produced by sufficient operators are able to reveal the majority of faults simulated by a whole set of mutants. Results: by applying the Sufficient Procedure, we obtained substantial cost reductions for three groups of AO programs. The cost reduction in the experiments range from 52% to 62%. The final mutation scores yielded by the test sets that are adequate to mutants produced by the sufficient operators range from 92% to 94%. Conclusion: with the achieved results, we conclude that it is possible to reduce the cost of mutation testing applied to AO programs without significant losses with respect to the capacity of revealing prespecified fault types. The Sufficient Procedure has shown to be able to support cost reduction and to maintain the effectiveness of the criterion. / Contexto: A literatura de teste de software relata a aplicação do critério Análise de Mutantes ou teste de mutação em programas orientados a aspectos (OA) como uma forma promissora para revelar defeitos. Entretanto, esse critério é reconhecidamente de alto custo devido ao grande número de mutantes usualmente gerados e ao esforço para detectar os mutantes equivalentes. Ressalta-se que as iniciativas de aplicação de teste de mutação nesse contexto apresentam pouco enfoque em estratégias de redução de custo. Objetivo: este trabalho tem como objetivo investigar a redução de custo de teste de mutação para programas OA. Em específico, este trabalho objetiva reduzir o custo do teste de mutação por meio da identificação de um conjunto reduzido de operadores de mutação que mantenham a efetividade do critério em garantir a qualidade dos conjuntos de teste produzidos. Metodologia: para atingir o objetivo proposto, aplicou-se uma abordagem intitulada Procedimento Essencial, a qual resulta em conjuntos de operadores essenciais de mutação. Os testes adequados para os mutantes produzidos com esses operadores são capazes de revelar a maioria dos defeitos simulados em um conjunto completo de mutantes. Resultados: por meio da aplicação do Procedimento Essencial, foi possível obter reduções de custo substanciais para três conjuntos de programas OA. As reduções obtidas nos experimentos variam de 52% a 62%. Os escores de mutação finais alcançados pelos testes adequados aos mutantes produzidos com os operadores essenciais variam de 92% a 94%. Conclusão: com os resultados alcançados neste trabalho pode-se afirmar que é possível reduzir o custo do teste de mutação em programas OA sem perdas significativas na capacidade de revelar tipos de defeitos pré-definidos. O Procedimento Essencial mostrou-se eficaz na redução de custo e na manutenção da efetividade do critério.