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.

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

Teste de software desempenha um papel fundamental no processo de produção de um produto de software de qualidade. Com o passar dos anos, diversas técnicas e critérios de teste de software foram desenvolvidos a fim de estabelecer meios e métricas para guiar a criação de casos de teste efetivos, capazes de evidenciar defeitos no produto avaliado. Dentre os principais critérios para teste de software está o Teste de Mutação, que foi amplamente difundido e é tido como uma das abordagens mais eficazes para guiar a criação de conjuntos de casos de teste capazes de revelar defeitos em software. Entretanto, à medida que esse critério possui uma grande efetividade para revelar defeitos, ele peca pelo baixo poder de escalabilidade, o que acaba comprometendo diretamente a sua capacidade de aplicação. Neste sentido, diversos estudos foram desenvolvidos nesta área dedicando-se a aprimorar o seu desempenho e torná-lo uma alternativa viável para aplicação durante a fase de teste de software. Este trabalho apresenta indícios de que a utilização de estruturas complexas de processamento pode apoiar a aplicação do Teste de Mutação. Para tal, foi concebida uma arquitetura que possibilite a aplicação do Teste de Mutação em paralelo. Após a implementação da arquitetura foram avaliados cinco algoritmos de balanceamento de carga responsáveis por controlar a distribuição e execução do Teste de Mutação. Durante a avaliação experimental da arquitetura e dos algoritmos, observou-se que nos piores cenários avaliados foi possível atingir um ganho de desempenho acima de 70% em relação à aplicação sequencial convencional do Teste de Mutação enquanto nos melhores cenários o ganho de desempenho foi acima 95%, contudo, necessitando utilizar-se de uma infraestrutura mais robusta para a execução da arquitetura. / Software testing plays a fundamental role in the development process of quality software systems. Over the years, many software testing techniques and criteria were developed to provide means and metrics to guide the development of effective test cases, able to find defects on the product being assessed. Among major criteria for software testing is the mutation testing, which was broadly broadcast and is likely one of the most effective approaches for creating sets of test cases able to uncover software bugs. However, although mutating testing has a great effectiveness to uncover defects in a product, it suffers from low scalability, which directly compromises its applicability. In this sense, many studies were developed in this area aiming at improving the performance of that criterion and make it a viable alternative for its application throughout the software testing process. This work presents evidence that the use of complex structures of processing can support mutation testing application. For this, it was established an architecture that enables mutation testing to be performed in parallel. After implementing the architecture, five load balance algorithms to controlling the distribution and execution of mutation testing were analyzed. During the experimental evaluation of the architecture and algorithms, it was observed that in the worst evaluated scenarios it was possible to reach a gain in performance of up to 70% in comparison to the conventional application (sequential). In the best scenarios the gain was over 95% in exchange of using a more robust infrastructure for the execution of the architecture.

O ensino das disciplinas de fundamentos de programação e teste de software não é trivial. Várias iniciativas têm sido investigadas a fim de amenizar os problemas associados a essa atividade. Uma dessas iniciativas é o ensino conjunto de conceitos básicos de programação e de teste de software em disciplinas introdutórias dos cursos de Ciências da Computação. Este trabalho insere-se nessa perspectiva, tendo como principal objetivo fornecer subsídios para o ensino integrado de fundamentos de programação OO e teste de software. Para atingir esse objetivo, foi desenvolvido um módulo educacional integrado de fundamentos de programação OO e teste de software, utilizando uma abordagem integrada para modelagem de conteúdos educacionais. Ênfase é dada na modelagem dos aspectos conceituais, instrucionais e didáticos dos domínios de conhecimento envolvidos. Além disso, também foi desenvolvido um ambiente, denominado ProgTest, baseado na Web e na concepção de software livre, para submissão e avaliação de trabalhos práticos dos alunos. O ambiente foi integrado com ferramentas de teste de modo que a avaliação dos trabalhos seja realizada com base em atividades de teste. Os programas e os resultados são avaliados com base em padrões de consistência, eficácia e eficiência uniformes. Os professores também podem ter uma redução na sua carga de trabalho, uma vez que o sistema avalia automaticamente tanto os casos de teste quanto o código do programa. / The teaching of fundamentals of programming and software testing is not trivial. Many attempts have been investigated in order to reduce the problems associated to this activity. One of these initiatives is the teaching of basic concepts and techniques of programming in conjunction with software testing in introductory courses of the Computer Science. In this sense, this work aims at providing mechanisms to the integrated teaching of fundamentals of OO programming and software testing. To achieve this goal, we developed an integrated educational module of fundamentals of OO programming and software testing, using an integrated approach to model the educational contents. We focus on conceptual, instructional and didactic modeling of the knowledge domains. Furthermore, an open source Web-based environment, named ProgTest, was also developed for the submission and evaluation of practical assignments to the students. The environment was integrated with testing tools, so the evaluation of the assignments is performed based on testing activities. The assignments and the results are evaluated based on the uniform standards in terms of consistence, efficacy and efficiency. The professors can have their workload reduced with this environment, once the system automatically evaluates both the code of the assignment as well as its test cases.

