SCHUENEMANN, Carla Taciana Lima Lourenco Silva, também é conhecida em citações bibliográficas por: SILVA, Carla / Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-07-31T22:18:30Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Juliana Dantas Ribeiro Viana de Medeiros.pdf: 2161644 bytes, checksum: e9d1db641ca49230902d1d8963b8bb68 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-01T22:34:12Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Juliana Dantas Ribeiro Viana de Medeiros.pdf: 2161644 bytes, checksum: e9d1db641ca49230902d1d8963b8bb68 (MD5) / Made available in DSpace on 2018-08-01T22:34:12Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Juliana Dantas Ribeiro Viana de Medeiros.pdf: 2161644 bytes, checksum: e9d1db641ca49230902d1d8963b8bb68 (MD5) Previous issue date: 2017-03-13 / Although Agile Software Development (ASD) has grown in recent years, research evidence points out several limitations concerning its requirements engineering activities. It was observed that an inadequate specification acts as a catalyst to others problems, such as low productivity of the team and difficulty in maintaining software. Improving the quality of Software Requirements Specifications (SRS) may help gaining a competitive advantage in the software industry. The goal of this study is to investigate the phenomenon of the requirements specification activity in ASD, discuss relevant findings of this phenomenon to industrial practice, and propose practices to write a SRS targeted to development team. First, a Systematic Mapping (SM) study was conducted to characterize the landscape of requirements engineering in ASD. The thematic synthesis method was used to code and synthesize the data collected from the primary studies selected. After that, some of the challenges pointed out in the SM were investigated in more depth in six industrial case studies. Data collected from documents, observations, and interviews with software engineers were triangulated, analyzed, and synthesized using techniques of grounded theory and metaethnography. The analysis and cross-synthesis of the case studies resulted in a model that defines the simplicity and objectivity as essential quality factors of SRS in ASD. The main factors that affect the quality are related to the customer-driven nature that tends to leave the prolix SRS, hindering the understanding of the software engineers, as they are, at the same time, insufficient to support coding, testing and maintenance tasks. One approach was proposed to provide a SRS closer to the development needs, addressing some of the quality factors of the model. Empirical studies that evaluated the approach show that the design practices used in the proposed approach have the potential to reduce the gap between the problem and the solution domains, producing an objective SRS that is team-driven and closer to that will be implemented. / Embora o Desenvolvimento Ágil de Software (DAS) tenha crescido nos últimos anos, estudos empíricos apontam vários problemas relacionados com as atividades de engenharia de requisitos. Observou-se que a especificação inadequada age como um catalizador para outros problemas, como por exemplo, baixa produtividade da equipe e dificuldades na manutenção do software. Melhorar a qualidade da Especificação de Requisitos de Software (ERS) pode ajudar a ganhar uma vantagem competitiva na indústria de software. O objetivo deste estudo é investigar o fenômeno da especificação de requisitos no DAS, discutir relevantes implicações desse fenômeno para a indústria, e propor práticas para escrever ERS voltadas para a equipe de desenvolvimento. Primeiro, um Mapeamento Sistemático (MS) foi realizado para caracterizar o panorama da engenharia de requisitos no DAS. O método de síntese temática foi utilizado para codificar e sintetizar os dados coletados a partir dos estudos primários selecionados. Em seguida, alguns dos desafios apontados no MS foram investigados com mais profundidade em seis estudos de caso industriais. Os dados coletados a partir de documentos, observações e entrevistas com engenheiros de software foram triangulados, analisados e sintetizados usando técnicas de teoria fundamentada e meta-etnografia. A análise e síntese cruzada dos estudos de caso resultaram em um modelo de qualidade que define a simplicidade e objetividade como fatores essenciais na ERS no DAS. Os principais fatores que afetam a qualidade estão relacionados à natureza orientada para o cliente que tende a deixar a ERS prolixa, dificultando a compreensão do engenheiro de software, ao mesmo tempo que é insuficiente para a codificação, testes e manutenção. Uma abordagem foi proposta para fornecer uma especificação de requisitos mais próxima das necessidades de desenvolvimento, atendendo alguns dos fatores de qualidade do modelo. Os estudos empíricos que avaliaram a abordagem demonstram que as práticas de design utilizadas pela abordagem tem o potencial de reduzir a distância entre o domínio do problema e o da solução, produzindo uma ERS objetiva, voltada para o desenvolvedor, e próxima do que vai ser implementado.

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-08-01T19:43:34Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Rickson César da Cruz Silva.pdf: 2895676 bytes, checksum: 80472f8d656487f25bfdac56bb15fc18 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-03T18:49:15Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Rickson César da Cruz Silva.pdf: 2895676 bytes, checksum: 80472f8d656487f25bfdac56bb15fc18 (MD5) / Made available in DSpace on 2018-08-03T18:49:16Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Rickson César da Cruz Silva.pdf: 2895676 bytes, checksum: 80472f8d656487f25bfdac56bb15fc18 (MD5) Previous issue date: 2017-03-06 / Ao longo de décadas, a demanda por software de qualidade aumentou consideravelmente. Com o rápido crescimento da indústria de software surgiu a necessidade de criar processos eficientes para que as organizações desenvolvedoras continuassem competitivas no mercado. Diversas opções de métodos foram criadas nas últimas décadas. Assim, os Métodos Ágeis (MA) emergiram como uma alternativa aos métodos tradicionais de desenvolvimento de software. Mais produtivos e adaptáveis, os MA têm sido amplamente usados para desenvolver software de diferentes domínios. Neste contexto, estudos recentes demonstram que a adoção de Métodos Ágeis apresenta novos desafios para as equipes de desenvolvimento de software. O objetivo desta dissertação é investigar a influência de fatores humanos e culturais no sucesso em projetos de software. Foi realizado um mapeamento sistemático (MS) como método de pesquisa, permitindo uma avaliação organizada e rigorosa dos artigos sobre o tema. Cinco questões de pesquisa foram propostas para identificar os artigos relevantes utilizando busca automática, manual e snowballing. Foi definida uma string de busca geral e strings de busca específicas para cada um dos quatro engenhos de pesquisa utilizados (ACM Digital Library, Elsevier ScienceDirect, IEEEXplore Digital Library, Springer Link). Os dados extraídos dos artigos selecionados foram processados e mapeados de maneira sistemática. Vinte e dois artigos foram avaliados segundos os critérios mencionados para responder às questões de pesquisa, de forma a proporcionar uma visão quantitativa geral de cada artigo, sendo identificadas informações sobre o tipo de busca, a distribuição por ano, a origem das publicações, os principais pesquisadores, o tipo de estudo e a quantidade de publicações por país. Para complementar os resultados do mapeamento sistemático, foi realizado um survey com 115 desenvolvedores de software ágil para entender como os fatores humanos e culturais afetam os projetos em que eles estão envolvidos. A principal contribuição deste trabalho é apresentar uma visão abrangente sobre a influência dos fatores humanos e culturais na área de desenvolvimento de software a partir dos Métodos Ágeis. Além disso, os resultados gerados por esta pesquisa poderão auxiliar o mercado em crescimento, bem como subsidiar pesquisas futuras na área. / Over the decades, the demand for quality software has increased considerably. With the rapid growth of the software industry, the need arose to create efficient processes for the development organizations to remain competitive in the market. Several method options have been created and used since then. Thus, agile methods (AM) emerged as an alternative to replace traditional software development methods. More productive and adaptable, AMs have proven to meet market demands. In this context, recent studies have shown that the adoption of Agile Methods presents new challenges for software development teams. The objective of this work was to investigate the influence of human and cultural factors on the success of agile software projects. A systematic mapping was used as a research method, allowing an organized and rigorous evaluation of the articles on the subject. Five research questions were created that were used to identify the relevant works using automatic search, manual and snowballing. A general search string and search strings have been defined for each of the four search engines used (ACM Digital Library, Elsevier ScienceDirect, IEEEXplore Digital Library, Springer Link). Data extracted from the selected articles were processed and mapped in a systematic way. Twenty-two articles were evaluated according to the criteria to answer the research questions, in order to provide a qualitative overview of each article, identifying information about the type of search, the distribution per year, the origin of publications, the main researchers, the type of study and the number of publications by country. To complement the results of the systematic mapping, a survey with 115 developers of the agile software was made, looking for an understanding of how the human and cultural factors affect the project in which they are involved. The main contribution of this work is to present a comprehensive view on the human and cultural factors in the area of agile software. In addition, the results generated by this research may help the growing market, as well as support future research in this area.

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-01T20:03:01Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Filipe Marques Chaves Arruda.pdf: 2317425 bytes, checksum: 0739c60d4cc06fe57fcf2d3611f976cc (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-02T20:13:13Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Filipe Marques Chaves Arruda.pdf: 2317425 bytes, checksum: 0739c60d4cc06fe57fcf2d3611f976cc (MD5) / Made available in DSpace on 2018-08-02T20:13:13Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Filipe Marques Chaves Arruda.pdf: 2317425 bytes, checksum: 0739c60d4cc06fe57fcf2d3611f976cc (MD5) Previous issue date: 2017-03-31 / CNPq / A common scenario when automating tests begins with a test engineer writing test cases with no formal specification or software supervision. Then, there is a developer that tries to understand what an ambiguous test means in order to transform it into code. Finally, there is an experienced tester that is responsible to supervise the execution and to verify whether the failures are indeed bugs, or a mistake from the developer or test engineer, or just a matter of change in the requirements or user interface. To reduce these recurring problems in test automation, we propose a unified process, to write test cases using a controlled natural language to check consistency and dependencies automatically or search for similar test descriptions written in free natural language. The proposed process is applied to a reusable capture & replay strategy, so anyone can automate tests even without previous knowledge about coding, besides mitigating scalability/maintainability issues by reusing actions with granularity ranging from simple commands, such as open an application, to entire test cases or even test suites. The actions are represented by an abstract, framework-free notation. Besides, the implementation covers plugins, including voice recording and image processing; and a proactive traceability for elements in the user interface. The strategy was consolidated through its implementation in a tool, in the context of a partnership with Motorola Mobility. It has been adopted in practice for different test suites, achieving a reuse ratio up to 71% for test cases written with no standard whatsoever, yet presenting time gains similar to traditional C&R approaches when compared to coding. Furthermore, through standardization, it was possible to define a consistency notion and to capture an association graph (whose edges represent dependency and cancellation relations) among test actions. From these associations, it was possible to establish a mechanism to ensure that each test action is preceded by actions on which it depends to be granted to execute. An editor (Kaki) was implemented to mechanize both adherence to the CNL and the dependencies between tests. From the associations informed within the user interface, Kaki generates an Alloy model automatically and uses Alloy Analyzer to verify consistency, besides possibly suggesting the insertion of test actions to satisfy the dependencies, automatically. / Um cenário comum na automação de testes inicia-se a partir da escrita dos casos de testes por um engenheiro de testes, sem alguma especificação formal ou supervisão por software. Então, um desenvolvedor tenta interpretar o que o teste potencialmente ambíguo significa antes de transformá-lo em código executável. Finalmente, um testador é responsável por verificar se as falhas são realmente bugs, ou erros cometidos pelo desenvolvedor, pelo engenheiro de teste ou apenas uma mudança nos requisitos ou na interface de usuário. Para reduzir estes problemas recorrentes na automação de testes, nós propomos um processo unificado de escrita de casos de testes usando linguagem natural controlada que permite a verificação automática de consistência e dependências na escrita de ações de teste, ou usando uma busca por descrições similares de ações quando escritas em linguagem natural livre. O processo proposto é aplicado em uma estratégia de capture & replay reusável, assim permitindo a automação por pessoas sem background em programação, além de mitigar problemas intrínsecos de escalabilidade e manutenabilidade através do reuso de ações de teste com granularidade que pode variar desde comandos simples, como abrir um aplicativo, um caso de teste inteiro, ou mesmo uma suite de testes. As ações são representadas através de uma notação abstrata e framework-agnóstica. Além disso, a implementação ainda abrange plugins que incluem captura de voz e processamento de imagem; e rastreabilidade proativa para os artefatos. A estratégia foi concretizada através de sua implementação em uma ferramenta (Zygon) e avaliada no contexto de uma parceria com a Motorola Mobility, tendo sido adotada na prática em diferentes suítes de testes usando a linguagem natural livre, atingindo um reuso de até 71% com ganho de tempo similar a abordagens de capture & replay quando comparadas à programação. Além disso, através da padronização da linguagem natural controlada, foi possível definir uma noção de consistência e capturar um grafo de associações (dependências e cancelamentos) entre ações de teste. A partir destas associações, foi possível estabelecer mecanismos para garantir que cada ação de um teste devesse ser precedida por ações das quais a mesma depende para ser executada. Um editor (Kaki) foi implementado para mecanizar tanto aderência à CNL, como a dependência entre ações de teste. A partir das associações informadas na interface gráfica, Kaki cria automaticamente um modelo Alloy e usa o Alloy Analyzer para fazer a verificação de consistência, além de possivelmente sugerir a inserção de ações de teste para satisfazer as relações de dependências, automaticamente.

Orientador: Eliane Martins / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-06T02:01:27Z (GMT). No. of bitstreams: 1 Vieira_VanessaGindri_M.pdf: 17707091 bytes, checksum: c79d59adb9877346fb8498b47cc8eb4c (MD5) Previous issue date: 2004 / Resumo: Uma classe reutilizável precisa ser testável, já que a mesma pode ser testada várias vezes: quando é modificada, quando sua superclasse é modificada, quando suas clientes e/ou servidoras são modificadas. Daí a importância de que essa classe seja fácil de testar, ou seja, testável. Com a utilização de classes testáveis ocorre um aumento da testabilidade do sistema que as contém. Em trabalho anterior foi definida uma classe testável que inclui, além da própria classe, um modelo representando o comportamento da classe, bem como mecanismos embutidos de testes, ou BIT (Built-in Test). A atividade de teste de regressão envolve o teste de modificações do sistema para garantir que o sistema não regrediu, ou seja, que as funcionalidades que executavam corretamente numa versão anterior não foram indesejavelmente afetadas pelas modificações. Esse trabalho teve por objetivo responder à seguinte pergunta: como utilizar informações de testes contidas em uma classe testável nos testes de regressão? Para respondê-Ia foi necessário definir: (i) uma forma de seleção de testes de regressão - nesse trabalho nós propomos uma técnica de seleção baseada no modelo de comportamento da classe, apesar da maioria das técnicas existentes serem baseadas no código; e (ii) uma forma de gerar testes para novas características resultantes da modificação. A técnica proposta é aplicável tanto no contexto da classe base quanto das classes derivadas. Além de não precisar do código fonte, o que a torna útil para testes de componentes nos quais o código fonte não está disponível, a técnica também pode ser totalmente automatizada / Abstract: A reusable class has to be testable since it should be tested many times: when a class is changed, when its superclass is changed, when its client andjor server classes are changed. Therefore, it is important that this class be easy to test, that is, be testable. There is an increase on the testability of the system when testable classes are used. A previous research elaborated a testable class, which includes the class implementation, a model to represent its behaviour, as well as built-in test (BIT) mechanisms. Regression testing activity involves testing the modified program to ensure that new features do not regress to the existing features, that is, regression testing is applied to the modified software to provide confidence that the unchanged parts have not been adversely affected by the modification. This work intends to answer the following question: how to use test information contained on the testable class to do regression testing? The answer involves some definitions: (i) a strategy of regression test selection - in this work we propose a regression test selection technique based on the class behaviour model, despite the fact that the majority of existing techniques are code-based; and (ii) a way to generate tests to new features resulted from the class modifications. This technique is applied not only to base class context but also to derived classes. Besides the fact that the source code is not needed in this technique, which makes it useful to component testing in which the source code is not available, the technique can also be totally automated. / Mestrado / Mestre em Ciência da Computação

Orientador: Claudia Maria Bauzer Medeiros / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-06T01:54:46Z (GMT). No. of bitstreams: 1 Degan_JoyceOtsukaCortes_M.pdf: 741022 bytes, checksum: fd622b661f3e290b2e182bc5666dc8f3 (MD5) Previous issue date: 2005 / Resumo: A necessidade da integração de dados em ambientes empresariais, apesar de antiga, ainda é um problema crucial a ser resolvido para a maioria das empresas, permitindo integração entre clientes, parceiros e fornecedores. Fusões e aquisições corporativas conjugadas com sistemas legados resultantes de diferentes implementações, por diferentes fornecedores em diferentes momentos tecnológicos, resultam em uma base distribuída, redundante, heterogênea e de difícil gerenciamento. A integração necessita de mecanismos confiáveis e procedimentos integrados para assegurar a consistência, segurança e controle dos dados corporativos. As soluções para integração de dados disponíveis no mercado ainda têm uma visão fragmentada da integração nesse nível. Este trabalho analisa problemas encontrados na prática em ambientes empresaruus para integração de dados que considera todos esses fatores e propõe uma arquitetura para a solução desses problemas. A arquitetura combina enfoques .de bancos de dados, sistemas distribuídos e soluções atuais do ponto de vista de serviços e sistemas Web / Abstract: The need for data integration in enterprises dates back to several decades. However, it is still a pressing problem for most environments, since it is seen as a means to allow integration among customers, partners and suppliers. Besides needs that arise from fusion of companies, there is always the issue of legacy systems that result from distinct implementations in different technologies. The resulting scenario is a distributed set of files and databases, which are redundant heterogeneous and hard to manage. Data integration requires reliable mechanisms, as well as an integrated set of procedures to ensure consistency, security and control of corporate data. Offthe shelf solutions still provide fragmented views of data integration. This work analyzes problems found in enterprises during data integration processes, taking alI previously mentioned factors into consideration. It proposes an architecture to solve these problems. The solution combines research in databases, distributed systems, and Web services and systems / Mestrado / Mestre em Ciência da Computação

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: Cecilia Mary Fischer Rubira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-26T09:38:43Z (GMT). No. of bitstreams: 1 Ferreira_LucianeLamour_M.pdf: 2771486 bytes, checksum: 7961482fc288b5bbb51dd4c0427b671e (MD5) Previous issue date: 1999 / Resumo: Este trabalho baseia-se nos conceitos de orientação a objetos, frameworks, estilos de arquitetura, padrões de projeto e metapadrões, para o projeto e implementação de um framework orientado a objetos para controladores de trens tolerantes a falhas e distribuídos. O principal objetivo é a obtenção de reutilização de software em larga escala, com reutilização tanto de código quanto de todo o projeto de software. No desenvolvimento do framework, nós utilizamos estilos de arquitetura para o projeto da sua parte fixa, e padrões de projeto e metapadrões para a documentação da sua parte adaptável. Nosso objetivo é avaliar as vantagens e desvantagens obtidas na aplicação destas técnicas na construção de frameworks. Este trabalho apresenta também propostas de novos padrões de projeto e estilos de arquitetura, que foram utilizados para resolver problemas do domínio do framework. A principal contribuição dos padrões e estilos é a utilização de reflexão computacional na implementação de tolerância a falhas, com o objetivo de obter estruturas de projeto mais flexíveis, o que é uma característica essencial para obtenção de frameworks realmente reutilizáveis. / Abstract: This work is based on the concepts of object-orientation, frameworks, architectural styles, design pattems and metapattems to the design and implementation of an object-oriented framework for fault-tolerant train controlers. The main goal is to obtain large-scale reuse, reusing not only the code but also the whole software design. In the framework development, we have applied architectural styles in the design of its fixed parts, and design pattems and metapattems in the design of its adaptable parts. Our goal is to evaluate the advantages and disadvantages of applying these tecniques in the framework construction. This work also presents new design pattems and architectural styles that have been used to solve problems in the framework domain. The main contribution of the pattems and styles is the use of computational reflection in the fault tolerance implementation in order to achieve more adaptable design structure, which is an essential feature of frameworks. / Mestrado / Mestre em Ciência da Computação

Orientadores: Jacques Wainer, Itana Maria Souza Gimenez / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-27T15:27:51Z (GMT). No. of bitstreams: 1 Padilha_AdemirMorgenstern_M.pdf: 5552352 bytes, checksum: 31c36acd1b79c0adf0a9732ef005467c (MD5) Previous issue date: 2000 / Resumo: Devido às crescentes exigências por qualidade de sofiware a comunidade de engenharia de sofiware tem produzido diversas normas e apresentado diversas abordagens sobre a qualidade de sofiware. Grande parte destas normas são aplicadas ao processo de sofiware, dentre elas destacam-se pela larga utilização a ISO 9000-3, a ISO 12207, o CMM e o ISO/IEC TR 15504 como resultado dos trabalhos do projeto SPICE. Outro resultado das pesquisas da comunidade de engenharia de sofiware são os ambientes de engenharia de sofiware centrados no processo (PSEE), os quais visam à automação do processo de sofiware. Estas duas idéias, normatização e automação do processo de sofiware, compõem a idéia central deste trabalho: avaliação da qualidade do processo de sofiware através de um ambiente automatizado. Para isto foi desenvolvida uma metodologia de avaliação de processo de sofiware com base no ISO/IEC TR 15504, denominada MAPS-15504. A metodologia de avaliação de processo de sofiware foi implementada no ambiente do ExPSEE, um ambiente experimental desenvolvido no Departamento de Informática (DIN) da Universidade Estadual de Maringá (UEM), e utilizada na avaliação do processo de sofiware da Empresa X Ltda, uma empresa fictícia criada com base em um padrão de empresas de médio porte do relatório do Programa Brasileiro de Qualidade e Produtividade e dos trials do projeto SPICE. A metodologia proposta MAPS-15504 traz grandes beneficios para o processo de avaliação, pois: define um processo de avaliação claro e passível de automação, introduz tarefas específicas para a estruturação da avaliação, introduz uma tarefa para coleta de documentos, introduz o gerenciamento automatizado do processo através do controle sobre o andamento e o estado de cada tarefa a qualquer tempo, permite a reutilização do processo de avaliação, garante a execução da tarefa somente se ela puder ser executada através de pré e pós-condições, automatiza os checklists que podem ser programados na tarefa, gerando automaticamente os resultados da avaliação com controle de acesso aos resultados / Abstract: The increasing requirements for sofiware quality have lead the software engineering community to produce severa! standards to guide the quality of software products and processes. Amongst the process standards, it can be highlighted the following ones due to their wide use: ISO 9000-3, ISO 12207, CMM and ISOIIEC TR 15504. An additional important research result of the sofiware engineering community is Processcentred software engineering environment (PSEE). These environments aim at providing integrated software process automation. Process standards and PSEE compose the central subject of the work presented in this dissertation that is the evaluation of the quality of software processes through an automated environment. In order to achieve this a method of software process evaluation, called MAPS-15504, based on the ISOIIEC TR 15504, was developed. MAPS-15504 was applied to the hypothetical Company X and implemented in the ExPSEE environment. ExPSEE is an experimental PSEE developed in the Infonnatics Department (DIN) of the Universidade Estadual de Maringá (UEM). Company X was idea1ized based on medium sized companies as established in the Brazilian Program for Quality and Productivity and the trials ofthe SPICE Project. MAPS-15504, the proposed methodology, brought severa1 benefits for the evaluation process which include: definition ofa clear and executable process; introduction of specmc tasks for the evaluation structure, introduction of a well-defined task for document collection, management of process through the control of status of each task at any time; reuse of evaluation processes; guarantee that tasks satisfY their pre and postconditions, and implementation of checklists, thus automatically generating the evaluation results / Mestrado / Mestre em Ciência da Computação