Orientador: Eliane Martins / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-05T15:11:33Z (GMT). No. of bitstreams: 1 Cunha_AdrianoCamargoRodriguesda_M.pdf: 14090981 bytes, checksum: df5bc642f537673ea67eb80a4ac24f92 (MD5) Previous issue date: 2004 / Resumo: o teste de software é uma atividade de alto impacto no processo de desenvolvimento de sistemas de grande porte. A automação de parte do teste tem sido vista como a principal medida para melhorar a eficiência desta atividade. Entretanto, o sucesso da aplicação de uma abordagem automatizada depende da utilização de Wlla estratégia sistemática. Este trabalho final apresenta um sistema para a automação de teste funcional de softwares em ambiente hipermídia, chamado AutoTest, cuja aplicação visa a obtenção de reais ganhos com a automação, baseando-se, para isso, nas melhores técnicas encontradas na literatura. Além disso, são apresentados os resultados da aplicação do sistema criado na automação de teste de três módulos de um sistema de faturamento desenvolvido por uma empresa de telecomunicações / Abstract: Software testing is an activity with great effect on the development process of large systems. Automation has been seen as the main way to improve testing efficiency. However, the success of an automated approach depends on using a systematic strategy. This dissertation presents a test workbench for the software functional testing automation in hypermedia environments, called AutoTest, based on the best techniques found in the literature, and whose application aims at the achievement of real benefits with the automation. Moreover, the application results of this test workbench on testing automation of three modules of a billing system developed by a telecommunication company are presented. / Mestrado / Mestre em Computação

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-22T00:17:26Z (GMT). No. of bitstreams: 1 Guimaraes_MarcosSalenko_M.pdf: 2867583 bytes, checksum: 2a40ec95a950c186bd23cebef54b4aad (MD5) Previous issue date: 1997 / Resumo: Este trabalho apresenta o desenvolvimento de um framework para construção de interface com o usuário que atenda aos requisitos de um ambiente integrado de testes considerado (o ATIFS), que são: portabilidade, extensibilidade, uniformidade e a independência entre a interface com o usuário e a aplicação. Foi utilizado o paradigma orientado a objetos pois este facilita a satisfação de alguns dos requisitos acima, principalmente a extensibilidade e uniformidade. Além destas vantagens, este paradigma também facilita a reutilização, particularmente útil para atender ao requisito de uniformidade. A reutilização é facilitada com o uso de framework, conjunto de classes e da interação entre elas. Para a reutilização de um framework basta: instanciar as classes existentes ou criar novas subclasses a partir das classes existentes. Frameworks podem ser utilizados em vários domínios de aplicação, mas a maioria dos estudos até então são relativos ao desenvolvimento de interface com o usuário. Foi feito um estudo de alguns modelos (MVC, MVC++, MV: Framework baseado em Modo e Modelo em camadas) a fim de adotar o mais adequado para o ATIFS. A partir do modelo adotado (o MVC++), foi possível projetar o framework do ATIFS, o qual irá permitir a construção de interfaces com o usuário de ferramentas interativas que compõem este ambiente. O framework definido para o ATIFS foi implementado de forma que os projetistas poderão instanciar as classes referentes à interface ao construirem suas ferramentas. Desse modo, garante-se que todas as ferramentas interativas seguirão o padrão de comportamento e apresentação do ATIFS. / Abstract: This work presents a framework for developing user interfaces that meets the requirements of an integrated environment such as portability, extensibility, independence between user interface and application, and uniformity. These requirements are easier to achieve with object-oriented paradigm. Reusability, an important property to obtain the desired uniformity, is one example. One of the advantages of the object-oriented model is the facility of reusability. This characteristics is particularly useful for meeting the uniformity requirement. Reusability becomes easier with the use of frameworks. A framework is composed by a set of classes and the interactions between them. For using frameworks, the classes are instantiated or new subclasses are created from the existing ones. Frameworks may be used in several applications domains and there are many models for user interfaces. The study of some models (MVC, MV MVC++, Mode Framework and Layered Model) was done in order to select one to use in this work. Using the selected model (MVC++), the design of a framework for the target environment has been done for permiting the construction of user interfaces for the interactive tools that integrate this environment. The defined framework is implemented in a manner that the designers need only to instantiate classes for developing of their tools. In this way, all interactive tools will follow the same standard of the apresentation and behavior. / Mestrado / Mestre em Ciência da Computação

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-22T14:18:35Z (GMT). No. of bitstreams: 1 Stefani_MarcioRoberto_M.pdf: 4013807 bytes, checksum: a21d289d42f7912f7ad14bfa0e5b47c9 (MD5) Previous issue date: 1997 / Resumo: Uma dificuldade comum aos testes de software é o problema do oráculo: como determinar se os resultados dos testes estão corretos? O oráculo é um mecanismo que analisa os resultados dos testes com base numa referência para o comportamento do softwvare. Essa referência precisa ser a mais confiável possível. Neste trabalho foi desenvolvido um método de análise de resultados para testes de comportamento e testes por injeção de falhas por software aplicados à uma implementação de protocolo de comunicação. Para representar o comportamento do protocolo, utilizou-se um modelo baseado em máquina finita de estados estendida. Foi desenvolvido também o projeto de uma ferramenta que coloca esse método em prática. Essa ferramenta de análise de resultados deve ser incorporada ao A TIFS, um Ambiente integrado de Testes baseado em Injeção de Falhas por software. O mecanismo de análise de resultados é um analisado r de traço de execução. Um traço é um histórico da execução dos testes. Com base no modelo do comportamento e no traço de execução, o analisador de traço produz as seguintes saídas: veredictos sobre as saídas produzidas por uma implementação sob teste, diagnósticos de erros e informações sobre a ativação de mecanismos de detecção de erros e tolerância a falhas. / Abstract: A common difficulty to software testing is the oracle problem: how to determine whether or not test results are correct? The oracle is a mechanism that analyses test results by using a reference for the software behavior. This reference should be as reliable as possible. In this work, it had been developed a test result analysis method for behavior tests and software fault injection tests applied to a communication protocol implementation. To represent the protocol behavior, it had been used a model based on extended finite state machine. It had been also developed a design of a tool that puts this method into practice. This test result analysis tool will be embedded in the ATIFS, an integrated test environrnent based on software fault injection. The mechanism of test result analysis is a trace analyzer. A trace is an execution history of the tests. The following outputs are produced by the trace analyzer based on the behavior model and the trace: verdicts about the outputs produced by an implementation under test, error diagnoses, and informations about activation of the error detection and fault tolerance mechanisms. / Mestrado / Mestre em Ciência da Computação

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas. Instituto de Computação / Made available in DSpace on 2018-07-27T07:08:28Z (GMT). No. of bitstreams: 1 Toyota_CristinaMaria_M.pdf: 3854909 bytes, checksum: 874b3dd3b8d9d802380a4a4fcec2d0b1 (MD5) Previous issue date: 2000 / Resumo: O esforço e custo adicionais exigidos pelo processo de teste de um software ou componente depende em geral de quão fácil é testá-Io. No caso de componentes reutilizáveis essa habilidade se toma mais importante ainda, pois eles devem ser testados durante seu desenvolvimento, toda vez que forem reutilizados em um novo contexto, e a cada vez que sofram alguma alteração. Uma proposta para construir classes com maior testabilidade foi feita fazendo-se uma analogia entre circuitos integrados e classes. Foi proposta a construção de classes autotestáveis e tal como em circuitos integrados, estas classes teriam mecanismos embutidos específicos para teste. Outro fator importante para testabilidade do software é a possibilidade de reutilização de testes. Por esta razão foi empregada nesse estudo a técnica incremental hierárquica, que leva em conta a hierarquia de herança permitindo que, em alguns casos, seja possível reutilizar casos de testes gerados para a classe base nos testes de suas classes derivadas. Este trabalho apresenta a metodologia definida para construir uma classe autotestável, bem como o protótipo construído para automatizar parte desta metodologia, mostrando assim a sua viabilidade / Abstract: In general the additional effort and cost required by the testing process depends on the testability of the software or component being tested. Testability is more important for reusable components because they need testing during their development and afier each change (either in the class or in the environrnent). An approach comparing classes and integrated circuits of hardware had been proposed for constructing classes with higher testability. The resulting class is called builtin self-testing class, because it contains built-in testing mechanisms. Class testability will be increased if reuse could be extended to the test cases too. The incremental hierarchical technique considers the inheritance relationship to test classes by reusing test cases of a parent class when testing a subclass. This work presentes: a methodology to construct built-in self-testing classes and a prototyping tool, ConCAT, that automates part of this methodology, by showing its feasibility / Mestrado / Mestre em Ciência da Computação

