Orientador: Eliane Martins / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T02:39:17Z (GMT). No. of bitstreams: 1 Costa_MozartGuerra_M.pdf: 831820 bytes, checksum: 7ecbd1a4b8f167b0fb230253340d2fbf (MD5) Previous issue date: 2006 / Resumo: O teste é uma atividade que ajuda ao atendimento da crescente demanda por uma maior qualidade do software. A automação traz a possibilidade de tornar o teste mais rápido e efetivo em encontrar erros, desde que se tenha atenção quanto ao que automatizar e como deve ser feita esta automação. Este trabalho final busca organizar diversos requisitos de automação em uma arquitetura composta por seis funcionalidades: planejamento dos testes, construção dos artefatos, execução, análise de falhas, medições e gerência de configuração dos artefatos de teste. São apresentados modelos que servem como guia para a automação, tais como: o relacionamento entre os artefatos, as ferramentas responsáveis pelos artefatos e as necessidades de integração entre as ferramentas. Além disso, são identificadas as necessidades levantadas supridas pelas ferramentas já existentes na empresa do campo de estudo deste trabalho e são relatadas as iniciativas para solucionar as necessidades não atendidas diretamente pelas ferramenta / Abstract: Testing is an activity that helps to meet the increasing demand for better quality software. Automation can make testing faster and more effective in error identification, provided proper attention is given to what and how to automate. The objective of this dissertation is to organize several automation requirements in an architecture made up of six functionalities: test planning, artifact construction, execution, failure analysis, measurements, and set up management of test artifacts. It also introduces models that work as a guideline for automation such as artifact relationship, tools responsible for artifacts, and tool integration requirements. In addition, it verifies whether the needs in question have been addressed by tools already available at the company and highlights initiatives to solve whatever has not been directly achieved by these tools / Mestrado / Engenharia de Software / Mestre em Computação

Orientadores: Mario Jino, Cid Carvalho de Souza / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-07T00:55:16Z (GMT). No. of bitstreams: 1 Rodrigues_LuizGustavoMendes_M.pdf: 574488 bytes, checksum: 4a2ca4c84e7c4610503285e2aad4c073 (MD5) Previous issue date: 2006 / Resumo: Literatura recente aponta que aproximadamente 40% dos fatores de fracasso de um projeto estão relacionados com defeitos nos requisitos do projeto. Este problema tem elevado o custo da construção de um software bem como afetado a qualidade dos produtos entregues. Qualidade de software está fortemente ligada à qualidade do processo de desenvolvimento de software e teste de software tem grande importância no processo de garantia da qualidade, pois as técnicas de teste são as últimas a serem aplicadas para assegurar que o software satisfaz suas especificações. Este trabalho propõe uma adaptação no Modelo V de desenvolvimento de software, visando criar mecanismos para melhorar a qualidade dos requisitos de software e para dar suporte às atividades de teste, como uma maneira de melhorar a eficácia do processo de desenvolvimento de software. O Modelo Proposto introduz atividades para validação de requisitos, que aplicam técnicas relacionadas a teste de software desde o início de um projeto de software. O Modelo Proposto foi avaliado por meio de um estudo experimental aplicado em projetos reais. Os resultados indicam que as técnicas introduzi das no Modelo V são eficazes e que ganhos em qualidade e custo são obtidos pelo uso do Modelo Proposto / Abstract: Recent literature indicates that approximately 40% of the failure factors of a project are related to defects in project requirements. This problem has increased the cost of software development as well as has affected the quality of delivered productso Software quality is strongly connected with the quality of the software development process and software testing is very important in the quality assurance process. as test techniques are the last ones applied to assure that software meets its requirements. This work proposes an adaptation in the V Model of software development. aimed to create mechanisms to improve the quality of software requirements and to support testing activities. as a way to improve the efficacy of the software development processo The Proposed Model introduces techniques for requirements validation. which apply software test activities since the early stages of a software project. The Proposed Model was evaluated by means of an experimental study applied to real projectso The results indicate that the techniques introduced in the V Model are efficacious and that gains in quality and cost are obtained by using the Proposed Model / Mestrado / Engenharia de Software / Mestre em Computação

