• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 136
  • 3
  • 2
  • Tagged with
  • 141
  • 141
  • 100
  • 81
  • 19
  • 17
  • 17
  • 14
  • 13
  • 12
  • 12
  • 12
  • 12
  • 11
  • 11
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Hardware design and performance analysis for cryptographic sponge BlaMka. / Projeto de hardware e análise de desempenho para a exponja criptográfica BlaMka.

Rossetti, Jônatas Faria 19 May 2017 (has links)
To evaluate the performance of a hardware design, it is necessary to select the met- rics of interest. Several metrics can be chosen, but in general three of them are considered basic: area, latency, and power. From these, other metrics of practical interest such as throughput and energy consumption can be obtained. These metrics relate to one another by creating trade-offs that designers need to know to execute the best design decisions. Some works address optimized hardware design for improving one of these metrics. In other works, optimizations are made for two of them. Others analyze the trade-off between two of these metrics. However, the literature lacks of works that analyze the behavior of three metrics together. In this work, we intend to contribute to bridge this gap, proposing a method that allow analyzing trade-offs among area, power, and throughput. To verify the proposed method, the permutation function of crypto- graphic sponge BlaMka was chosen as a case study. No hardware implementation has been found for this algorithm yet. Therefore, an additional contribution is to provide its first hardware design. Combinational and sequential circuits were designed and synthesized for ASIC and FPGA. With the synthesis results, a detailed performance analysis was performed for each platform, starting from a one-dimensional analysis, going through a two-dimensional analysis, and culminating in a three-dimensional analysis. Two techniques were presented for such analysis, namely projections approach and planes approach. Although there is room for improvement, the proposed method is a initial step showing that, in fact, a trade-off between three metrics can be analyzed, and that it is also possible to find balanced performance points. From the two approaches presented, it was possible to derive a criterion to select optimizations when we have restrictions, such as a desired throughput range or a maximum physical size, and when we do not have restrictions, in which case we can choose the optimization with the most balanced performance. / Para avaliar o desempenho de um projeto de hardware, é necessário selecionar as métricas de interesse. Várias métricas podem ser escolhidas, mas em geral três delas são consideradas básicas: área, latência e potência. A partir delas, podem ser obtidas outras métricas de interesse prático, tais como vazão e consumo de energia. Essas métricas relacionam-se entre si, criando trade-offs que os projetistas precisam conhecer para executar as melhores decisões de projeto. Alguns trabalhos abordam o projeto de hardware otimizado para melhorar uma dessas métricas. Em outros trabalhos, as otimizações são feitas para duas delas, mas sem analisar como uma terceira métrica se relaciona com as demais. Outros analisam o trade-off entre duas dessas métricas. Entretanto, a literatura carece de trabalhos que analisem o comportamento de três métricas em conjunto. Neste trabalho, pretendemos contribuir para preencher essa lacuna, propondo um método que permita a análise de trade-offs entre área, potência e vazão. Para verificar o método proposto, foi escolhida a função de permutação da esponja criptográfica BlaMka como estudo de caso. Até o momento, nenhuma implementação em hardware foi encontrada para esse algoritmo. Dessa forma, uma contribuição adicional é apresentar seu primeiro projeto de hardware. Circuitos combinacionais e sequenciais foram projetados e sintetizados para ASIC e FPGA. Com os resultados de síntese, foi realizada uma análise de desempenho detalhada para cada plataforma, a partir de uma análise unidimensional, passando por uma análise bidimensional e culminando em uma análise tridimensional. Duas técnicas foram apresentadas para tal análise tridimensional, chamadas abordagem das projeções e abordagem dos planos. Embora passível de melhorias, o método apresentado é um passo inicial mostrando que, de fato, um trade-off entre três métricas pode ser analisado, e que também é possível encontrar pontos de desempenho balanceado. A partir das duas abordagens, foi possível derivar um critério para selecionar otimizações quando há restrições, como um faixa de vazão desejada ou um tamanho físico máximo, e quando não há restrições, caso em que é possível escolher a otimização com o desempenho mais balanceado.
12

Hardware design and performance analysis for cryptographic sponge BlaMka. / Projeto de hardware e análise de desempenho para a exponja criptográfica BlaMka.