Este estudo exploratório-descritivo tem como objetivo avaliar o desempenho funcional e a qualidade técnica de um registro eletrônico do processo de enfermagem junto a especialistas em informática, enfermeiros docentes e enfermeiros assistenciais. O Hospital Universitário da Universidade de São Paulo em parceria com a Escola de Enfermagem da Universidade de São Paulo, desenvolveu um registro eletrônico denominado Sistema de Documentação Eletrônica do Processo de Enfermagem da Universidade de São Paulo (PROCEnfUSP), para que pudesse ser utilizado na automação das informações do Processo de Enfermagem, visando à adoção de um Sistema de Apoio à Decisão que pudesse contribuir para a melhoria da gestão, da qualidade da assistência e da satisfação dos pacientes. A garantia da qualidade desse sistema é um importante desafio e meta devido à responsabilidade com os usuários e pacientes. Para assegurar essa qualidade foi realizada uma avaliação do sistema PROCEnf-USP utilizando-se do Modelo de Qualidade proposto pela norma ISO/IEC 25010 e do Processo de Avaliação definido na norma ISO/IEC 25040. Na avaliação dos especialistas em informática, adequação funcional obteve 91% de respostas positivas, confiabilidade 76%, usabilidade 62%, eficiência de desempenho 84%, compatibilidade 86%, segurança 89%, manutenibilidade 93% e portabilidade 92%. Os enfermeiros docentes avaliaram positivamente todas as características, adequação funcional obteve 92%, confiabilidade 89%, usabilidade 84%, eficiência de desempenho 81%, compatibilidade 75% e segurança 100%. Os enfermeiros assistenciais das clínicas médica e cirúrgica do hospital avaliaram adequação funcional com 82% de respostas positivas, confiabilidade 69%, usabilidade 85%, eficiência de desempenho 47% compatibilidade 62% e segurança 98%. Os enfermeiros assistenciais de outras unidades avaliaram adequação funcional com 88%, confiabilidade 61%, usabilidade 80%, eficiência de desempenho 46%, compatibilidade 69% e segurança 100%. Conclui-se que o PROCEnf-USP atingiu mais de 70% de respostas positivas na maioria das características de qualidade avaliadas por todos os especialistas. Entretanto, eficiência de desempenho, confiabilidade e compatibilidade obtiveram índices abaixo do parâmetro estabelecido na avaliação dos enfermeiros assistenciais. Os resultados obtidos neste estudo serão utilizados para a realização de melhorias no sistema. Essa pesquisa propiciará a disseminação do conhecimento de uma área emergente, agregando mais uma iniciativa aos crescentes esforços na área de informática em saúde e em enfermagem / This descriptive exploratory study aims to evaluate functional performance and technical quality of an electronic record for the nursing process with technology experts, teaching staff and nurses. The University Hospital in the University of São Paulo in partnership with the School of Nursing of the University of São Paulo, has developed an electronic record called Electronic Documentation System for the Nursing Process of the University of São Paulo (PROCEnf-USP), to be used for the automation of information of the Nursing Process, aimed at the adoption of a Decision Support System that could contribute to the improvement of management, quality of care and patient satisfaction. The quality guarantee of this system is an important challenge and target, due to responsibility with users and patients. To ensure such quality an assessment of the PROCEnf-USP system was carried out using the Quality Model proposed by ISO/IEC 25010 and the Evaluation Process defined in ISO/IEC 25040. In the evaluation of technology experts the characteristic functional suitability had 91% of positive responses, reliability 76%, usability 62%, performance efficiency 84%, compatibility 86%, security 89%, maintainability 93% and portability 92%.The teaching staff positively evaluated all the characteristics, functional suitability had 92%, reliability 89%, usability 84%, performance efficiency 81%, compatibility 75% and security 100%. The nurses from general medical and surgical hospital evaluated functional suitability with 82% of positive responses, reliability 69%, usability 85%, performance efficiency 47%, compatibility 62% and security 98%. The nurses from other units evaluated functional suitability with 88%, reliability 61%, usability 80%, performance efficiency 46%, compatibility 69% and security 100%. It is concluded that the PROCEnf-USP reached more than 70% of positive responses in the majority of quality characteristics evaluated by specialists. However, performance efficiency, reliability and compatibility found rates below the parameter established in the assessment of nurses. The results of this survey will be used to implement improvements in the system. Such research will allow the spreading of knowledge in an emerging area, thus adding a further initiative to the growth efforts made in the information technology areas of health and nursing.