Orienatadores: Mario Jino, Jose C. Maldonado / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-23T17:06:42Z (GMT). No. of bitstreams: 1 Vilela_PlinioRobertoSouza_D.pdf: 10402610 bytes, checksum: ca9c843024527b5bd91e864c000d8e04 (MD5) Previous issue date: 1998 / Resumo: Uma família de Critérios de Teste Estrutural baseado em Análise de Fluxo de Dados para o Teste de Integração de Programas, denominada Família de Critérios Potenciais Usos de Integração, é definida. Essa família de critérios inclui os critérios básicos e os critérios executáveis. As propriedades teóricas desses critérios são analisadas, incluindo a análise da relação de inclusão e da habilidade de detecção de defeitos tanto para os critérios básicos como para os executáveis. Essa família de critérios estabelece uma hierarquia de critérios entre o teste de ramos e o teste de caminhos tanto para a relação de inclusão como para a habilidade de detecção de defeitos, mesmo na presença de caminhos não executáveis. A análise inicial para a especificação de uma ferramenta de teste que suporte a aplicação dos Critérios Potenciais Usos de Integração é apresentada. Uma abordagem conservadora para o teste de programas com variáveis do tipo ponteiro, baseada na abordagem proposta por Maldonado para variáveis do tipo vetor (¿array¿), é apresentada. Essa abordagem é, em geral, mais exigente em termos do número de elementos requeridos que as outras abordagens apresentadas na literatura. Complementando o estudo da eficácia dos Critérios Potenciais Usos, apresentado por Maldonado, sob o ponto de vista empírico, analisa-se a eficácia desses critérios sob o ponto de vista teórico... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: A Family of Data Flow based Testing Criteria for the Integration Testing of Programs, called Integration Potential Uses Criteria, is defined. This family includes basic and feasible criteria. An analysis of the properties of the criteria, including the subsumption relation and the fault detecting ability, reveals that a hierarchy, bridging the gap between data flow based criteria and path testing, is established. The hierarchy is preserved even in the presence of infeasible paths. A preliminary analysis for the specification of a tool to support the application of the Potential Uses Criteria for Integration Testing is presented. A conservative approach for testing programs with pointers, based on the approach defined on a previous work by Maldonado for testing programs with arrays, is proposed. This approach is usually more demanding, in terms of the number of required elements, than previously presented ones. Complementing Maldonado¿s empirical studies of the efficacy of the Potential Uses Criteria at the unit level, the efficacy of the Potential Uses Criteria is theoretically analyzed. This analysis became possible after the definition of a set of relations to compare the fault detecting ability of testing criteria presented by Frankl and Weyuker... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Doutorado / Doutor 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-08T18:09:59Z (GMT). No. of bitstreams: 1 Miyazawa_AureaMatsumura_M.pdf: 9399060 bytes, checksum: 8cc4411a5037c9e0b55553a4d4b6794a (MD5) Previous issue date: 2003 / Resumo: Produtos COTS (Commercial-Off-The-Shelt)são soluções prontas e disponíveis no mercado que reduzem o tempo de desenvolvimento e o custo do sistema, portanto integrá-los em um único sistema parece ser então, a grande solução para construir sistemas com várias funcionalidades e com tecnologia de ponta em tempo reduzido. Mas por outro lado, o conceito destes sistemas integrados traz consigo diferentes desafios e riscos à equipe de manutenção, responsáveis pela alteração e correção de erros. Cientes da importância da fase de manutenção, procuramos neste estudo atividades que possibilitassem viabilizar a manutenção deste tipo de sistemas. Analisando a literatura, levantamos os riscos associados à manutenção destes sistemas e as estratégias existentes para minimizá-Ios, porém as várias nuances sobre o termo "manutenabilidade"dificultavam entender objetivamente o impacto destas estratégias, o que nos levou a buscar a definição de "manutenabilidade" em termos de características da qualidade, tomando-a mais precisa. Apresentamos neste estudo uma associação entre cada estratégia levantada, os riscos minimizados e as características da manutenabilidade afetadas. Estas estratégias foram agrupadas em 6 níveis de abstração, indicando a fase do desenvolvimento de um sistema que elas deverão ser realizadas.:Requisitos, Planejamento, Arquitetura, Testes e Manutenção, Gerência de Configuração e Controle de Qualidade. O objetivo desta associação é permitir que a equipe do projeto possa previnir-se dos riscos envolvidos, decidindo quando e como melhorar as várias faces da manutenabilidade, contribuindo desse modo para um sistema COTS de baixo custo derivado de uma fase de manutenção adequada / Abstract: A Commercial-Off-The-Shelf (COTS) software is an already-built product where functionalities can be acquired immediately, obtained at significantly lower price and developed by experts. From this point-of-view construct systems that integrate COTS products seems to be a great solution for a challenge: create software systems with a large number of functionalities and high technology in a reducedtime-to-market. But on the other hand, the handling of COTS products brings new challenges to the maintenance personnel who are required to evolve and enhance these systems. As software maintenance is long known as one of the most expensive and resource-requiringphase of the software development,we look for some strategies for building maintainable COTS systems. First of all, we identified some risks associated with maintenance of COTS systems, and suggest some strategies that can be developed to promote the system maintainability. But the definitions for maintainability are many and its various nuances are often confused or misunderstood, therefore, we look for a maintainability concept that defines the characteristic of the maintainability requirement in component-based software systems in order to clarify the impact of maintainability on software systems. We present in this study an association between each identified strategies, the minimized risks and the maintainability characteristics affected. Six abstraction levels, indicating when they must be implemented, grouped these strategies:Requirement, Project Planning,Coding, Testing and Maintenance, Configuration Management and Quality Control. This association attempts to assist project team to become aware of involved risks and to define when, where and how they should pay attention to the many faces of maintainability, contributing for a low-cost COTS system derived of a adequate maintenance phase / Mestrado / Mestre Profissional em Computação

Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos tecnológicos e gerenciais do processo de desenvolvimento de software. Software tornou-se a base de sustentação de inúmeras organizações dos mais diversos ramos de atuação espalhados pelo planeta, consistindo de um elemento estratégico na diferenciação de produtos e serviços atuais. Atualmente, o software está embutido em sistemas relacionados a infindável lista de diferentes ciências e tecnologias. A Tecnologia de Processo de Software surgiu em meados da década de 1980 e representou um importante passo em direção à melhoria da qualidade de software através de mecanismos que proporcionam o gerenciamento automatizado do desenvolvimento de software. Diversas teorias, conceitos, formalismos, metodologias e ferramentas surgiram nesse contexto, enfatizando a descrição formal do modelo de processo de software, para que possa ser automatizado por um ambiente integrado de desenvolvimento de software. Os modelos de processos de software descrevem o conhecimento de uma organização e, portanto, modelos que descrevem experiências bem sucedidas devem ser continuamente disseminados para reutilização em diferentes projetos. Apesar da importância desse tópico, atualmente apenas uma pequena porção do conhecimento produzido durante o desenvolvimento de software é mantido para ser reutilizado em novos projetos. Embora, à primeira vista, o desafio de descrever modelos reutilizáveis para processos de software pareça ser equivalente ao problema tratado pela tradicional área de reutilização de produtos software, isso é apenas parcialmente verdade, visto que os processos envolvem elementos relacionados com aspectos sociais, organizacionais, tecnológicos e ambientais. A crescente complexidade da atual modelagem de processos vem influenciando a investigação de tecnologias de reutilização que sejam viáveis nesse campo específico. A investigação conduzida nesse trabalho culminou na especificação de um meta-modelo que tem como objetivo principal aumentar o nível de automação fornecido na reutilização de processos, apoiando a modelagem de processos abstratos que possam ser reutilizados em diferentes contextos. O meta-modelo proposto por esse trabalho - denominado APSEE-Reuse - fornece uma série de construtores sintáticos que permitem que os diferentes aspectos desse contexto sejam descritos segundo múltiplas perspectivas, complementares entre si, contribuindo para diminuir a complexidade do modelo geral. A solução proposta destaca-se por fornecer um formalismo para modelagem de processos, o qual é integrado à uma infraestrutura de automação de processos de software, permitindo que a reutilização esteja intimamente relacionada com as outras etapas do ciclo de vida de processos. Os diferentes componentes envolvidos na definição do modelo APSEE-Reuse proposto foram especificados algebricamente, constituindo uma base semântica de alto 15 nível de abstração que deu origem a um conjunto de protótipos implementados no ambiente PROSOFT-Java. O texto ainda discute os experimentos realizados com o meta-modelo proposto na especificação de diferentes estudos de casos desenvolvidos a partir de exemplos retirados na literatura especializada, e de processos que fornecem soluções em contextos e necessidades específicas de projetos desenvolvidos no PPGC-UFRGS. Finalmente, são apresentadas considerações acerca dos trabalhos relacionados, os elementos críticos que influenciam a aplicabilidade do modelo e as atividades adicionais vislumbradas a partir do trabalho proposto.