Jônatas Faria Rossetti 19 May 2017 (has links)
To evaluate the performance of a hardware design, it is necessary to select the met- rics of interest. Several metrics can be chosen, but in general three of them are considered basic: area, latency, and power. From these, other metrics of practical interest such as throughput and energy consumption can be obtained. These metrics relate to one another by creating trade-offs that designers need to know to execute the best design decisions. Some works address optimized hardware design for improving one of these metrics. In other works, optimizations are made for two of them. Others analyze the trade-off between two of these metrics. However, the literature lacks of works that analyze the behavior of three metrics together. In this work, we intend to contribute to bridge this gap, proposing a method that allow analyzing trade-offs among area, power, and throughput. To verify the proposed method, the permutation function of crypto- graphic sponge BlaMka was chosen as a case study. No hardware implementation has been found for this algorithm yet. Therefore, an additional contribution is to provide its first hardware design. Combinational and sequential circuits were designed and synthesized for ASIC and FPGA. With the synthesis results, a detailed performance analysis was performed for each platform, starting from a one-dimensional analysis, going through a two-dimensional analysis, and culminating in a three-dimensional analysis. Two techniques were presented for such analysis, namely projections approach and planes approach. Although there is room for improvement, the proposed method is a initial step showing that, in fact, a trade-off between three metrics can be analyzed, and that it is also possible to find balanced performance points. From the two approaches presented, it was possible to derive a criterion to select optimizations when we have restrictions, such as a desired throughput range or a maximum physical size, and when we do not have restrictions, in which case we can choose the optimization with the most balanced performance. / Para avaliar o desempenho de um projeto de hardware, é necessário selecionar as métricas de interesse. Várias métricas podem ser escolhidas, mas em geral três delas são consideradas básicas: área, latência e potência. A partir delas, podem ser obtidas outras métricas de interesse prático, tais como vazão e consumo de energia. Essas métricas relacionam-se entre si, criando trade-offs que os projetistas precisam conhecer para executar as melhores decisões de projeto. Alguns trabalhos abordam o projeto de hardware otimizado para melhorar uma dessas métricas. Em outros trabalhos, as otimizações são feitas para duas delas, mas sem analisar como uma terceira métrica se relaciona com as demais. Outros analisam o trade-off entre duas dessas métricas. Entretanto, a literatura carece de trabalhos que analisem o comportamento de três métricas em conjunto. Neste trabalho, pretendemos contribuir para preencher essa lacuna, propondo um método que permita a análise de trade-offs entre área, potência e vazão. Para verificar o método proposto, foi escolhida a função de permutação da esponja criptográfica BlaMka como estudo de caso. Até o momento, nenhuma implementação em hardware foi encontrada para esse algoritmo. Dessa forma, uma contribuição adicional é apresentar seu primeiro projeto de hardware. Circuitos combinacionais e sequenciais foram projetados e sintetizados para ASIC e FPGA. Com os resultados de síntese, foi realizada uma análise de desempenho detalhada para cada plataforma, a partir de uma análise unidimensional, passando por uma análise bidimensional e culminando em uma análise tridimensional. Duas técnicas foram apresentadas para tal análise tridimensional, chamadas abordagem das projeções e abordagem dos planos. Embora passível de melhorias, o método apresentado é um passo inicial mostrando que, de fato, um trade-off entre três métricas pode ser analisado, e que também é possível encontrar pontos de desempenho balanceado. A partir das duas abordagens, foi possível derivar um critério para selecionar otimizações quando há restrições, como um faixa de vazão desejada ou um tamanho físico máximo, e quando não há restrições, caso em que é possível escolher a otimização com o desempenho mais balanceado.
13

Adaptação de veículos autónomos e inteligentes e análise de desempenho no Fligth Simulator X

Santos, Abel Fernando Neto Moreira dos January 2010 (has links)
Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010
14

Análise de padrões de mobilidade utilizando redes de autômatos estocásticos