Orientadores: Mario Jino, Adalberto Nobiato Crespo / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-14T16:58:11Z (GMT). No. of bitstreams: 1 Cruz_JorgeLuizda_M.pdf: 7882925 bytes, checksum: 22c00381be75943036b99c042ac78278 (MD5) Previous issue date: 2009 / Resumo: Software possui um papel fundamental em inúmeras aplicações e a qualidade de produtos de software é crucial na competitividade das empresas produtoras de software, que dedicam esforço crescente na busca por boa qualidade nos seus produtos. Neste contexto, o teste é reconhecido como um processo fundamental para alcançar este objetivo; entretanto, testar software sistematicamente não é uma tarefa trivial. Para que o teste tenha efetividade e eficácia, além dos aspectos relacionados à avaliação do software, ele deve fazer uso de documentação de boa qualidade: toda a informação registrada deve estar atualizada e consistente; além disso, informação associada deve ser rastreável. É proposto um modelo de rastreabilidade para a informação contida na documentação do processo de teste; o modelo de dados desenvolvido dá suporte tanto à documentação baseada na norma IEEE Std 829-1998, como à rastreabilidade de toda informação associada; um protótipo de ferramenta foi desenvolvido para implementar o modelo de dados e o modelo de rastreabilidade. / Abstract: Software plays a key role in many applications and quality of software products is crucial in the competitivity of software development companies, which are increasingly putting effort in the quest for good quality in their products. In this context, testing is recognized as a key process to achieve this goal; however, systematic software testing is not an easy activity. For testing to have effectiveness and efficacy, in addition to product evaluation aspects, it must make use of good quality documentation: all the recorded information must be up to date and consistent; also, associated information must be traceable. A traceability model is proposed for the information contained in the documentation of the testing process; the data model developed gives support to documentation based on the standard IEEE Std 829-1998, as well as to traceability of all associated information; a prototype tool was developed to implement the data model and the traceability model. / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Orientadores: Mario Jino, Plinio Roberto Souza Vilela / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T02:43:07Z (GMT). No. of bitstreams: 1 Guidetti_SuseleyAparecida_M.pdf: 1642127 bytes, checksum: 4a844d1875b1f47b619109f2968fc7c5 (MD5) Previous issue date: 2005 / Resumo: O crescimento acentuado da Internet e a conseqüente demanda por novos serviços levam ao desenvolvimento de aplicações cada vez mais complexas. Devido a esta complexidade e às pressões para o cumprimento de cronogramas cada vez mais restritivos, muitas vezes a segurança desses sistemas acaba sendo negligenciada, originando aplicações com mais vulnerabilidades e portanto sujeitas a um maior número de ataques. Um dos ataques mais freqüentes é o do tipo buffer overflow. Permite que um atacante insira códigos maliciosos em um programa, alterando seu fluxo de controle original, com o objetivo de conseguir acesso a um sistema ou aumentar seus privilégios. Neste trabalho foi utilizada a técnica denominada Teste de Vulnerabilidade de Segurança proposta para detectar vulnerabilidade do tipo buffer overflow no software por meio da aplicação do Teste de Mutação. Uma ferramenta chamada SEVMUT - Security Vulnerabilities Mutation Tool foi desenvolvida e sua aplicabilidade, escalabilidade e eficácia foram validadas / Abstract: The steep growth of the Internet and the associated demand for new products and services leads to the development of applications of increasing complexity. Due to this complexity and the pressure to meet squeezing schedules, security issues are left as an afterthought, increasing the number of vulnerabilities in the systems and making them susceptible to attacks. One of the most frequent attacks is the buffer overflow. It allows a hacker to insert malicious code in a program, changing its original flow of control with the goal of escalating privileges and gaining access into de system. In this work we present a technique called Testing for Security Vulnerabilities meant to detect buffer overflow vulnerabilities in software through the use of Mutation Testing. A tool called SEVMUT - Security Vulnerabilities Mutation Tool was developed and validated for its applicability, scalability and effectiveness / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica

Orientador: Eliane Martins / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T14:50:31Z (GMT). No. of bitstreams: 1 Oliveira_AngelaCristinade_M.pdf: 500711 bytes, checksum: 04a5993e5a44a227f76fa1db02ce3f59 (MD5) Previous issue date: 2003 / Resumo: O teste de software é uma atividade crítica na garantia da qualidade do produto. Os seres humanos são passíveis de erros e a atividade de testes é essencial para diminuir estes possíveis erros que possam ser encontrados. Com a evolução das ferramentas para desenvolvimento de software, estes vão se tornando cada vez mais complexos e abrangentes. Os sistemas de gerenciamento empresarial, também chamados de sistemas ERP (Enterprise Resource Planning) são bons exemplos. Os sistemas ERP costumam ser genéricos a fim de abranger empresas dos mais variados ramos de negócios, inclusive em diferentes países, conseqüentemente possuem um grande número de parâmetros para permitir tal flexibilidade. Desta forma, testes são necessários a fim de verificar se o sistema está funcionando de acordo com os parâmetros especificados, além de identificar possíveis erros que possam não ter sido identificados e corrigidos pela empresa que desenvolveu o sistema. O objetivo deste trabalho é apresentar a ETIERP ¿ Estratégia de Testes para Implantação de Sistemas ERP. Esta estratégia propõe a geração de casos de teste de forma estruturada e sistemática para a aplicação na implantação de um sistema ERP, baseando-se em artefatos da UML, como diagrama de casos de uso e diagrama de atividades. Neste trabalho, são apresentados os passos a serem realizados e sua aplicação é mostrada em um exemplo, extraído de um sistema real / Abstract: The software testing is a critical task in products quality assurance. The human developers are susceptible to errors and the testing activity is essential to minimize this possible errors. With the software development tools evolution, software is becoming more complex and providing greater coverage. The business management systems, also known as ERP (Enterprise Resource Planning) systems are a good example. ERP systems tend to be generic systems able to support different company types in different countries and consequently have a huge quantity of parameters to guarantee this flexibility. With this, the test phase is necessary to verify that the system is working according to the settings or even to avoid any serious errors that were not detected and corrected by the supplier. The goal of this text is to present the ETIERP ¿ Test Strategy for ERP Systems Implementation. This strategy proposes the test cases generation in a structured and systematic way to be apllied in ERP systems implementation basing on UML artifacts, as use case diagrams and activity diagrams. This text will present the steps to be realized and the strategy application that is shown is an example extracted from a real system / Mestrado / Mestre em Ciência da Computação

