No desenvolvimento de software, a qualidade do produto está diretamente relacionada à qualidade do processo de desenvolvimento. Diante disso, atividades de Verificação, Validação & Teste (VV&T) realizadas por meio de métodos, técnicas e ferramentas são de extrema necessidade para o aumento da produtividade, qualidade e diminuição de custos no desenvolvimento de software. Do mesmo modo, técnicas e critérios contribuem para a produtividade das atividades de teste. Um ponto crucial para o teste de software é sua automatização, tornando as atividades mais confiáveis e diminuindo significativamente os custos de desenvolvimento. Na automatização dos testes, os oráculos são essenciais, representando um mecanismo (programa, processo ou dados) que indica se a saída obtida para um caso de teste está correta. Este trabalho de mestrado utiliza a ideia de mutação para criar implementações alternativas de oráculos de teste e, assim, avaliar a sua qualidade. O teste de mutação se refere à criação de versões do sistema em desenvolvimento com pequenas alterações sintáticas de código. A mutação possui alta eficácia na detecção de defeitos e é bastante flexível na sua aplicação, podendo ser utilizada em diversos tipos de artefatos. Adicionalmente, este trabalho propõe operadores de mutação específicos para oráculos, implementa uma ferramenta de apoio à utilização desses operadores para oráculos e também descreve um estudo empírico dos operadores, destacando benefícios e desafios associados ao seu uso. / In software development, product quality is directly related to the quality of the development process. Therefore, activities of Verification, Validation & Testing (VV&T) performed by methods, techniques and tools are urgently required to increase productivity, quality and cost reduction in software development. Similarly, testing technique and criteria contribute to the productivity of test activities. A crucial point for the software testing automation is making the most reliable activities and significantly reducing development costs. Regarding software testing automation, test oracles are essential, representing an mechanism (program, process or data) to indicate whether the actual output for a given test case is correct. This masters thesis aims to explore concepts of mutation testing to create alternative implementations of the oracle procedure and thus assess their quality. Mutation testing refers to the creation of system development versions with minor syntactic code changes. It has high efficiency on defects detecting and it is very flexible in its application and it is being used in various types of artifacts. This work also proposes specific mutation operators for oracles, implements an useful support tool for using these oracle mutation operators and conducts an empirical study of operators, highlighting benefits and challenges associated with their use.

O teste de software é reconhecido como uma importante atividade na garantia da qualidade de sistemas de software. Com o objetivo de dar apoio a essa atividade, uma diversidade de ferramentas de teste têm sido desenvolvida. Entretanto, grande parte dessas ferramentas é construída de forma isolada, possuindo arquiteturas e estruturas próprias, o que tem impactado negativamente a capacidade de integração e o reúso dessas ferramentas. Nesse contexto, esforços têm sido dedicados à disponibilização de ferramentas de teste orientadas a serviço, ou seja, ferramentas que são baseadas na SOA (Service Oriented Architecture). Em uma outra perspectiva, arquiteturas de referência têm desempenhado um importante papel no desenvolvimento de sistemas de software, uma vez que contém informações sobre como desenvolver sistemas para um determinado domínio de aplicação, buscando contribuir para o sucesso de sistemas desse domínio. Assim, o principal objetivo deste trabalho é o estabelecimento de uma arquitetura de referência orientada a serviço, denominada RefTEST-SOA (Reference Architecture for Software Testing Tools based on SOA), que agrega o conhecimento e a experiência de como organizar ferramentas de teste orientadas a serviço, visando também à integração, à escalabilidade e o reúso providos pela SOA. Para o estabelecimento dessa arquitetura, foi utilizado o ProSA-RA, um processo que sistematiza o projeto, representação e avaliação de arquiteturas de referência. Resultados alcançados no estudo de caso conduzido evidenciam que a RefTEST-SOA é uma arquitetura viável e reusável para o desenvolvimento de ferramentas de teste orientadas a serviço / Software testing is considered as an important activity to ensure the quality of software systems. To support such activity, a diversity of testing tools have been developed. However, most of them have been separately built and have usually their particular structures and architectures, which has hindered the integration and reuse of these tools. In this context, efforts have been employed in order to provide service-oriented testing tools, i.e., tools that are based on SOA (Service Oriented Architecture). In another perspective, reference architectures have played an important role in the development of software systems, since they contain information about how to develop systems for a particular application domain, contributing to the success of systems in that domain. Thereby, our main objective is to establish a service-oriented reference architecture, named RefTEST-SOA (Reference Architecture for Software Testing Tools based on SOA), which aggregates the knowledge and experience about how to organize service-oriented testing tools, also aiming at integration, scalability and reuse provided by SOA. To establish this architecture, we have used ProSA-RA, a process that provides guidelines to the design, representation and evaluation of reference architectures. Results achieved by a conducted case study indicate that RefTEST-SOA is a viable and reusable architecture for developing service-oriented testing tools