Delamare, Fábio Longaray January 2008 (has links)
Made available in DSpace on 2013-08-07T18:42:18Z (GMT). No. of bitstreams: 1 000401643-Texto+Completo-0.pdf: 1372723 bytes, checksum: 20c936d36ee28a143b6a71699d15fc8b (MD5) Previous issue date: 2008 / Several studies about the performance analysis of Ad Hoc Networks can be found in the literature. These analyses use simulation tools or analitycal methods, such Markovian models or equation systems. The mobility is a deterministic factor in the performance of Ad Hoc Networks and, to make possible these analyses, several mobility models are proposed in the literature. In this work some existing mobility models found in the literature are described, and the Random Waypoint and Random Direction models are studied in more detail. Models are proposed to represent and analyze these two mobility models, using the Markovian formalism of Stochastic Automata Networks, making possible a detailed analysis of the Spacial Node Distribution in accordance to the possible variations of these mobility models. Some of the variations considered in this modeling are: speed, pause time, size of moves, routing strategies. The consistency of the results achieved is evaluated comparing with other results from the literature, demonstrating a satisfactory degree of precision. / Muitos trabalhos sobre a análise de desempenho de Redes Ad Hoc podem ser encontrados na literatura. Estas análises podem ser através de ferramentas de simulação ou por métodos analíticos, como formalismos markovianos ou sistemas de equações. A movimentação é um fator determinante no desempenho de Redes Ad Hoc e, para possibilitar esta análise, foram criados padrões de movimentação para modelar o comportamento dos dispositivos de rede (os nodos). Neste trabalho são descritos alguns padrões de movimentação existentes na literatura, sendo os padrões Random Waypoint e Random Direction estudados em mais detalhes. São propostos modelos para representar e analisar estes dois padrões, utilizando o formalismo markoviano de Redes de Autômatos Estocásticos, possibilitando uma análise detalhada da Distribuição Espacial de Nodos de acordo com as possíveis variações destes padrões. Algumas das variações considerados nesta modelagem: velocidade, tempo de pausa, tamanho dos movimentos, escolha de caminho. A consistência destes modelos é avaliada comparando os resultados obtidos com outros resultados da literatura, demonstrando um satisfatório grau de proximidade entre os resultados.
15

Uma infraestrutura para consistência dos processos de software baseados no metamodelo SPEM 2.0

Pereira, Eliana Beatriz January 2011 (has links)
Made available in DSpace on 2013-08-07T18:42:24Z (GMT). No. of bitstreams: 1 000444969-Texto+Completo-0.pdf: 8863468 bytes, checksum: d6f97c49279c5546c9619f8479b0b679 (MD5) Previous issue date: 2011 / The use of software development processes in the IT organizations has become common. This happens because the quality product is related to the process quality. The main interest of the IT companies is to adopt one or more well-defined software development processes and tailor them when necessary to meet the projects specific needs. However, since the amount of elements and relationships of a software development process is huge, defining and tailoring a software development process are not trivial activities. Inconsistencies may easily be introduced into a software development process when certain precautions are not taken. As a consequence, an inadequate software development process may be created to a software project causing errors during its enactment. Considering the need to avoid inconsistencies in a software development process, this research proposes a consistence infrastructure that enables defining and tailoring consistent software development processes based on SPEM 2. 0 metamodel. The proposed infrastructure is composed by an extension to the SPEM 2. 0 metamodel, a set of well-formedness rules related to the consistency of the software development processes and a tool prototype that supports automatically the proposed metamodel and well-formedness rules. / O uso de processos de desenvolvimento de software nas organizações de TI tem se tornado cada vez mais comum. Um dos motivos é que a qualidade do produto de software está relacionada com a qualidade do processo utilizado na sua construção. Nesse contexto, o interesse das organizações é estabelecer um ou mais processos de desenvolvimento de software bem definidos; adaptando-os, quando necessário, para atender metas específicas dos projetos de software. Contudo, devido à grande quantidade de elementos e relacionamentos que um processo de desenvolvimento de software possui, as atividades de definição e adaptação de processos são tarefas não triviais. Quando alguns cuidados não são tomados, inconsistências podem ser facilmente introduzidas em um processo de desenvolvimento de software, fato que pode, muitas vezes, ocasionar a geração de um processo inadequado que acarretará em erros durante a execução de um projeto de software. Considerando a necessidade de evitar inconsistências em um processo de desenvolvimento de software, esta pesquisa propõe uma infraestrutura que viabiliza a definição e adaptação dos processos de desenvolvimento de software consistentes baseados no metamodelo SPEM 2. 0. A infraestrutura definida é composta por uma extensão ao metamodelo SPEM 2. 0, um conjunto de regras de boa-formação para consistência dos processos de desenvolvimento de software e um protótipo de ferramenta que auxilia o uso do metamodelo proposto e das regras de boa-formação.
16