Em projetos de desenvolvimento a qualidade do produto de software é fundamental para o seu sucesso. Uma das etapas que busca garantir a qualidade do produto final é a validação, verificação e teste (VV&T). O teste é uma das atividades chave de VV&T realizada para garantir a qualidade. Técnicas de teste foram desenvolvidas para verificar e validar tanto requisitos funcionais como não funcionais. Além disso, essas técnicas são aplicadas nas organizações por meio de estratégias que definem os tipos de teste que serão realizados, a ordem de realização, a sua automatização e a frequência de ocorrência. Uma questão importante é verificar como essa atividade é realizada na indústria de software, como essas técnicas são utilizadas e a sua adoção em organizações desenvolvedoras de software. Este trabalho apresenta uma pesquisa qualitativa da atividade de teste. Ela utilizou a técnica teoria fundamentada aplicada em cinco empresas desenvolvedoras de software para estabelecer uma teoria da atividade de teste. Foram realizadas entrevistas com gestores de teste das empresas e, a partir dessas entrevistas, foi desenvolvido uma teoria sobre a organização da atividade de teste. Nesta teoria, observou-se que a estrutura organizacional direciona a escolha das técnicas e ferramentas, bem como o tipo do sistema; o prazo e orçamento condicionam a utilização de técnicas de automatização / In development projects the quality of the software product is critical to its success. One of the steps that enforces the quality of the final product is validation, verification and testing (VV&T). Testing is one of the key VV&T activities to ensure quality. Testing techniques were developed to verify and validate both functional and non-functional requirements. In addition, these techniques are applied in organizations using strategies that define the testing techniques that will be performed, the order of application, their automation and the frequency of occurrence. An important issue is to verify how testing is carried out in the software industry, how these techniques are used and their adoption in industrial settings. This work presents a qualitative research of the testing activity. It used the grounded theory technique applied in five software development organizations to establish a model of the testing activity. Interviews were conducted with testing managers and, from these interviews, an organizational theory of the testing activity was developed. In this theory, it was observed that the organizational structure directs the choice of techniques and tools, as well as the type of the system; project schedule and budget limit the use of automation techniques

Submitted by Maicon Juliano Schmidt (maicons) on 2015-06-30T12:58:44Z No. of bitstreams: 1 Lizandra Bays dos Santos.pdf: 9244211 bytes, checksum: 5d2cbae0a96db72c10de129513e76403 (MD5) / Made available in DSpace on 2015-06-30T12:58:44Z (GMT). No. of bitstreams: 1 Lizandra Bays dos Santos.pdf: 9244211 bytes, checksum: 5d2cbae0a96db72c10de129513e76403 (MD5) Previous issue date: 2013-01-31 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / A qualidade do processo de desenvolvimento de software, somente, não garante a qualidade do produto que é desenvolvido, sendo necessário combinar técnicas de qualidade do processo e do produto. Existem diversos esforços na comunidade acadêmica e no mercado para de modelos de certificação de qualidade do processo, e observa-se uma lacuna no que tange à certificação de qualidade de produtos de software. Este trabalho o desenvolvimento de um sistema que visa dar suporte para a certificação de qualidade de produtos de software. Um framework de processo para certificação de produtos é apresentado, o qual é composto de um subprocesso de especialização do modelo de qualidade focado em riscos, um subprocesso de medição da qualidade e um sobprocesso de avaliação da qualidade. Para apoiar estes subprocessos, a arquitetura do sistema desenvolvido faz uso de ontologias para representar o conhecimento envolvido no modelo de qualidade e agentes de software para manipular os indivíduos nas ontologias. / The software development process quality does not assure product quality, being necessary to combine techniques of process quality and product quality. There are several efforts in the academic community and in the market for models of quality certification of the development process, so that there is a gap regarding the quality certification of the product developed. This work presents the development of a system that aims to support the certification of quality software products. A framework of product certification process is showed, which is composed of subprocesses of quality model specialization, quality measurement and quality assessment. To support these subprocesses, the developed system architecture uses ontologies to represent knowledge about the quality model and software agents for handling to individuals in the ontologies.