Orientador : Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-02T17:28:09Z (GMT). No. of bitstreams: 1 Ukuma_LucianoHayato_M.pdf: 4506949 bytes, checksum: 0e10a40e54da82aaa2007ceb9ecc8235 (MD5) Previous issue date: 2002 / Resumo: A atividade de teste de software tem-se mostrado de extrema importância para o desenvolvimento de software com qualidade. No caso do desenvolvimento de software baseado em componentes, tal atividade tem ainda maior importância devido a característica da reusabilidade, pois para que o reuso seja bem sucedido é fundamental que o componente reutilizável seja confiável. Desta forma, componentes devem ser testados durante todo seu desenvolvimento e a cada vez que haja alguma alteração. Neste trabalho é apresentada a descrição de uma estratégia para o desenvolvimento de componentes autotestáveis que tem como objetivo construir componentes que possuam mecanismos de teste embutidos afim de melhorar sua testabilidade. O objetivo final é reduzir os custos com a realização dos testes sem comprometimento da confiabilidade. Mais especificamente nossa estratégia está baseada nos seguintes elementos: especificação do componente, especificação de teste, mecanismos de teste embutido e geração de casos de teste / Abstract: The software test activity has revealed to be of extreme importance for the development of good quality software. In particular, in the case of the component-based development, such an activity has an even greater importance due to reusability potential. However, for the reuse to be successful it is fundamental that the reusable component be reliable. Thereby, components should be tested during it development time and every time that the component undergoes some alteration. This work presents the description of a strategy for the development of self-testing components that aims to construct components that have built-in test mechanisms to improve the testability in order to reduce the costs with test realization, without compromising reliability. More specifically, our strategy is based on: component specification, test specification, built-in test mechanisms and test case generation / Mestrado / Mestre em Ciência da Computação