Conjunto de características para teste de desempenho: uma visão a partir de ferramentas

Costa, Leandro Teodoro January 2012 (has links)
Made available in DSpace on 2013-08-07T18:43:14Z (GMT). No. of bitstreams: 1 000440236-Texto+Completo-0.pdf: 2914899 bytes, checksum: 0abd44c7d4fad22c016e1558238096b2 (MD5) Previous issue date: 2012 / Currently, the development of systems in the software industry has increased. As far as the need of customers in automate their processes grows, their demand to improve the quality of computational systems also increases. In this sense, software testing has a fundamental role. Despite of the benefits provided by testing, most of it is performed manually and without a theoretical basis, making the testing activity slow and inefficacious. An alternative for solving this problem is the use of test automation tools. In addition to accelerate the work of testers, these tools provide a higher quality and efficiency for the testing process. However, even though these tools can make the testing process faster, the test case generation for them is performed manually. The ideal is to also automate the generation and execution of test cases for these tools. In order to overcome this limitation, this work proposes a set of features which includes the information necessary for the generation and execution of real test cases for performance testing tools. Based on information from this set, we developed plugins for a product line of tools for model-based testing called PLeTs (Product Line Testing Tools). These plugins implement the automatic generation and execution of test scripts and test scenarios using two performance testing tools, HP LoadRunner e Microsoft Visual Studio. In order to show the feasibility of the proposal of this work, we performed a case study, which is based on the automated generation and execution of test cases using products generated by the product line PLETs. / Atualmente, o desenvolvimento de sistemas por parte da indústria de software tem aumentado. Assim como a necessidade dos clientes em automatizar seus processos, cresce também a exigência dos mesmos na melhoria da qualidade dos sistemas informatizados. Nesse sentido, o teste de software desempenha um papel fundamental. Apesar dos benefícios que os testes proporcionam, a maioria deles é realizada de forma manual e sem embasamento teórico e fundamentado, tornando a atividade de teste lenta e ineficaz. Uma alternativa para a solução deste problema é a utilização de ferramentas de automatização de teste. Essas ferramentas, além de agilizar o trabalho de uma equipe de testadores, provêem maior qualidade e eficácia para o processo de teste. Entretanto, ainda que essas ferramentas possam tornar o processo de teste mais rápido, a criação de casos de teste para elas é realizada manualmente. O ideal é automatizar também o processo de criação e execução de casos de teste para essas ferramentas. Com o intuito de superar esta limitação, este trabalho propõe um conjunto de características que contempla as informações necessárias para automatizar a geração e execução de casos de teste concretizados para ferramentas de automatização de teste de desempenho. A partir das informações deste conjunto, foi realizada a implementação de plugins para uma linha de produto de ferramentas para teste baseado em modelos (Model-Based Testing - MBT) denominada PLeTs (Product Line Testing Tools). Estes plugins implementam a geração e a execução automática de scripts e cenários de teste utilizando duas ferramentas de automatização de teste de desempenho, HP LoadRunner e Microsoft Visual Studio. Com o objetivo de demonstrar a viabilidade da proposta deste trabalho foi definido um exemplo de uso, o qual se baseia na geração e execução automatizada de casos de teste utilizando os produtos gerados pela linha de produto PLeTs.
17

Metodologia de Diagnóstico e Análise de Desempenho de Processos (MDADP) : estudo de caso sobre o processo de atendimento de serviços de TI

