Paradigmas e técnicas de desenvolvimento como a programação Orientada a Objetos (OO) e a programação Orientada a Aspectos (OA) procuram melhorar os níveis de reuso e manutenibilidade na produção de software. Contudo, com a introdução de mecanismos com maior poder de expressividade e, consequentemente, a possível introdução de novos tipos de defeitos, a utilização de linguagens OO e OA pode se tornar um obstáculo ao invés de um auxílio ao desenvolvimento de software. Para lidar com esse problema, nesta dissertação é proposta uma abordagem de teste estrutural de integração para programas orientados a objetos e a aspectos implementados em Java e AspectJ. É definido um modelo de fluxo de controle e de dados baseado no bytecode Java { chamado Grafo Def-Uso Contextual (ou Contextual Def-Use graph) - que é uma abstração formada pela integração dos grafos Def-Uso Orientados a Aspectos (AODU) da unidade sob teste com todas as unidades que interagem direta ou indiretamente com ela até um nível de profundidade de interação máximo ou definido pelo testador. São defiidos três critérios de teste: todos-nós-integrados-Nd, todas-arestas-integradas-Nd e todos-usos-integrados-Nd. Para automatizar o uso do modelo e critérios propostos, a ferramenta JaBUTi/AJ foi estendida. Exemplos de usos são discutidos e, por meio de um estudo experimental, uma análise de aplicabilidade da abordagem proposta é apresentada / Development paradigms and techniques such as Object-Oriented (OO) programming and Aspect-Oriented (AO) programming aim at improving reuse levels and maintenability in the software production. However, due to the introduction of mechanisms to support a greater power of expressiveness and, consequently, possible introduction of new type of faults, the use of OO and AO languages might become an obstacle instead of a benefit in the software development. To deal with these problems, in this dissertation is presented an integration structural testing approach for objectand aspect-oriented software based on Java and AspectJ. It is defined a control- and data- ow model based on Java bytecode { called Contextual Def-Use graph { that is an abstraction composed by the integration of Aspect-Oriented Def-Use graphs (AODU) of the unit under testing with the units triggered by the execution of the unit under testing considering either a maximum interaction depth level or an interaction depth level previously defined by the tester. Three testing criteria are also defined: all-integrated-nodes-Nd, all-integrated-edges-Nd and all-integrated-uses-Nd. To automate the use of the model and the testing criteria, the JaBUTi/AJ tool was extended. Usage examples are discussed to explain the approach and an exploratory study is conducted to evaluate the applicability of the proposed approach

Em meados dos anos 90, alguns pesquisadores constataram a existência de certos interesses que, independente da técnica de programação utilizada ou da maneira como o sistema venha a ser decomposto, não se encaixam em módulos individuais, mas ficam espalhados por várias unidades do software (também chamados de interesses transversais). A programação orientada a aspectos (POA) foi concebida como uma proposta de resolução desse problema, a partir do uso de mecanismos que permitem o isolamento dos interesses transversais. Entretanto, por ser uma técnica nova, nesses primeiros anos os pesquisadores preocuparam-se em estabelecer os conceitos e técnicas básicos das linguagens orientadas a aspectos, deixando para uma segunda fase a investigação de outras características do desenvolvimento de programas orientados a aspectos, como métodos de projeto e abordagens de teste. Nesta dissertação é apresentada uma abordagem de teste estrutural para programas orientados a aspectos baseados na linguagem AspectJ, que pode contribuir para o aumento da confiança no software desenvolvido utilizando essa técnica e auxiliar o entendimento das novas construções e comportamentos envolvidos nesses programas. Modelos de fluxo de controle e de dados baseados no código-objeto resultante da compilação/ combinação de programas escritos na linguagem AspectJ são propostos, bem como nove critérios de teste baseados nesses modelos. Uma ferramenta desenvolvida para apoiar o teste estrutural de unidade de programas Java foi estendida para dar apoio aos modelos e critérios propostos nesta dissertação. Além disso, algumas propriedades do teste de integração de programas orientados a aspectos são discutidas teoricamente.

O uso de técnicas e métodos formais contribui para o desenvolvimento de sistemas confiáveis. No entanto, apesar do rigor obtido, em geral, é necessário que essas técnicas sejam complementadas com atividades de teste e validação. Deve-se ressaltar que o custo para eliminar erros encontrados nas etapas iniciais de desenvolvimento é menor do que quando esses erros são encontrados nas fases posteriores. Dessa forma, é essencial a condução de atividades de VV&T - Verificação, Validação e Teste - desde as primeiras fases de desenvolvimento. Critérios de teste, como uma forma sistemática de avaliar e/ou gerar casos de teste de qualidade e, dessa forma, contribuir para aumentar a qualidade da atividade de teste, têm sido investigados para o teste de especificação de Sistemas Reativos. A técnica Redes de Petri Coloridas tem sido constantemente utilizada para a especificação do aspecto comportamental de Sistemas Reativos. Apesar de existirem diversas técnicas de análise, um aspecto não considerado é a cobertura alcançada, visto que, em geral, a aplicação exaustiva não é viável devido ao alto custo. Considerando a relevância do estabelecimento de métodos sistemáticos para o teste e validação dessas especificações, este trabalho propõe a aplicação do critério de teste Análise de Mutantes para o teste de Redes de Petri Coloridas. Neste trabalho foram almejados três objetivos principais, os quais podem ser divididos em estudos teóricos, estudos empíricos e automatização. No contexto de estudos teóricos, foi realizada a definição e embasamento teórico para possibilitar a aplicação da Análise de Mutantes no contexto de Redes de Petri Coloridas. Além disso, investigaram-se mecanismos genéricos para a descrição e geração de mutantes. Definiu-se um algoritmo para a geração de casos de teste baseado na Análise de Mutantes. No contexto de estudos empíricos, foram conduzidos estudos de caso para avaliar a aplicabilidade e eficácia dos resultados teóricos obtidos. Finalmente, no contexto de automatização, foram desenvolvidas ferramentas de apoio à aplicação da Análise de Mutantes. / The usage of formal methods and techniques contributes to the development of highly reliable system, but, in spite of the achieved rigour, these techniques must be complemented with testing and validation activities. It should be highlighted that the cost to eliminate errors found in the early phases of development is smaller than when those errors are found in the later phases. Therefore, the accomplishment of VV&T activities - Verification, Validation and Test - starting at the first development phases is essential. Testing criteria, as a systematic way to evaluate and/or generate test cases, contributing, therefore, to improve the quality of the test activity, have been proposed for testing reactive systems specifications. A technique that has been steadily employed for specifying the behavioural aspect of reactive systems is the coloured Petri nets. Although there are several analysis and validation techniques, a usually neglected aspect is the achieved coverage, given that, in general, the exhaustive application is not feasible due to its high cost. Considering the relevance of establishing systematic methods for the test and validation of coloured Petri nets based specification, this work proposes the investigation of the viability of applying Mutation Testing to test coloured Petri nets. In this work three main goals were pursued, which can be grouped in: theoretical studies, empirical studies and tool development. In the context of theoretical studies, it was accomplished the definition of theoretical concepts to enable the application of Mutant Analysis in the context of coloured Petri nets. Moreover, a mutation-based algorithm was defined to generate test sequences for Petri nets. In the context of empirical studies, case studies were carried out to evaluate the applicability and effectiveness of the achieved theoretical results. Finally, in the context of tool development, tools for supporting the application of Mutation Testing were developed.

Atualmente , uma proliferação de ferramentas e ambientes de Engenharia de Software tem sido observada, impactando positivamente na produção de software. Contudo, apesar do reúso ser foco de muitas das pesquisas em Engenharia de Software, a grande maioria dessas ferramentas e ambientes é construída de forma individual, sem a preocupação com o reúso dos esforços de desenvolvimento. Além disso, a literatura carece de trabalhos que estabeleçam arquiteturas de referência adequadas para esses ambientes, o que pode estar influenciando nas dificuldades de integração e evolução que esses ambientes têm sofrido. Não sendo diferente, o domínio de teste de software tem contribuído com uma diversidade de ferramentas de teste, viabilizando a condução de estudos comparativos de diversos critérios e técnicas de teste que vêm sendo propostos. Vale destacar também que não se encontram na literatura trabalhos que abordem o desenvolvimento de ferramentas de teste de forma efetiva e com base em reúso; adicionalmente, observa-se a carência de arquiteturas de referência adequadas, recentes e eficazes para a construção de ferramentas para esse domínio. Apesar das vantagens da Web como plataforma de disponibilização de sistemas de software, ainda são poucas as iniciativas de ferramentas e ambientes de Engenharia de Software para essa plataforma. Nesse contexto, o objetivo deste trabalho consiste em investigar mecanismos que facilitem o desenvolvimento de ambientes e ferramentas de Engenharia de Software, visando à diminuição dos custos de desenvolvimento e manutenção. Mais especificamente, será estabelecida uma arquitetura de referência de ambientes de Engenharia de Software, buscando atender, em especial, à evolução contínua e à facilidade de uso e integração que esses ambientes requerem. Para isso, serão também explorados diversos mecanismos de forma a estabelecer uma arquitetura adequada e, ao mesmo tempo, eficaz, baseado no desenvolvimento orientado a aspectos, no uso de frameworks e de ontologias, bem como na norma internacional ISO/IEC 12207. Um estudo de caso para refinamento da arquitetura de referência proposta para o domínio de teste de software é apresentado. Por fim, com base na experiência do estudo de caso, é estabelecido um processo preliminar de especialização e instanciação arquitetural para a construção de arquiteturas de referência para domínios específicos de Engenharia de Software / Recently, a proliferation of Software Engineering tools and environments has been observed, with positive impact on software production. However, despite reuse being the focus of many research in Software Engineering area, most tools and environments have been built individually, without attention in the reuse of development efforts. Moreover, there is a lack of works that propose reference architectures to these environments which can be influencing in the difficulties of evolution and integration that these environments have been suffered. In the same way, a diversity of tools has been also proposed in the Software Testing domain, making it possible the conduction of comparative studies of testing techniques and criteria. It is also important to highlight that works that discuss the development of testing tools in an effective way and based on reuse can not be found; in addition, there is a lack of adequate, recent and efficient reference architectures to that domain. Despite advantages of the Web as a platform to make available software systems, there are few initiatives of Software Engineering tools and environments. In this context, this work aims at investigating facilities to develop Software Engineering tools and environments for Web platform, aiming at low cost in development and maintenance. In particular, a reference architecture for Software Engineering environment is established, aiming at attempting the continuous evolution and facilities of use and integration required by these environments. This architecture is based on diverse mechanisms, such as aspect oriented programming, frameworks, ontologies and international standard ISO/IEC 12207. Following, a case study is conducted, aiming at establishing a reference architecture for Software Testing domain. Based on this case study experience, a preliminary process that involves the architectural specialization and instantiation to derive reference architectures for specific domains, such as analysis, design and testing, is established

Este trabalho descreve a Klein, uma biblioteca genérica para álgebra linear em C++. A Klein facilita o uso de matrizes e vetores, permitindo que o usuário programe de modo similar ao Matlab. Com ela podemos, por exemplo, implementar um passo do método de Newton para a função f, através da expressão x = x - inv(jac(x)) * f(x), onde x é o vetor, jac a Jacobiana e inv a inversa. Além disso, por se tratar de uma biblioteca genérica, os tipos envolvidos nestas expressões podem ser escolhidos pelo programador. O trabalho também discute como a biblioteca é testada, tanto do ponto de vista de corretude quanto de desempenho. / We describe the Klein library, a generic libray for linear algebra in C++. It simplifies the use of vectors and matrices and let the user program as in Matlab. With Klein, one can for instance implement Newton\'s method as x = x - inv(jac(x)) * f(x), where x is a vector, jac is the Jacobian matrix, inv is the inverse operator and f(x) is the function of which we want to find zero. Moreover, Klein is generic in the sense that it allows the use of arbitrary types of scalars (float, double, intervals, rationals, etc). We also explain how it is tested, both for correctness and performance.

Atualmente , uma proliferação de ferramentas e ambientes de Engenharia de Software tem sido observada, impactando positivamente na produção de software. Contudo, apesar do reúso ser foco de muitas das pesquisas em Engenharia de Software, a grande maioria dessas ferramentas e ambientes é construída de forma individual, sem a preocupação com o reúso dos esforços de desenvolvimento. Além disso, a literatura carece de trabalhos que estabeleçam arquiteturas de referência adequadas para esses ambientes, o que pode estar influenciando nas dificuldades de integração e evolução que esses ambientes têm sofrido. Não sendo diferente, o domínio de teste de software tem contribuído com uma diversidade de ferramentas de teste, viabilizando a condução de estudos comparativos de diversos critérios e técnicas de teste que vêm sendo propostos. Vale destacar também que não se encontram na literatura trabalhos que abordem o desenvolvimento de ferramentas de teste de forma efetiva e com base em reúso; adicionalmente, observa-se a carência de arquiteturas de referência adequadas, recentes e eficazes para a construção de ferramentas para esse domínio. Apesar das vantagens da Web como plataforma de disponibilização de sistemas de software, ainda são poucas as iniciativas de ferramentas e ambientes de Engenharia de Software para essa plataforma. Nesse contexto, o objetivo deste trabalho consiste em investigar mecanismos que facilitem o desenvolvimento de ambientes e ferramentas de Engenharia de Software, visando à diminuição dos custos de desenvolvimento e manutenção. Mais especificamente, será estabelecida uma arquitetura de referência de ambientes de Engenharia de Software, buscando atender, em especial, à evolução contínua e à facilidade de uso e integração que esses ambientes requerem. Para isso, serão também explorados diversos mecanismos de forma a estabelecer uma arquitetura adequada e, ao mesmo tempo, eficaz, baseado no desenvolvimento orientado a aspectos, no uso de frameworks e de ontologias, bem como na norma internacional ISO/IEC 12207. Um estudo de caso para refinamento da arquitetura de referência proposta para o domínio de teste de software é apresentado. Por fim, com base na experiência do estudo de caso, é estabelecido um processo preliminar de especialização e instanciação arquitetural para a construção de arquiteturas de referência para domínios específicos de Engenharia de Software / Recently, a proliferation of Software Engineering tools and environments has been observed, with positive impact on software production. However, despite reuse being the focus of many research in Software Engineering area, most tools and environments have been built individually, without attention in the reuse of development efforts. Moreover, there is a lack of works that propose reference architectures to these environments which can be influencing in the difficulties of evolution and integration that these environments have been suffered. In the same way, a diversity of tools has been also proposed in the Software Testing domain, making it possible the conduction of comparative studies of testing techniques and criteria. It is also important to highlight that works that discuss the development of testing tools in an effective way and based on reuse can not be found; in addition, there is a lack of adequate, recent and efficient reference architectures to that domain. Despite advantages of the Web as a platform to make available software systems, there are few initiatives of Software Engineering tools and environments. In this context, this work aims at investigating facilities to develop Software Engineering tools and environments for Web platform, aiming at low cost in development and maintenance. In particular, a reference architecture for Software Engineering environment is established, aiming at attempting the continuous evolution and facilities of use and integration required by these environments. This architecture is based on diverse mechanisms, such as aspect oriented programming, frameworks, ontologies and international standard ISO/IEC 12207. Following, a case study is conducted, aiming at establishing a reference architecture for Software Testing domain. Based on this case study experience, a preliminary process that involves the architectural specialization and instantiation to derive reference architectures for specific domains, such as analysis, design and testing, is established

Developing countries like Tanzania experience challenges towards utilization and acceptance of ICT; calling for a need to further research on the concept. Open Source (OS) usage is a potential strategy for addressing such challenges. However, the success of this strategy strongly relies on the strength of the promotional efforts. The study, therefore aims at assessing the OS promotional efforts in relation to ICT acceptance challenges in Tanzania. This study entailed a descriptive, mixed-methods research. A literature analysis, document analysis and observations of OS community activities were conducted in order to list the ICT acceptance challenges. The results formed a basis for survey and interview questions. The findings obtained were triangulated to determine the existing OS promotional activities and assess the effectiveness of the promotional efforts in addressing ICT acceptance challenges in Tanzania. The study also makes recommendations on how OS promotional efforts should be changed to improve their effectiveness. / Computing / M.Sc. (Information Systems)

This thesis deals with implementation of continuous integration for build system Copr. The implementation uses framework Citool and its modules, which are already used for continuous integration of build system Koji. The outcome system can run the tests for the new package from the build system Copr and test it on virtual machine. This thesis shows way how to implement continuous integration for build system Copr.

The subject of this thesis is web applications quality assurance using automated testing tools. The main goal of this thesis is design and implementation solution for automated regression testing of map web application. In the first chapter are described principles of software quality assurance focused to software testing. After that follows chapter about the possibility of automatic software testing based on analysis tools available to support automated testing of web applications. Next chapters of this thesis are devoted to choosing the ideal tool of automated testing, design and implementation of solutions for automated regression testing of web map application.

This thesis is about software testing and mainly focused on performance testing of web applications. The introductory chapters outline problems of testing, identification of key issues, explanation of general concepts and software quality, differences between desktop and web application testing and finally - performance testing. Then, there is chosen a web application suitable for testing (Kentico CMS 6) and comparison of existing tools for performance and load testing. One of them (Microsoft Visual Studio 2010 Ultimate Edition) is chosen for the further testing. Therefore, several test scenarios are designed and implemented (including demonstration of creating, editing and debugging, extending with plug-ins, maintaining, running in a distributed environment, etc.). Finally, there are introduced testing reports and suggestions for the further testing.