Orientador: Eliane Martins / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-22T06:26:11Z (GMT). No. of bitstreams: 1 Lemos_GizelleSandrini_D.pdf: 2897622 bytes, checksum: 93eb35a9b69a8e36e90d0399422e6520 (MD5) Previous issue date: 2013 / Resumo: A robustez, que é a capacidade do sistema em funcionar de maneira adequada em situações inesperadas, é uma propriedade cada vez mais importante, em especial para sistemas críticos. Uma técnica bastante empregada para testar a robustez consiste em injetar falhas no sistema e observar seu comportamento. Um problema comum nos testes é a determinação de um oráculo, i.e., um mecanismo que decida se o comportamento do sistema é ou não aceitável. Oráculos como a comparação com padrão-ouro - execução sem injeção de falhas - consideram todo comportamento diferente do padrão como sendo erro no sistema em teste (SUT). Por exemplo, a ativação de rotinas de tratamento de exceção em presença de falhas, pode ser considerada como erros. Também utilizada como oráculo, à busca por propriedades de segurança (safety) pode mostrar a presença de não robustez no SUT. Caso haja no SUT eventos semanticamente similares aos da propriedade estes não são notados (a menos que sejam explicitamente definidos na propriedade). O objetivo deste trabalho é o desenvolvimento de oráculos específicos para teste de robustez visando à diminuição dos problemas existentes nas soluções atualmente empregadas. Desenvolvemos duas abordagens a serem utilizadas como oráculos. O principal diferencial de nossas soluções em relação aos oráculos atuais é a adoção de algoritmos de alinhamento de sequências comumente aplicados em bioinformática. Estes algoritmos trabalham com matching inexato, permitindo algumas variações entre as sequência comparadas. A primeira abordagem criada é baseada na comparação tradicional com o padrão-ouro, porém aplica o alinhamento global de sequências na comparação de traços de execução coletados durante a injeção de falhas e padrões coletados sem a injeção de falhas. Isto permite que traços com pequenas porções diferentes do padrão sejam também classificados como robustos possibilitando inclusive a utilização da abordagem como oráculo em sistemas não deterministas, o que não é possível atualmente. Já, a segunda abordagem busca propriedades de segurança (safety) em traços coletados durante a injeção de falhas por meio do uso do algoritmo de alinhamento local de sequências. Além das vantagens do fato de serem algoritmos de matching inexato, estes algoritmos utilizam um sistema de pontuação que se baseia em informações obtidas na especificação do sistema em teste para guiar o alinhamento das sequências. Mostramos o resultado da aplicação das abordagens em estudos de caso / Abstract: Robustness, which is the ability of a system to work properly in unexpected situations, is an important characteristic, especially for critical systems. A commonly used technique for robustness testing is to inject faults during the system execution and to observe its behavior. A frequent problem during the tests is to determine an oracle, i.e., a mechanism that decides if the system behavior is acceptable or not. Oracles such as the golden run comparison - system execution without injection of faults - consider all different behaviors from the golden run as errors in the system under test (SUT). For example, the activation of exception handlers in the presence of faults could be considered as errors. Safety property searching approach is also used as oracle and it can show the presence of non-robustness in the SUT. If there are events in the SUT execution that are semantically similar to the property they are not taken into account (unless they have been explicitly defined in the property). The objective of this work is to develop specific oracles to evaluate results of robustness testing in order to minimize the deficiencies in the current oracles. The main difference between our solutions and the existing approaches is the type of algorithm that we used to compare the sequences. We adopted sequence alignment algorithms commonly applied in Bioinformatics. These algorithms are a kind of inexact matching, allowing some variations between the compared sequences. First approach is based on the traditional golden run comparison, but applies global sequence alignment of sequences to compare traces collected during fault injection and traces collected without fault injection. The use of these algorithms allows that traces with some differences of the golden run also being classified as robust allowing it use in non-deterministic systems evaluation which is not possible currently. The second approach works with comparison of patterns derived from safety properties and traces collected during robustness testing. However, differently from the first approach, the second one use of local sequence alignment algorithm to search for subsequences. Besides the advantages of the inexact matching, these algorithms use a scoring system based on information obtained from SUT specification to guide the alignment of the sequences. We show the results of the approaches application through case studies / Doutorado / Ciência da Computação / Doutora em Ciência da Computação