Santos, Orlando Oliveira dos 08 December 2016 (has links)
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2016. / Submitted by Camila Duarte (camiladias@bce.unb.br) on 2017-01-25T12:35:30Z No. of bitstreams: 1 2016_OrlandoOliveiradosSantos.pdf: 6942460 bytes, checksum: 1f21fe2794909a23f8dcc729dd916bb8 (MD5) / Approved for entry into archive by Ruthléa Nascimento(ruthleanascimento@bce.unb.br) on 2017-03-21T13:16:05Z (GMT) No. of bitstreams: 1 2016_OrlandoOliveiradosSantos.pdf: 6942460 bytes, checksum: 1f21fe2794909a23f8dcc729dd916bb8 (MD5) / Made available in DSpace on 2017-03-21T13:16:05Z (GMT). No. of bitstreams: 1 2016_OrlandoOliveiradosSantos.pdf: 6942460 bytes, checksum: 1f21fe2794909a23f8dcc729dd916bb8 (MD5) / A capacidade das organizações em diagnosticar e analisar o desempenho de seus processos contribui para a identificação de oportunidades de melhorias a serem exploradas para aumentar a sua agilidade, eficiência e eficácia. Vários modelos de medição de desempenho já foram desenvolvidos e contribuem como fontes de referências básicas, no entanto, eles geralmente sofrem de falta de orientação para concretização prática, tendo em vista que alguns aspectos da medição desempenho são dependente do contexto da organização. Essa pesquisa qualitativa visa contribuir para o preenchimento dessa lacuna, por meio da seleção e da combinação de alguns princípios, modelos, técnicas e ferramentas, com o objetivo de estruturar uma metodologia de diagnóstico e análise de desempenho de processos com foco em orientações práticas. Os principais conhecimentos utilizados foram gestão de processos, mineração de processos, análise de riscos, medição de desempenho de processos e agrupamento (clustering). A metodologia desenvolvida foi estruturada em quatro fases (planejamento, diagnóstico, medição e análise) e apresenta orientações práticas e detalhadas para guiar sua aplicação. A metodologia foi aplicada ao processo de Atendimento de Requisições de Serviços da Central de Serviços de TI do Ministério do Planejamento, Desenvolvimento e Gestão (MP). O estudo de caso possibilitou a realização de um adequado diagnóstico e análise do desempenho do processo, permitiu a identificação de problemas, riscos e oportunidades de melhorias, disponibilizou meios para o monitoramento do desempenho e promoveu a externalização do conhecimento organizacional sobre o processo. Essa metodologia se mostrou aplicável a contextos similares, contribuindo de forma relevante para a melhoria no controle e na gestão dos processos. / The ability of organizations to diagnose and analyze the performance of their processes contributes to the identification of improvement opportunities to be explored to increase their agility, efficiency and effectiveness. Several performance measurement models have already been developed and contribute as sources of basic benchmarks; however, they generally suffer from lack of guidance for practical realization, given that some aspects of measurement performance are dependent on the context of the organization. This qualitative research aims to contribute to fill this gap, through the selection and combination of some principles, models, techniques and tools, with the objective of structuring a methodology of diagnosis and analysis of process performance focused on practical orientations. The main knowledge used was process management, process mining, risk analysis, process performance measurement and clustering. The methodology developed was structured in four phases (planning, diagnosis, measurement and analysis) and presents practical and detailed guidelines to guide its application. The methodology was applied to the Service Request Process of the IT Service Center of the Ministry of Planning, Development and Management (MP). The case study allowed an adequate diagnosis and analysis of the process performance, allowed the identification of problems, risks and opportunities for improvement, provided means for monitoring performance and promoted the externalization of organizational knowledge about the process. This methodology has shown to be applicable to similar contexts, contributing in a relevant way to the improvement in the control and the management of the processes.
18

Análise da performance dos fundos de investimentos em ações no Brasil / Performance analysis of equity mutual funds in Brazil