Orientador: Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T06:23:01Z (GMT). No. of bitstreams: 1 Fantinato_Marcelo_M.pdf: 269097 bytes, checksum: 7f571e666b2b66b0c06a3a5b0e975969 (MD5) Previous issue date: 2002 / Mestrado

Orientadores : Jose Carlos Maldonado, Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T17:47:18Z (GMT). No. of bitstreams: 1 VillasBoas_AndreLuizdeCastro_M.pdf: 1630941 bytes, checksum: 50bfe53cc75b0d42f3de616c790f1683 (MD5) Previous issue date: 2003 / Mestrado

Orientador: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T00:07:41Z (GMT). No. of bitstreams: 1 Sousa_MiltonCesarFragade_M.pdf: 4802675 bytes, checksum: b02f4d9a23bb7729b800714bf17a67aa (MD5) Previous issue date: 2004 / Resumo: o desenvolvimento de software baseado em componentes tem sido amplamente utilizado na construção de sistemas de grande porte. Nestes sistemas, intrinsecamente complexos, a adoção de um processo de desenvolvimento sistemático é muito importante. Outros fatores relevantes que podem ser considerados são: (I) a arquitetura de software, principal responsável pelo atendimento de requisitos não-funcionais, como tolerância a falhas e distribuição, (2) a evolução do sistema em face das mudanças tecnológicas, ponto central da abordagem Model Driven Architecture (MDA) proposta pelo consórcio Object Management Group (OMO) e (3) a distância semântica entre as abstrações da descrição arquitetural e as construções disponíveis nas plataformas alvo. Este trabalho apresenta um processo de desenvolvimento de software baseado em componentes adaptado para (I) incorporar a abordagem MDA, (2) tratar explicitamente os requisitos não-funcionais através da arquitetura de software, e (3) reduzir a distância semântica entre as abstrações da descrição arquitetural através da utilização de modelos de estruturação de componentes independentes de plataformas como, por exemplo, J2EE e .NET. A praticabilidade do processo adaptado baseado na abordagem MDA foi evidenciada no estudo de caso de um Sistema de Contingências Tributárias. Este estudo permitiu (1) demonstrar a utilização do processo proposto, (2) introduzir os conceitos da abordagem MDA, (3) tratar os requisitos não-funcionais através do refinamento da arquitetura de software, e (4) criar mapeamentos para as plataformas J2EE e .NET / Abstract: Component-based software development has been widely used in the construction of large scale systems. In these systems, which are intrinsical1y complex, the adoption of a systematic development process is very important. Other relevant factors that should be considered in order to achieve a successful development of complex component-based system are: (I) its software architecture, main responsible for fulfi11ing the non-functional requirements, e.g. fault tolerance and distribution, (2) the system's evolution in face of technological changes, the central point of Model Driven Architecture (MDA) approach proposed by Object Management Group (OMG) consortium and (3) the semantic distance between the abstraction of the architectural description and the available constructions in the target platforms. This work presents a component-based software development process adapted (1) to incorporate the MDA approach, (2) to address explicitly the non-functional requirements by means of the software architecture, and (3) to reduce the semantic distance between the abstraction's architectural description through the use of platform independent (e.g. J2EE and .NET) component structuring models. The feasibility of the modified process based on the MDA approach was evidenced in the case study of a Tax Contingencies System. This study al1owed us (I) to demonstrate the use of the proposed process, (2) to introduce the concepts of MDA approach, (3) to address the non functional requirements through the refinement of the software architecture, and (4) to create mappings to the J2EE and .NET platforms / Mestrado / Engenharia de Computação / Mestre em Computação