Produtos de software com diferentes complexidades são criados diariamente através da elicitação de demandas complexas e variadas juntamente a prazos restritos. Enquanto estes surgem, altos níveis de qualidade são esperados para tais, ou seja, enquanto os produtos tornam-se mais complexos, o nível de qualidade pode não ser aceitável enquanto o tempo hábil para testes não acompanha a complexidade. Desta maneira, o teste de software e a geração automática de dados de testes surgem com o intuito de entregar produtos contendo altos níveis de qualidade mediante baixos custos e rápidas atividades de teste. Porém, neste contexto, os profissionais de desenvolvimento dependem das estratégias de geração automáticas de testes e principalmente da seleção da técnica mais adequada para conseguir maior cobertura de código possível, este é um fator importante dados que cada técnica de geração de dados de teste possui particularidades e problemas que fazem seu uso melhor em determinados tipos de software. A partir desde cenário, o presente trabalho propõe a seleção da técnica adequada para cada classe de um software com base em suas características, expressas por meio de métricas de softwares orientados a objetos a partir do algoritmo de classificação Naive Bayes. Foi realizada uma revisão bibliográfica de dois algoritmos de geração, algoritmo de busca aleatório e algoritmo de busca genético, compreendendo assim suas vantagens e desvantagens tanto de implementação como de execução. As métricas CK também foram estudadas com o intuito de compreender como estas podem descrever melhor as características de uma classe. O conhecimento adquirido possibilitou coletar os dados de geração de testes de cada classe como cobertura de código e tempo de geração a partir de cada técnica e também as métricas CK, permitindo assim a análise destes dados em conjunto e por fim execução do algoritmo de classificação. Os resultados desta análise demonstraram que um conjunto reduzido e selecionado das métricas CK é mais eficiente e descreve melhor as características de uma classe se comparado ao uso do conjunto por completo. Os resultados apontam também que as métricas CK não influenciam o tempo de geração dos dados de teste, entretanto, as métricas CK demonstraram correlação moderada e influência na seleção do algoritmo genético, participando assim na sua seleção pelo algoritmo Naive Bayes / Software products with different complexity are created daily through analysis of complex and varied demands together with tight deadlines. While these arise, high levels of quality are expected for such, as products become more complex, the quality level may not be acceptable while the timing for testing does not keep up with complexity. In this way, software testing and automatic generation of test data arise in order to deliver products containing high levels of quality through low cost and rapid test activities. However, in this context, software developers depend on the strategies of automatic generation of tests and especially on the selection of the most adequate technique to obtain greater code coverage possible, this is an important factor given that each technique of data generation of test have peculiarities and problems that make its use better in certain types of software. From this scenario, the present work proposes the selection of the appropriate technique for each class of software based on its characteristics, expressed through object oriented software metrics from the naive bayes classification algorithm. Initially, a literature review of the two generation algorithms was carried out, random search algorithm and genetic search algorithm, thus understanding its advantages and disadvantages in both implementation and execution. The CK metrics have also been studied in order to understand how they can better describe the characteristics of a class. The acquired knowledge allowed to collect the generation data of tests of each class as code coverage and generation time from each technique and also the CK metrics, thus allowing the analysis of these data together and finally execution of the classification algorithm. The results of this analysis demonstrated that a reduced and selected set of metrics is more efficient and better describes the characteristics of a class besides demonstrating that the CK metrics have little or no influence on the generation time of the test data and on the random search algorithm . However, the CK metrics showed a medium correlation and influence in the selection of the genetic algorithm, thus participating in its selection by the algorithm naive bayes