Marco Antonio Laes 02 December 2010 (has links)
O objetivo desta dissertação é analisar a performance da indústria de fundos de investimentos em ações no Brasil. Alvo de poucos estudos no mercado nacional, a análise do desempenho da gestão de carteiras se faz cada vez mais importante, dado o avanço, ao longo dos últimos anos, dos fundos de investimentos como destino da poupança privada brasileira. As análises tradicionais, em que é testada individualmente a significância do alfa (intercepto) de regressões dos retornos dos fundos utilizando-se geralmente o CAPM ou o modelo de Fama-French (ou alguma variante destes), sofrem de diversos problemas, como a provável não-normalidade dos erros (73,8% em nossa amostra), e a não-consideração da correlação entre os alfas dos diversos fundos invalidando-se inferências tradicionais. O maior problema desta abordagem, porém, é que se ignora o fato de que, dentro de um universo grande de fundos, espera-se que alguns destes apresentem desempenho superior não por uma gestão diferenciada de suas carteiras, mas por mera sorte. A fim de superar esta dificuldade, o presente estudo, utilizando uma amostra de 812 fundos de ações durante o período 2002-2009 (incluindo-se fundos sobreviventes e não-sobreviventes), simulou a distribuição cross-sectional dos alfas (e de suas respectivas estatística-t) destes fundos através de técnicas de bootstrap, buscando-se com este procedimento eliminar o fator sorte nas análises. Os resultados foram de acordo com a literatura internacional, apresentando evidências da existência de pouquíssimos fundos com performance superior de fato, ao passo que um grande número de fundos apresentou um desempenho negativo, não por azar, mas por real gestão inferior. / The purpose of this dissertation is to examine the performance of the equity mutual funds industry in Brazil. Object of few studies in the national market, the performance analysis of active management has become increasingly more important, given the advance, especially over the last few years, of mutual funds as a destination of the Brazilian private savings. The traditional analysis, where the significance of the alpha (the intercept) from regressions of funds returns is tested individually, using generally the CAPM or the Fama-French model (or some variant of these), suffer from a large array of problems, from the non-normality of errors (73.8% in our sample) to the non-consideration of the correlation between the alphas of the various funds, invalidating the traditional inferences. The biggest problem regarding this approach, however, is that it ignores the fact that, in a large universe of funds, its expected that some funds will present superior performance not from differentiated management, but for mere luck. In order to address these shortcomings, the present study, using an extensive sample of 812 equity mutual funds during the 2002-2009 period (both surviving and non-surviving funds), simulates the cross-sectional distribution of alphas (and its-statistics) through bootstrap techniques, aiming with this procedure to eliminate the luck factor in the analysis. The results were in accordance with the international literature, showing evidences that only a few funds present actual superior performance, and a large number of funds present actual negative performance, not because they were unlucky, but due to inferior management.
19

Split-Tesge: um processo para adaptação de métodos de geração de sequências de testes para linha de produto de software

Zanin, Aline January 2016 (has links)
Made available in DSpace on 2016-02-05T01:03:13Z (GMT). No. of bitstreams: 1 000477173-Texto+Completo-0.pdf: 10489574 bytes, checksum: e347833fca1d18dfcc01a42c05686302 (MD5) Previous issue date: 2016 / The Software Product Line development has gained notoriety for being an ally to projects that seek to increase productivity through reuse of artifacts. This reuse, already used in the development process, has recently started to be adopted during the software testing phase, which is considered one of the most costly phases of the development process. In this work, we propose a process to adapt methods for generating test sequences, traditionally used in single systems, to be used in Software Product Lines. This process is called Software Product Line Test using Test Sequence Generation Method (SPLiT-TeSGe). The main idea is that test artifacts produced in the Domain Engineering are reused for products derived in the Application Engineering allowing, thus, to reduce the number of test case to test a software derived from a Software Product Line. / O desenvolvimento de software em linha de produto tem ganhado notoriedade por ser um aliado a projetos que buscam aumentar a produtividade através do reuso de artefatos. Este reaproveitamento, já utilizado no processo de desenvolvimento, recentemente passou a ser adotado também no processo de testes de software, visto que, a etapa de testes é considerada uma das etapas mais onerosas do processo de desenvolvimento. Neste trabalho buscamos propor um processo para a adaptação de métodos de geração de sequências de testes, tradicionalmente utilizados em sistemas únicos, para a utilização em Linha de Produto de Software. Este processo chama-se Software Product Line Testing using Test Sequence Generation Method (SPLiT-TSGe). Com isso, visamos reutilizar os artefatos de teste produzidos na Engenharia de Domínio para os produtos derivados na Engenharia de Aplicação, permitindo assim, reduzir o número de casos de teste necessários para testar produtos derivados de uma Linha de Produto de Software.
20