Orientador: Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-25T10:54:42Z (GMT). No. of bitstreams: 1 Bueno_PauloMarcosSiqueira_M.pdf: 9696615 bytes, checksum: cf1489b7486e810fb816a4449ac15e59 (MD5) Previous issue date: 1999 / Resumo: Este trabalho apresenta uma ferramenta e técnicas para automação da geração de dados e identificação de não executabilidade para a técnica estrutural de teste de software. A ferramenta baseia-se na Técnica Dinâmica; na busca utilizando Algoritmos Genéticos; e no reuso de soluções passadas através do Raciocínio Baseado em Casos. O objetivo é gerara automaticamente dados de entrada que executem caminhos completos no programa em teste e identificar a não executabilidade desses caminhos quando for o caso; o que é feito através da Heurística de Identificação Dinâmica de Potencial não Executabilidade proposta. Um experimento conduzido mostra a validade das soluções elaboradas e do benefício da utilização da ferramenta. Os resultados alcançados sugerem que, apesar da indecidibilidade geral desses problemas, soluções parciais podem ser úteis à prática do teste de software / Abstract: A tool and techniques are presented for test data generation and infeasibility identification in structural software testing technique. The tool is based on: the Dynamic Technique; using Genetic Algorithms; and reusing of solutions through Case Based Reasoning. The objective is to automatically generate input data which execute complete paths in a program and identify path infeasibility when this is the case ; this is done through the Potential Infeasibility Dynamic Identification Heuristic proposed. An experiment shows the validity of the developed solutions and the benefit of using the tool. Results attained indicate that, despite the general undecidability of the problems, partial solutions may be useful to software testing practice / Mestrado / Mestre em Engenharia Elétrica