Orientador: Regina Lúcia de Oliveira Moraes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Tecnologia / Made available in DSpace on 2018-08-24T04:31:04Z (GMT). No. of bitstreams: 1 Patuci_GabrieladeOliveira_M.pdf: 1906048 bytes, checksum: 9358ce518b29b6d4829715586ee61d06 (MD5) Previous issue date: 2013 / Resumo: O uso crescente das metodologias ágeis em todo mercado nacional e internacional tem exigido uma atenção especial às necessidades de adequação das metodologias tradicionais e suas respectivas implementações, para atender um novo ambiente de desenvolvimento de software. Pelo fato de ser incerta a distribuição de tarefas nesse novo ambiente multifuncional, este trabalho apresenta o papel do analista de testes em ambientes ágeis e, principalmente, identifica como as atividades de testes poderão ser executadas de maneira a obter resultados de qualidade e total adequação aos "times ágeis". A abordagem proposta neste trabalho consiste em realizar todas as tarefas de teste no dia-a-dia do time de maneira ainda mais incremental se comparada com a que está sendo feita hoje. Além disso, é proposto um novo formato para as user stories e o backlog do projeto: o Test Backlog. Este formato é proposto como um formato mais completo, utilizado para documentar um requisito, que engloba não só a visão de negócio do cliente relacionado ao que o sistema deve atender, mas também a visão técnica do profissional de teste relacionado ao que deve ser verificado antes da estória ser considerada feita, ou no caso do Scrum, "pronta". O problema, para o qual está sendo apresentada uma nova abordagem, faz parte da realidade de muitas empresas de desenvolvimento de software, que estão fazendo a migração de um modelo de desenvolvimento tradicional, onde todos os papéis e o próprio processo são bem definidos, para o Scrum, a metodologia ágil que foi estudada. Os resultados encontrados nos estudos de caso apresentam um forte indicativo de que existem maneiras de executar testes de maneira mais incremental, mantendo a qualidade sempre buscada em todas as metodologias anteriores e, ainda sim, ser ágil / Abstract: The increasing use of agile methodologies across national and international markets has required special attention to traditional methodologies needs of adequacy and their respective implementations to meet a new software development environment. Due to the unclear distribution of tasks (that were previously delegated to specific roles) in this new multi-functional environment, this work presents the test analyst role in agile environments and also, identifies through research, how testing activities could be performed in order to obtain high quality results and overall suitability to "agile teams". The approach proposed in this work is to perform all the day by day test tasks in a more incremental way if compared with what is being done today. It also consists on creating the user stories and project backlog in a new format: the Test Backlog. This format is proposed as a more complete requirement format, which includes not only client's business vision of what the system must do, but also the tester technical point of view of what should be checked before considering an user story as done. The problem to which is being presented a new approach is part of the reality of many software development companies, which are making the migration from a traditional development model, where all the roles and the process are well defined, to Scrum, the agile methodology that was studied. Finally, the results found in the case studies show a strong indication that there are ways to run tests in a more incremental mode, always keeping the quality sought in all previous methods and still being agile / Mestrado / Tecnologia e Inovação / Mestra em Tecnologia