Plets: a product line of model-based testing tools

Rodrigues, Elder de Macedo January 2013 (has links)
Made available in DSpace on 2013-12-11T01:01:35Z (GMT). No. of bitstreams: 1 000452835-Texto+Completo-0.pdf: 8269470 bytes, checksum: ab1e0cb4a21fcf269f8e7ac4dc9418f2 (MD5) Previous issue date: 2013 / Software testing is recognized as a fundamental activity for assuring software quality. Furthermore, testing is also recognized as one of the most time consuming and expensive activities of software development process. A diversity of testing tools has been developed to support this activity, including tools for Model-based Testing (MBT). MBT is a testing technique to automate the generation of testing artifacts from the system model. This technique presents several advantages, such as, lower cost and less effort to generate test cases. Therefore, in the last years a diversity of commercial, academic, and open source tools to support MBT has been developed to better explore these advantages. In spite of the diversity of tools to support MBT, most of them have been individually and independently developed from scratch based on a single architecture. Thus, they face difficulties of integration, evolution, maintenance, and reuse. In another perspective, Software Product Lines (SPL) offers possibility of systematically generating software products at lower costs, in shorter time, and with higher quality. The main contribution of this Ph. D thesis is to present a SPL for testing tools that support MBT (PLeTs) and an automated environment to support the generation of these tools (PlugSPL). Furthermore, our strategy was initially applied to generate some MBT testing tools which were applied in two examples of use performed in collaboration of an IT company. Based on the feedback from the examples of use we can infer that SPL can be considered a relevant approach to improve productivity and reuse during generation of MBT testing tools. Moreover, we also performed an experimental study carried out to evaluate the effort to use an MBT tool derived from our SPL to generate test scripts and scenarios. Thus, the results point out that the effort to generate test scripts, when compared with a Capture and Replay based tool, was reduced considerably. / O teste de software é uma atividade fundamental para garantir a qualidade de software. Além disso, teste de software é uma das atividades mais caras e demoradas no processo de desenvolvimento de software. Por esta razão, diversas ferramentas de teste foram desenvolvidas para apoiar esta atividade, incluindo ferramentas para Teste Baseado em Modelos (TBM). TBM é uma técnica de teste para automatizar a geração de artefatos de teste a partir de modelos do sistema. Esta técnica apresenta diversas vantagens, tais como, menor custo e esforço para gerar casos de teste. Por este motivo, nos últimos anos, diversas ferramentas para TBM foram desenvolvidas para melhor explorar essas vantagens. Embora existam diversas ferramentas TBM, a maioria delas tem o seu desenvolvimento baseado em um esforço individual, sem a adoção de técnicas de reuso sistemático e com base em uma única arquitetura, dificultando a integração, evolução, manutenção e reutilização dessas ferramentas. Uma alternativa para mitigar estes problemas é adotar os conceitos de Linhas de Produto de Software (LPS) para desenvolver ferramentas de TBM. LPS possibilitam gerar sistematicamente produtos a custos mais baixos, em menor tempo e com maior qualidade. A principal contribuição desta tese de doutorado é apresentar uma LPS de ferramentas de teste que suportam TBM (PLeTs) e um ambiente automatizado para apoiar a geração dessas ferramentas (PlugSPL). Além disso, esta tese apresenta uma abordagem para gerar ferramentas para TBM, que foram aplicadas em dois exemplos de uso. Com base nos resultados obtidos nos exemplos de uso, podemos inferir que LPS pode ser considerada uma abordagem relevante para melhorar a produtividade e o reuso durante a geração de ferramentas de TBM. Além disso, também foi realizado um estudo experimental com o objetivo de avaliar o esforço para se utilizar uma ferramenta derivada da PLeTs para geração de scripts de teste. Os resultados apontaram que o esforço para gerar scripts de teste foi reduzido consideravelmente, quando comparado com a uma ferramenta de Capture and Replay.

Page generated in 0.0743 seconds