High-level language virtual machines (HLL VMs) have been playing a key role as a mechanism for implementing programming languages. Languages that run on these execution environments have many advantages over languages that are compiled to native code. These advantages have led HLL VMs to gain broad acceptance in both academy and industry. However, much of the research in this area has been devoted to boosting the performance of these execution environments. Few eorts have attempted to introduce features that automate or facilitate some software engineering activities, including software testing. This research argues that HLL VMs provide a reasonable basis for building an integrated software testing environment. To this end, two software testing features that build on the characteristics of a Java virtual machine (JVM) were devised. The purpose of the rst feature is to automate weak mutation. Augmented with mutation support, the chosen JVM achieved speedups of as much as 95% in comparison to a strong mutation tool. To support the testing of concurrent programs, the second feature is concerned with enabling the deterministic re-execution of Java programs and exploration of new scheduling sequences / Máquinas virtuais de linguagens de programação têm desempenhado um papel importante como mecanismo para a implementação de linguagens de programação. Linguagens voltadas para esses ambientes de execução possuem várias vantagens em relação às linguagens compiladas. Essas vantagens fizeram com que tais ambientes de execução se tornassem amplamente utilizados pela indústria e academia. Entretanto, a maioria dos estudos nessa area têm se dedicado a aprimorar o desempenho desses ambientes de execução e poucos têm enfocado o desenvolvimento de funcionalidades que automatizem ou facilitem a condução de atividades de engenharia de software, incluindo atividades de teste de software. Este trabalho apresenta indícios de que máquinas virtuais de linguagens de programação podem apoiar a criação de ambientes de teste de software integrado. Para tal, duas funcionalidades que tiram proveito das características de uma máquina virtual Java foram desenvolvidas. O propósito da primeira funcionalidade e automatizar a condução de atividades de mutação fraca. Após a implementação de tal funcionalidade na máquina virtual Java selecionada, observou-se um desempenho até 95% melhor em relação a uma ferramenta de mutação forte. Afim de apoiar o teste de programas concorrentes, a segunda funcionalidade permite reexecutá-los de forma determinística além de automatizar a exploração de que novas sequências de escalonamento

Para sistematizar os testes e contornar as restrições de tempo e custo associadas à atividade de teste, diversas técnicas, critérios e ferramentas têm sido desenvolvidas. Além disso, visando ao estabelecimento de uma estratégia de teste incremental, que apresente baixo custo de aplicação e alta eficácia em revelar a presença de erros, estudos teóricos e empíricos vêm sendo conduzidos pela comunidade de teste. O presente trabalho está inserido nesse contexto e tem como objetivo a realização de estudos empíricos para comparar a adequação entre os critérios baseados em erros - Análise de Mutantes (teste de unidade) e Mutação de Interface (teste de integração) - visando ao estabelecimento de estratégias de teste de baixo custo e eficazes, que englobem todo o ciclo de desenvolvimento de software. Nessa perspectiva, algumas estratégias incrementais de aplicação dos operadores de mutação de unidade e de integração são definidas, explorando o aspecto complementar dos critérios baseados em mutação, reduzindo com isso os custos da atividade de teste durante as fases do teste de unidade e de integração, sem comprometer sua qualidade. Ainda, um conjunto essencial de operadores de mutação para o critério Mutação de Interface é apresentado. / Techniques, criteria and tools have been developed and investigated making the testing activity more systematic and aiming at overcoming associated time and cost constraints. Pursuing the establishment of an incremental, low-cost and effective testing strategy, theoretical and empirical studies have been conducted by the testing community. The work proposed here is within this context and aims to conduct empirical studies for evaluating the adequacy between error based criteria - Mutation Analysis (unit testing) and Interface Mutation (integration testing). Therefore, this work intends to establish low-cost and effective testing strategies that would comprise all software development cycle. In this perspective, some incremental testing strategies for mutant operators application are defined exploring the complementary aspects of unit and integration error based criteria, reducing theirs costs without losses in testing quality. In this scope, an essential mutant operators set for Interface Mutation criterion is characterized.