Made available in DSpace on 2016-06-02T19:05:29Z (GMT). No. of bitstreams: 1 1811.pdf: 1591054 bytes, checksum: 5b21fca55f16582952cf1d6eb91e5503 (MD5) Previous issue date: 2008-02-22 / Background: The term agility has increasingly received attention in Software Engineering, since there is a growing demand for executing and delivering software systems in a shorter and shor ter period of time. Agile software development proposes a rapid and iterative development aiming at meeting all of clients needs and, as a consequence, achieving good results throughout development process. Although this methodology is well-known, it is important to notice that its methods, even the ones which are the most quoted in the scientific literature, do not establish any detailed guidelines so that they can be effectively adopted. Some examples encompass details of activities performed, practices and procedures used and some piece of information which must be documented. However, there are not any case studies which show, practically, the whole pro cess of the adopted method. Aim: This work aimed at contributing in order to achieving improvements in quality of the agile processes by introducing an approach named AQUA - Quality Activities in Agile Context. This approach takes into account th e application of software quality assurance activities such as inspection, test and planning activities which may be used along with any agile method adopted, in the early stag es of requirements elicitation. Method: Only the most quoted methods in the literature were analyzed, from which a generic process was extracted besides a group of artifacts utilized by these methods, supporting, thereby, the definition process of the strategy proposed. Results: This approach was applied by using software requirements developed during a graduate course in Federal University of São Carlos, and the results give insights of its contribution to the improvement in process quality. Conclusion: Although this example had been small, the use of the proposed approach did not make it difficult th e application of the agile method adopted and presented benefits with regard to improvements of process quality. / Cenário: O termo agilidade vem adquirindo cada vez mais destaque na Engenharia de Software pela crescente necessidade de executar e entregar sistemas de software em prazos cada vez menores. A metodologia ágil de desenvolvimento de software propõe um desenvolvimento rápido e iterativo, buscando atender todas as necessidades do cliente e obter bons resultados durante o processo de desenvolvimento. Embora essa metodologia tenha alcançado destaque, verifica-se que seus métodos, mesmo os mais citados na literatura, não apresentam explicitamente diretrizes detalhadas para sua utilização. Algumas referências mencionam detalhes das atividades realizadas, das práticas utilizadas e das informações que devem ser registradas. No entanto, não se encontram estudos de caso ou exemplos de utilização, que mostrem, na prática, do início ao fim, o processo do método adotado. Objetivo: Este trabalho tem como objetivo contribuir para a melhoria da qualidade dos processos ágeis, propondo a abordagem denominada AQUA Atividades de Qualidade no contexto Ágil. Essa abordagem envolve a aplicação de atividades de garantia de qualidade de software, como inspeção, teste e planejamento que podem ser utilizadas independentemente do método ágil adotado, nas fases iniciais de levantamento dos requisitos. Método: Foram estudados os métodos ágeis mais citados na literatura, a partir do que foi extraído um processo genérico que os caracteriza e um conjunto de artefatos utilizados por eles, o que deu apoio à definição da abordagem proposta. Resultados: A abordagem foi aplicada utilizando os requisitos de um sistema desenvolvido durante uma disciplina de pósgraduação da Universidade Federal de São Carlos, e os resultados dão indícios de sua contribuição para a melhoria da qualidade do processo. Conclusão: Embora o exemplo utilizado tenha sido pequeno, a utilização da abordagem não dificultou a utilização do método ágil em questão e mostrou pontos positivos para a melhoria da qualidade do processo.