Made available in DSpace on 2014-06-12T15:55:54Z (GMT). No. of bitstreams: 2 arquivo2331_1.pdf: 1723278 bytes, checksum: 1074d6fd52a0438cb50b50df400e2be3 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / No mercado atual torna-se cada vez mais necessário um software com um alto nível de qualidade e que satisfaça o cliente. Para que os produtos sejam entregues com mais qualidade é vital a realização de testes de software. Há empresas que não investem adequadamente na área de testes. Não existe uma equipe dedicada apenas às atividades de testes de software, não há um processo definido para Teste de Software. Nessas empresas a principal técnica de teste utilizada é a execução de Testes Exploratórios. Neste cenário, na maioria das vezes os testes exploratórios são realizados de maneira informal, se baseiam na intuição e dependem da habilidade e experiência do testador. Este trabalho propõe boas práticas e um processo para testes exploratórios com o intuito de melhorar os resultados obtidos com a utilização desta técnica. O intuito é ajudar empresas que executam testes exploratórios a elevar o nível de qualidade dos testes realizados e dos softwares produzidos. Assim, a ideia é propor um processo que possa ser seguido por essas empresas e que atenda a padrões já conhecidos e respeitados no mercado. Foi realizado um experimento, no qual o processo proposto foi aplicado em uma célula de uma empresa por dois meses. A aplicação do mesmo apresentou vários benefícios e pretende-se adotá-lo formalmente

Submitted by Lúcia Brandão (lucia.elaine@live.com) on 2015-12-11T18:49:43Z No. of bitstreams: 1 Tese - Herbert Oliveira Rocha.pdf: 2090300 bytes, checksum: 94ec40933733aec0a76afd0916b0f8cb (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-01-19T14:41:05Z (GMT) No. of bitstreams: 1 Tese - Herbert Oliveira Rocha.pdf: 2090300 bytes, checksum: 94ec40933733aec0a76afd0916b0f8cb (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-01-19T14:54:32Z (GMT) No. of bitstreams: 1 Tese - Herbert Oliveira Rocha.pdf: 2090300 bytes, checksum: 94ec40933733aec0a76afd0916b0f8cb (MD5) / Made available in DSpace on 2016-01-19T14:54:32Z (GMT). No. of bitstreams: 1 Tese - Herbert Oliveira Rocha.pdf: 2090300 bytes, checksum: 94ec40933733aec0a76afd0916b0f8cb (MD5) Previous issue date: 2015-07-03 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Oneofthemainchallenges insoftwaredevelopment istoensurethesafetyofthesoftwaresystems, especially in critical embedded systems, such as aircraft or healthcare, where several constraints (e.g., response time and data accuracy) must be met and measured in accordance with the user requirements, otherwise a failure can lead to catastrophic situations. Thus, software verification and testing techniques are essential items for the software development with quality, where such techniques aim to confirm the user requirements, as well as, the predetermined behaviors for the software. In the software verification context, aiming the product quality, the formal verification technique called model checking has been used to find subtle errors in actual projects of the software systems. However, the use of the model checking technique presents some challenges such as dealing with the model’s state explosion problem, integration with software testing environments more familiar to designers, and handling counter-examples to reproduce the identified errors. In order to deal with these problems, a possible solution is to explore the characteristics already provided by the model checkers, e.g., verification of the safety properties and generation of counter-examples. Exploring this set of characteristics, coupled with the use of program invariants inference and a special kind of model checking, called Bounded Model Checking (BMC), this thesis presents a set of methods to complement and enhance the scalability and accuracy of the verification performed by Bounded Model Checkers. These methods adopted code transformation techniques to explore the characteristics of Bounded Model Checkers to analyze the safety properties and demonstrate errors in programs written inthe C programming language. The methods presented in this thesis are: (1) The automatic generation and verification of the test cases based on safety properties generated by a Bounded Model Checker for unit tests; (2) Automating thecollection andmanipulation of thedatafrom thecounter-examples, todemonstrate the main cause of the identified error; and (3) Adopting program invariants dynamically/statically inferred from the analyzed program, to restrict the exploration of the states sets while performing the verification by the BMC. This way, helping to improve the verification performed by a BMC, related to assist in the verification and accuracy of results, by adoption of the program invariants. The proposed approaches when used separately, provide additional options to the verification, and interconnected, improving the code verification. Theexperimental results of theproposed methods show to be efficient over public available benchmarks of C programs, finding errors not previously found byother methods that are state-of-the-art. / Um dos principais desafios no desenvolvimento de software é garantir a funcionalidade dos sistemas de software, especialmente em sistemas embarcados críticos, tais como aeronáutico ou hospitalar, onde diversas restrições (por exemplo, tempo de resposta e precisão dos dados) devem ser atendidas e mensuradas de acordo com os requisitos do usuário, caso contrário uma falha pode conduzir a situações catastróficas. Logo, técnicas de verificação e teste de software são itens indispensáveis para um desenvolvimento com qualidade, onde tais técnicas visam confirmar os requisitos do usuário, bem como os comportamentos pré-estabelecidos para osoftware. No contexto de verificação de software, visando à qualidade geral do produto, a técnica de verificação formal model checking tem sido utilizada para descobrir erros sutis em projetos de sistemas de software atuais. Contudo, a utilização da técnica model checking apresenta alguns desafios, tais como, lidar com a explosão do espaço de estados do modelo, integração com outros ambientes de testes mais familiares aos projetistas e tratamento e análise de contra-exemplos para reprodução de erros. De modo a lidar com estes problemas, uma possível solução é explorar as características já providas pelos model checkers, por exemplo, a verificação de propriedades de segurança e geração de contra-exemplos. Explorando este conjunto de características, juntamente com autilização dainferência deinvariantes eumtipo especial demodelchecking, denominado de BoundedModelChecking (BMC),esta tese apresenta um conjunto de métodos para complementar e aprimorar a escalabilidade e acurácia da verificação efetuada por Bounded Model Checkers. Estes métodos utilizam técnicas de transformações de código para explorar as características de Bounded Model Checkers, a fim de analisar propriedades de segurança e demonstrar erros em códigos escritos na linguagem de programação C. Os métodos apresentados nesta tese são: (1) A geração e verificação automática de casos de teste baseado em propriedades de segurança geradas por um Bounded Model Checker para testes de unidade; (2) Automatizar acoleta emanipulação das informações dos contra-exemplos, de modo a demonstrar a causa principal do erro identificado; e (3) Utilização de invariantes dinamicamente/estaticamente inferidas, a partir do programa analisado, para restringir a exploração dos conjuntos de estados durante a execução da verificação pelo BMC. Desta forma, ajudando no aprimoramento da verificação efetuada por um BMC, no que concerne em auxiliar a sua verificação e na precisão dos resultados, pela utilização de invariantes de programas. As abordagens propostas, quando utilizadas isoladamente, fornecem alternativas complementares a verificação e, interligadas, aprimoram a verificação de código. Os resultados experimentais dos métodos propostos demonstram ser eficientes sobre benchmarks públicos de programas em C, encontrando defeitos não anteriormente encontrados por outros métodos que são estado-da-arte.

Submitted by bruna ortiz (brunaortiz.f@gmail.com) on 2016-07-18T13:35:01Z No. of bitstreams: 1 Dissertacao-Rodrigo dos Anjos C. Reis.pdf: 2208200 bytes, checksum: f7aa5497dd6ebb439dea02d6e500808f (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-07-28T13:51:31Z (GMT) No. of bitstreams: 1 Dissertacao-Rodrigo dos Anjos C. Reis.pdf: 2208200 bytes, checksum: f7aa5497dd6ebb439dea02d6e500808f (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-07-28T13:57:04Z (GMT) No. of bitstreams: 1 Dissertacao-Rodrigo dos Anjos C. Reis.pdf: 2208200 bytes, checksum: f7aa5497dd6ebb439dea02d6e500808f (MD5) / Made available in DSpace on 2016-07-28T13:57:04Z (GMT). No. of bitstreams: 1 Dissertacao-Rodrigo dos Anjos C. Reis.pdf: 2208200 bytes, checksum: f7aa5497dd6ebb439dea02d6e500808f (MD5) Previous issue date: 2016-03-14 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Mobile computing is currently everywhere. Applications running on mobile devices (e.g. smartphones and tablets) are becoming increasingly popular and they represent a revolution in the information technology sector. The exponential growth of this market and the criticality of the developed systems impose greater attention to reliability aspects of these applications. Mobile applications are not free of defects, and new software engineering approaches are needed to test them. In addition to the considerable increase in the use of mobile devices in recent years, allowing users to perform more tasks in a mobile environment, technological advances in mobile devices and communication networks, has made it possible the context awareness, characteristic of ubiquitous computing. One of the ways to evaluate the quality of these applications is through testing. This paper proposes the definition of a testing technique to support the generation of test cases for Context Aware mobile applications in order to decrease the amount of test cases generated for this type of application, decrease the generation time of these test cases increase the contexts coverage achieved with these test cases and facilitate the management of the tests generated by a tool support. The results obtained in controlled experiment conducted with two scenarios of context aware mobile applications provided evidence regarding the feasibility of this work. MTContext approach contributed to the generation of test cases with significant statistical difference when compared to Ad Hoc approach concerned with the higher contexts coverage during test cases generation. However, the results of this experiment showed limitations and possible upgrades to MTContext approach that will be addressed in future work. / A computação móvel está atualmente em todos os lugares. Aplicações executando em dispositivos móveis (ex: smartphones e tablets) estão se tornando cada vez mais populares e elas representam uma revolução no setor de tecnologia da informação. O exponencial crescimento deste mercado e da criticidade dos sistemas desenvolvidos impõem uma maior atenção a aspectos de confiabilidade destas aplicações. As aplicações móveis não são livres de defeitos, e novas abordagens de engenharia de software são necessárias para testar as aplicações. Além do aumento considerável da utilidade de dispositivos móveis nos últimos anos, permitindo aos usuários executar mais tarefas em um contexto móvel, os avanços tecnológicos nas áreas de dispositivos móveis e redes de comunicação tem tornado possível a sensibilidade ao contexto, característica da computação ubíqua. Umas das formas de avaliar a qualidade dessas aplicações é por meio de testes. Este trabalho propõe a definição de uma técnica de teste para apoiar a geração de casos de teste para aplicações móveis sensíveis ao contexto visando diminuir a quantidade de casos de testes gerados para este tipo de aplicação, diminuir o tempo de geração desses casos de teste, aumentar a cobertura de contextos alcançados com esses casos de teste e facilitar o gerenciamento dos testes gerados por meio de um apoio ferramental. Os resultados obtidos no experimento controlado realizado com dois cenários de aplicações móveis sensíveis ao contexto forneceram indícios de viabilidade deste trabalho visto que a abordagem MTContext contribuiu para a geração de casos de teste com diferença estatisticamente significante em relação a abordagem de comparação Ad Hoc no que se diz respeito a maior cobertura de contextos. Porém, os resultados deste experimento evidenciaram limitações e possíveis evoluções para abordagem MTContext que serão tratados em trabalhos futuros.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-12-22T19:36:14Z No. of bitstreams: 2 Dissertação_Kariny Oliveira.pdf: 3484399 bytes, checksum: 461fcb482a3367d9b068b8c433b45766 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2017-12-22T19:37:40Z (GMT) No. of bitstreams: 2 Dissertação_Kariny Oliveira.pdf: 3484399 bytes, checksum: 461fcb482a3367d9b068b8c433b45766 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-12-22T19:37:40Z (GMT). No. of bitstreams: 2 Dissertação_Kariny Oliveira.pdf: 3484399 bytes, checksum: 461fcb482a3367d9b068b8c433b45766 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-09-25 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The evolution of mobile applications in recent years has resulted in a constant challenge for the Software Engineering area. The exponential growth of this market and the criticality of the developed systems impose a greater attention to quality aspects of these applications, such as which test technique to apply to certain types of applications. Software testing consumes a significant amount of project resources and development cycle time. Normal test costs range from 40% to 85%, according to the application's criticality. Therefore, any inititive to reduce the effort, time, or cost of the development cycle should include the testing process, and this should be tailored according to the characteristics of the application under test. As an alternative to support this scenario, this work proposes the development of a Software Process Line (SPrL) in order to simplify the control of variabilities and enable the derivation of new mobile application testing processes, assisting the test manager/leader in the selection of test elements (i.e. activities, test types, test level, responsible for activities, phases and tools), taking into account the specificities of each application. The tool called MTPLT (Mobile Testing Process Line Tool) was developed with the aim of providing the necessary tooling support to the manager/test leader, facilitating the manipulation of data related to the application and aid in decision making regarding the process to be adopted. The MTPLT was evaluated by experts in software testing in order to verify its feasibility in industry environments. As a result, it was observed a tendency to acceptance when observed the requirements perceived utility and ease of use. In the perceived utility, 46 positive responses were obtained against 4 negative responses. When analyzing ease of use, 30 positive and only 3 negative responses were obtained. Analyses were carried out evaluating profiles, experience times and roles performed. Most of the participants with previous experience on the industry and researchers presented considerations regarding the presentation of content and the addition of features. / A evolução das aplicações móveis nos últimos anos tem resultado em um desafio constante para a área de Engenharia de Software. O exponencial crescimento desse mercado e da criticidade dos sistemas desenvolvidos impõem uma maior atenção a aspectos de qualidade dessas aplicações, como por exemplo qual técnica de teste aplicar a certos tipos de aplicações. O teste de software consome uma quantidade significativa de recursos do projeto e tempo do ciclo de desenvolvimento. Custos normais de teste variam de 40% a 85%, de acordo com a criticidade da aplicação. Sendo assim, qualquer iniciativa para reduzir o esforço, tempo ou custo do ciclo de desenvolvimento deve incluir o processo de testes, e este deve ser adaptado de acordo com as características da aplicação a ser testada. Como alternativa de apoio a este cenário, este trabalho propõe o desenvolvimento de uma Linha de Processo de Software (LPrS) de modo a simplificar o controle de variabilidades e possibilitar a derivação de novos processos de testes de aplicações móveis, auxiliando o gerente/líder de testes na seleção de elementos de teste (i.e. atividades, tipos de teste, nível de teste, responsáveis pelas atividades, fases e ferramentas) mais adequados, levando em consideração as especificidades de cada aplicação. Uma ferramenta intitulada MTPLT (Mobile Testing Process Line Tool) foi desenvolvida com o objetivo de oferecer o apoio ferramental necessário ao gerente/líder de teste, facilitando a manipulação de dados referentes à aplicação e auxílio na tomada de decisão a respeito do processo a ser adotado. A ferramenta MTPLT foi submetida à avaliação por especialistas da área de teste de software com o objetivo de verificar sua viabilidade de uso. Como resultado, foi observada uma tendência à aceitação quando observados os quesitos utilidade percebida e facilidade de uso. Em utilidade percebida foram obtidas 46 respostas positivas contra 4 respostas negativas. Ao analisar a facilidade de uso, foram obtidas 30 respostas positivas e apenas 3 negativas. Também foram realizadas análises avaliando perfis, tempos de experiência e papéis desempenhados. Participantes com experiência em atuação na indústria e em pesquisas científicas apresentaram considerações a respeito da ferramenta quanto a apresentação de conteúdo e adição de funcionalidades.

Contexto: Apesar de existirem muitas informações sobre a área de teste de software, elas se encontram de forma dispersa e sem conexão, o que aumenta a já existente dificuldade por parte de usuários em compreender os conceitos e as tecnologias dessa área e, conseqüentemente, em tomar a decisão de onde e quando usálas. Objetivo: O objetivo deste trabalho foi criar o arcabouço KITest (Knowledge and Improvement on Test) capaz de agregar o conhecimento em teste e disponibilizá-lo para a comunidade com a intenção de facilitar a sua transferência, a definição e a melhoria de processos de teste, com mais qualidade. Metodologia: Para facilitar a transferência de conhecimento modelou-se o conhecimento em teste por meio de um processo genérico de teste organizado em um mapa mental (KITMap). Para contemplar a questão de qualidade estabeleceu-se como base as práticas do modelo TMMi, distribuídas no processo de teste genérico. Para permitir que a comunidade interaja com essa base de conhecimento em teste criou-se uma ferramenta (KITTool) que permita acesso a essas informações, faça diagnóstico do processo de teste vigente e sugira melhorias. Para gerenciar toda essa estrutura utilizou-se uma estratégia de melhoria para que essa estrutura esteja sempre em evolução com base na realimentação da comunidade que a utiliza. Resultados e Conclusões: os resultados e as conclusões sobre a aplicação do arcabouço KITest estão apresentados no relatório técnico anexo a esta tese / Background: Although there is much information about the software testing area, they are dispersed and disconnected, thus hardening the understanding of concepts and technologies within this area. Consequently, this increases the difficulty on making decisions on where and when to use such testing-related information. Objective: The objective of this work was to create the KITest framework (Knowledge and Improvement on Test) aiming at aggregating knowledge of software testing and making it available to the community. The purpose of KITest is facilitating the knowledge transfer and supporting the definition and improvement of testing processes with respect to its quality. Methodology: Aiming to facilitate the knowledge transfer, the testingrelated knowledge was modeled through a generic testing process organized as a mental map (KITMap). TMMi was chosen as the underlying model to address the intended quality issues. The TMMi practices were distributed into the general testing process. To allow the communitys interaction with the testing knowledge base, we created a tool named KITTool. The tool allows the access to the testing-related information, supports the diagnosis of the current testing process and the suggestion of improvements to it. To manage all this structure, an improvement strategy is used to maintain a continuous evolution based on the communitys feedback. Results and Conclusions: The results and conclusions on the implementation of the KITest framework are described in the technical report that is attached to this dissertation

O teste baseado em modelos tem como objetivo auxiliar a atividade de testes, gerando conjuntos de casos de teste a partir de modelos, como Máquinas de Estados Finitos (MEFs). Diversos métodos de geração de conjuntos de caso de teste têm sido propostos ao longo das últimas décadas, com algumas contribuições recentes. Dentre esses trabalhos, há os que geram seqüências de verificação que são conjuntos de caso de teste formados por uma única seqüência e que são capazes de detectar os defeitos de uma implementação cujo comportamento pode ser modelado a partir de uma MEF. Neste trabalho é proposto um algoritmo de geração de seqüências de verificação que tem a finalidade de gerar seqüências menores que as seqüências geradas pelos métodos existentes. O algoritmo, que é baseado na técnica de algoritmos genéticos e nas condições de suficiência para a completude de casos de teste, consiste basicamente em criar novas seqüências a partir de seqüências menores. Por meio de mutações, novas seqüências são geradas pelo algoritmo. As condições de suficiência são utilizadas para determinar quais seqüências geradas são seqüências de verificação. Também são apresentados neste trabalho os estudos experimentais realizados para determinar o comportamento do algoritmo diante de diferentes contextos / Model-based testing aims at aiding the testing activity, generating test cases from models such as Finite State Machines (FSM). Several test cases generation methods have been proposed along the last decades, with some recent contributions. Among these works, there are those that generate checking sequences, which are test cases formed by a single sequence and which are capable of detecting faults in an implementation whose behavior can be modeled as an FSM. This work proposes a checking sequences generation algorithm which aims at generating sequences smaller than the sequences generated by existing methods. The algorithm, which is based on the genetic algorithms technique and sufficient conditions for completeness of test cases, basically consists of creating new sequences from small sequences. Through mutations, new sequences are generated by the algorithm. The suffcient conditions are used to determine which sequences are checking sequences. Experimental studies are presented in this work to determine the behavior of the algorithm on different contexts

Made available in DSpace on 2014-06-12T18:01:33Z (GMT). No. of bitstreams: 2 arquivo1467_1.pdf: 8939578 bytes, checksum: 6e08f611bd2f6e7b7869ce15c25ebace (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / No mercado atual torna-se cada vez mais necessário um software com um alto nível de qualidade e que satisfaça o cliente. Para que os produtos sejam entregues com mais qualidade é vital a realização de testes de software. Há empresas que não investem adequadamente na área de testes. Não existe uma equipe dedicada apenas às atividades de testes de software, não há um processo definido para Teste de Software. Nessas empresas a principal técnica de teste utilizada é a execução de Testes Exploratórios. Neste cenário, na maioria das vezes os testes exploratórios são realizados de maneira informal, se baseiam na intuição e dependem da habilidade e experiência do testador. Este trabalho propõe boas práticas e um processo para testes exploratórios com o intuito de melhorar os resultados obtidos com a utilização desta técnica. O intuito é ajudar empresas que executam testes exploratórios a elevar o nível de qualidade dos testes realizados e dos softwares produzidos. Assim, a ideia é propor um processo que possa ser seguido por essas empresas e que atenda a padrões já conhecidos e respeitados no mercado. Foi realizado um experimento, no qual o processo proposto foi aplicado em uma célula de uma empresa por dois meses. A aplicação do mesmo apresentou vários benefícios e pretende-se adotá-lo formalmente

Programas concorrentes possuem características que os diferenciam de programas sequenciais, tornando a atividade de teste mais complexa. Questões como definição e uso de variáveis por diferentes processos, comunicação, sincronização e comportamento não-determinístico precisam ser consideradas. Apesar dos avanços obtidos nesse contexto, um problema que ainda persiste é o custo da atividade de teste, relacionado principalmente ao número excessivo de elementos requeridos a serem testados. Neste contexto, este trabalho apresenta duas propostas: a primeira estática, focando na detecção automática de elementos requeridos não-executáveis, para os critérios relacionados a sincronizações; e a segunda dinâmica, aplicando-se o teste de alcançabilidade para apoiar a avaliação da cobertura de sequências de sincronizações, desse modo, usando informações dinâmicas para apoiar o teste de cobertura. Estas propostas foram implementadas na ferramenta ValiMPI e um experimento foi realizado a fim de verificar a eficácia da proposta. Os resultados indicam que as duas propostas implementadas neste trabalho são promissoras e auxiliam a reduzir o custo da atividade de teste / Concurrent programs present new features, such as: nondeterminism, concurrency, synchronization and communication. These features need to be considered during testing activity, making this activity more complex. Despite the results achieved in this context, a problem that still remains is the application cost of the testing, especially the cost related to the high number of required elements generated by the test criteria proposed to concurrent programs. In this context, this work presents two contributions: the first one using a static approach, automatically detecting non-executable elements related to synchronization between process; and the second one using a dynamic approach, applying reachability testing to support the coverage evaluation of the executed sequences, reducing the number of executed sequences and the number of test cases. These contributions were implemented in the ValiMPI tool and experiments were conducted to evaluate them. The results indicate that these contributions can improve the concurrent program testing, reducing the application cost of the testing activity