• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 10
  • 1
  • Tagged with
  • 11
  • 11
  • 9
  • 8
  • 6
  • 6
  • 4
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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.
1

"Uma ferramenta baseada em aspectos para apoio ao teste funcional de programas Java"

Rocha, André Dantas 22 March 2005 (has links)
A disponibilidade de ferramentas de teste de software propicia maior qualidade e produtividade para as atividades de teste. Diversas ferramentas têm sido propostas para o apoio ao teste estrutural, mas nota-se a falta de ferramentas que ofereçam suporte ao teste funcional e implementem os diversos critérios dessa técnica. Visando a preencher essa lacuna, uma ferramenta para apoio ao teste funcional de programas Java foi desenvolvida e é apresentada. A ferramenta apóia os principais critérios funcionais, tais como o Particionamento de Equivalência e Análise de Valor-limite, e oferece análise de cobertura baseada nos critérios da técnica funcional. A análise de cobertura é uma característica normalmente encontrada nas ferramentas que apóiam o teste estrutural, mas raramente disponível nas ferramentas que oferecem suporte ao teste funcional. O projeto da ferramenta é apresentado, no qual o conceito de separação de interesses é utilizado. A Programação Orientada a Aspectos é utilizada nas etapas de instrumentação e execução dos critérios de teste. O uso dessa técnica permite a separação clara entre o código de teste e o código do programa, assim como torna mais fácil a adição e remoção dos aspectos que implementam o teste, além de ser uma solução eficaz para o projeto da ferramenta. Um exemplo de uso da ferramenta é apresentado.
2

"Uma ferramenta baseada em aspectos para apoio ao teste funcional de programas Java"

André Dantas Rocha 22 March 2005 (has links)
A disponibilidade de ferramentas de teste de software propicia maior qualidade e produtividade para as atividades de teste. Diversas ferramentas têm sido propostas para o apoio ao teste estrutural, mas nota-se a falta de ferramentas que ofereçam suporte ao teste funcional e implementem os diversos critérios dessa técnica. Visando a preencher essa lacuna, uma ferramenta para apoio ao teste funcional de programas Java foi desenvolvida e é apresentada. A ferramenta apóia os principais critérios funcionais, tais como o Particionamento de Equivalência e Análise de Valor-limite, e oferece análise de cobertura baseada nos critérios da técnica funcional. A análise de cobertura é uma característica normalmente encontrada nas ferramentas que apóiam o teste estrutural, mas raramente disponível nas ferramentas que oferecem suporte ao teste funcional. O projeto da ferramenta é apresentado, no qual o conceito de separação de interesses é utilizado. A Programação Orientada a Aspectos é utilizada nas etapas de instrumentação e execução dos critérios de teste. O uso dessa técnica permite a separação clara entre o código de teste e o código do programa, assim como torna mais fácil a adição e remoção dos aspectos que implementam o teste, além de ser uma solução eficaz para o projeto da ferramenta. Um exemplo de uso da ferramenta é apresentado.
3

[en] GRAMMAR MODEL-BASED FUNCTIONAL TEST / [pt] TESTE FUNCIONAL BASEADO EM MODELOS GRAMATICAIS

RICARDO AUGUSTO BOITEUX MENDES LEAL 08 October 2008 (has links)
[pt] O teste funcional de software é um desafio enfrentado há muito tempo por desenvolvedores. A complexidade crescente de sistemas computacionais torna esse desafio ainda maior. Uma tendência apontada como possível solução deste problema é o uso de teste baseado em modelos. Inspirada neste paradigma, esta dissertação retrata uma pesquisa sobre o uso de gramáticas como modelos de teste funcional. Modelos gramaticais podem capturar conceitos e comportamentos de um sistema e de seu ambiente usando um nível de abstração de acordo com o objetivo de teste. Eles também podem ser aplicados para descrever casos de teste funcional e guiar a execução de casos de teste gerados num sistema em teste. O resultado desta execução, representado na forma de um veredicto, revela a conformidade do sistema com seus requisitos e especificações. Para explorar o potencial dos modelos gramaticais, este trabalho definiu uma maneira sistemática de gerar e executar massas de teste. Esta solução permitiu a programação de diferentes estratégias de teste. Ela também facilitou a adaptação dos testes a mudanças de requisitos e promoveu o reuso dos testes existentes. Como efeito colateral deste estudo, um processo de teste funcional foi desenvolvido e a arquitetura de apoio aqui introduzida pode ser reutilizada ou estendida por futuras soluções de teste funcional. / [en] Software functional test is a challenge faced by developers for a long time. The growing complexity of computing systems turns this challenge even greater. Model-based testing is a trend pointed out by the academia and the industry as a possible solution to this matter. Inspired by this paradigm, this dissertation depicts a research made on the use of grammars as functional test models. Grammar models can capture concepts and behaviors of a system and its environment at a level of abstraction according to the test goal. They also can be applied to describe functional test cases and guide the execution of the generated test cases against a system under test. The result of this execution, represented as a verdict, reveals the system conformity with its requirements and specifications. In order to explore grammar models potential, this work defined a systematic way to generate and execute a mass of tests. This solution allowed the implementation of different test strategies. It also assisted test adjustment to requirements change and promoted existing tests reuse. As a side-effect of this study, a functional test process was developed and the supporting architecture introduced here may be reused or extended by future functional test solutions.
4

Um método de teste funcional para verificação de componentes. / A functional test method for checking components.

FARIAS, Carina Machado de. 18 September 2018 (has links)
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-09-18T16:21:29Z No. of bitstreams: 1 CARINA MACHADO DE FARIAS - DISSERTAÇÃO PPGCC 2003..pdf: 658152 bytes, checksum: 8231194d3724e72085250f16ee95a419 (MD5) / Made available in DSpace on 2018-09-18T16:21:29Z (GMT). No. of bitstreams: 1 CARINA MACHADO DE FARIAS - DISSERTAÇÃO PPGCC 2003..pdf: 658152 bytes, checksum: 8231194d3724e72085250f16ee95a419 (MD5) Previous issue date: 2003-02-27 / O interesse no desenvolvimento de software baseado em componentes tem crescido substancialmente devido à promessa de redução de custos e tempo de desenvolvimento através do reuso. A maioria das metodologias existentes tem se concentrado nas fases de análise e projeto. Entretanto, o reuso efetivo de componentes está diretamente relacionado à confiabilidade dos mesmos. O principal objetivo deste trabalho é propor um método de teste funcional aplicável a componentes de software. Já que o processo de desenvolvimento utilizado influencia significativamente a testabilidade dos sistemas, o método de teste proposto é apresentado dentro de um processo de desenvolvimento de componentes bem definido Componentes UML. Artefatos de teste são gerados a partir de especificações em UML (Unified Modelling Language), especialmente a partir dos diagramas de seqüência. Um estudo de caso foi desenvolvido para ilustrar a aplicabilidade do método / Interest in component-based software development has increased significantly due its promise to reduce development costs and time through reuse. The majority of existing methodologies has focus in the analysis and design disciplines. Never the less, effective reuse of components is closely related to their reliability. The main goal of this work is to propose a method of functional testing to verify software components. Since testability of systems is greatly influenced by the development process chosen, the proposed method is integrated with a well-defined component development process. Test artifacts are generated from UML (Unified Modelling Language) specifications, specially sequence diagrams. A case study has been developed to illustrate the applicability of the method.
5

Otimização do tempo de teste funcional de placa de circuito impresso montada para computador pessoal / Functional test time optimization printed circuit board For personal computer

OLIVEIRA, Edson Farias de 13 January 2012 (has links)
Submitted by Luciclea Silva (luci@ufpa.br) on 2018-07-18T14:35:35Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_otimizacaotempoteste.pdf: 3469194 bytes, checksum: 2edb2de76c571f29f054056ee435c78a (MD5) / Approved for entry into archive by Luciclea Silva (luci@ufpa.br) on 2018-07-18T14:36:19Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_otimizacaotempoteste.pdf: 3469194 bytes, checksum: 2edb2de76c571f29f054056ee435c78a (MD5) / Made available in DSpace on 2018-07-18T14:36:19Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_otimizacaotempoteste.pdf: 3469194 bytes, checksum: 2edb2de76c571f29f054056ee435c78a (MD5) Previous issue date: 2012-01-13 / O aumento da competitividade entre as empresas do mesmo segmento, tem tornado cada vez mais importante a constante otimização dos processos para em consequência reduzir os custos de fabricação. O objetivo deste trabalho é avaliar os tempos envolvidos na fase de testes funcionais de placas MBs produzidas em uma empresa do Pólo Industrial de Manaus e propor melhorias que levem a otimização dessa fase. As ações desenvolvidas com relação às otimizações proporcionaram o desenvolvimento de um sistema para captura de imagens para melhoria da análise dos tempos ociosos e o desenvolvimento de dispositivos para os testes, bem como o sistema de teste proprietário com base em sistema Linux em substituição ao sistema anterior que dependia dos parceiros estrangeiros. Os ganhos percentuais com o projeto foram apresentados em quatro propostas de otimização, sendo a primeira com a unificação dos testes, a segunda com o teste sendo realizada em duas placas independentemente, a terceira com a substituição do sistema de teste anterior pelo sistema proprietário e por fim a automação do dispositivo de teste, onde foi demonstrado ganho em cada uma das propostas apresentado. Os resultados obtidos após a aplicação de cada proposta foram positivos e reforçam a necessidade da aplicação de metodologias científicas aliadas à criatividade para se obter a otimização em qualquer fase do processo produtivo e fecha-se o trabalho, sugerindo idéias para futuros aperfeiçoamento do sistema já otimizado. / Increased competitiveness among the peer group has become increasingly important to the constant optimization of processes to consequently reduce manufacturing costs. The objective of this study is to assess the time involved in the functional testing phase of MBs produced in a company of the Industrial Pole of Manaus and propose improvements that lead to optimization of this phase. The actions taken with respect to optimizations led to the development system for capturing images to improve the analysis of downtimes and development of devices for testing, as well as the proprietary test system based on Linux to replace the previous system which relied of foreign partners. The percentage gains in the project was presented in four optimization proposals, the first being with the unification of the tests, the second with the test being performed on two board, the third with the replacement of the previous test by the system owner and end automation of the test device, which was demonstrated gains in each of the proposals. The results obtained after implementation of each proposal were positive and reinforce the need to apply scientific methods combined with creativity to achieve the optimization at any stage of the production process and closes the work suggesting ideas for future improvement of the system already optimized.
6

Uma estratégia para a avaliação e evolução de teste funcional de software / A Strategy for the evaluation and evolution of functional software testing

Arantes, Gilmar Ferreira January 2012 (has links)
Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-08-01T14:00:30Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) DissertacaoFinalGilmarCC.pdf: 1781002 bytes, checksum: 864dc93f98977e9c6364e12bcc473c58 (MD5) / Made available in DSpace on 2014-08-01T14:00:30Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) DissertacaoFinalGilmarCC.pdf: 1781002 bytes, checksum: 864dc93f98977e9c6364e12bcc473c58 (MD5) Previous issue date: 2012 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / Software Testing is part of software quality assurance activities. It aims to uncover the presence of defects, that can be inserted in various stages of software develop- ment. Several techniques are used in the testing activity, highlighting the functional ones, which derive test requirements from the software specification. The research faces the problem of how to evolve the functional testing strategies with low costs, relative to the amount of test cases needed, without compromising the number of uncovered defects. A systematic review was planned and executed, based on formu- lated questions so as to answer the research problem. Such review supported the definition of a new criterion for functional testing, the Systematic Functional Test with Decision Table Application (TFS-DT), which is an extension of Systematic Software Testing (TFS) and provides joint application of criteria: Partitioning Equi- valence Classes, Boundary Value Analysis and Decision Table. The TFS-DT defines a strategy based on a set of requirements and has a process in order to apply the strategy in a systematic manner. Three empirical studies were applied with promi- sing results compared to TFS: all of them reduces at least half the adequated set without impact on the number of uncovered defects. / Teste de Software faz parte das atividades de garantia da qualidade do software. Destina-se a revelar a presen ̧ca de defeitos, que podem ser inseridos em v ́arios est ́agios do desenvolvimento do software. V ́arias t ́ecnicas s ̃ao usadas na atividade de teste, com destaque para as funcionais, que derivam requisitos de teste a partir da especifica ̧c ̃ao do software. A pesquisa enfrenta o problema de como evoluir as estrat ́egias de testes funcionais reduzindo o custo, em rela ̧c ̃ao `a quantidade de casos de teste necess ́arios, sem comprometer o n ́umero de defeitos revelados. Uma revis ̃ao sistem ́atica foi planejada e executada, com base em quest ̃oes formuladas de modo a responder ao problema da pesquisa. Esta revis ̃ao apoiou a defini ̧c ̃ao de um novo crit ́erio de teste funcional, o Teste Funcional Sistem ́atico com Aplica ̧c ̃ao da Tabela de Decis ̃ao (TFS-TD), que ́e uma extens ̃ao do Teste Funcional Sistem ́atico (TFS) e que prevˆe a aplica ̧c ̃ao conjunta dos crit ́erios: Particionamento em Classes de Equivalˆencia, An ́alise do Valor Limite e Tabela decis ̃ao. O TFS-TD define uma estrat ́egia baseada em um conjunto de diretrizes e possui um processo para aplicar esta estrat ́egia de forma sistem ́atica. Trˆes estudos emp ́ıricos foram aplicados com resultados promissores em rela ̧c ̃ao ao TFS: todos eles reduzem, pelo menos, pela metade o conjunto adequado, sem impacto na quantidade de defeitos revelados.
7

Teste funcional sistemático estendido: uma contribuição na aplicação de critérios de teste caixa-preta / Systematic Functional Test Extended: A Contribution to the Application of Criteria Black Box Testing

Vidal, Adriana Rocha 19 April 2011 (has links)
Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2014-08-06T11:56:33Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Teste_funcional_sistematico_estendido_uma_contribuicao_na_aplicacao_de_criterios_de_teste_caixa_preta.pdf: 6570768 bytes, checksum: 986a111f01281c84429d66513d0a3a54 (MD5) / Made available in DSpace on 2014-08-06T11:56:33Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Teste_funcional_sistematico_estendido_uma_contribuicao_na_aplicacao_de_criterios_de_teste_caixa_preta.pdf: 6570768 bytes, checksum: 986a111f01281c84429d66513d0a3a54 (MD5) Previous issue date: 2011-04-19 / Building software involves a process composed of activities and methods. Even following these activities and using the proposed methods the resultant product may have some deviation with respect to its functional and nonfunctional requirements, not corresponding to the expected features. To minimize such problems, the test activity aims to ensure both the construction of the correct product and its correct construction. Since testing is considered a costly activity, research are conducted aiming at to make it feasible. This work ts in this context, in order improve the selection of test cases, thus increasing the quality of software products and the performance of testing guideline. It is interesting to note that, testing guideline is a fundamental artifact of the testing process and consists of test cases that, by de nition, execute a particular functionality of the program or check the suitability of the product over its speci ed requirements. Since the quality of the selected test cases have a great impact on the quality of the nal product, this work introduces the Extended Systematic Functional Test (ESFT) as a way to systematize the development and selection of test cases based on functional testing. A web system and a testing guideline used in certi cation were assessed using the ESFT in order to demonstrate the applicability and possible contributions of its use in terms of defect detection. The results are promising since the systematization, increases the number of selected test data, improves the detection of defects, and allow to justify why a particular test data is selected based on functional criteria. / A construção de um software envolve um processo composto de atividades e métodos. Mesmo seguindo tais atividades e utilizando os métodos propostos, um produto infiel aos requisitos funcionais e não funcionais pode ser gerado, não correspondendo as funcionalidades esperadas. Para amenizar tais problemas, a atividade de teste visa a assegurar tanto a construção do produto correto quanto a sua correta construção. Por ser uma atividade considerada onerosa, pesquisas para reduzir os custos da aplicação dos testes são realizadas. Este trabalho se enquadra nesse contexto, objetivando melhorar a seleção de casos de testes, aumentando assim, a qualidade de produtos de software e o desempenho de roteiros de teste. E interessante ressaltar que, roteiro de teste e um artefato fundamental do processo de testes e e constituído por casos de testes que, por definição, executam uma funcionalidade particular do programa ou verificam a adequação do produto em relação aos requisitos especificados. Uma vez que a qualidade dos casos de testes selecionados impacta fortemente na qualidade do produto final, este trabalho apresenta o Teste Funcional Sistemático Estendido(TFSE) como forma de sistematizar a elaboração e seleção de casos de testes, adotando critérios da técnica de teste funcional para essa finalidade. Um sistema web e um roteiro de teste utilizado em certificações foram avaliados utilizando o TFSE visando a demonstrar a aplicabilidade do mesmo e as possíveis contribuições de sua utilização em termos de detecção de defeitos. Os resultados obtidos são promissores uma vez que a sistematização, aumenta o numero de dados de teste selecionados, melhora a capacidade de detecção dos defeitos, e permitir justificar o por quê da seleção de determinado dado de teste com base em critérios funcionais.
8

[en] A TOOL FOR THE AUTOMATIC GENERATION AND EXECUTION OF FUNCTIONAL TESTS BASED ON THE TEXTUAL USE CASE DESCRIPTION / [pt] UMA FERRAMENTA PARA GERAÇÃO E EXECUÇÃO AUTOMÁTICA DE TESTES FUNCIONAIS BASEADOS NA DESCRIÇÃO TEXTUAL DE CASOS DE USO

THIAGO DELGADO PINTO 16 July 2015 (has links)
[pt] Esta dissertação apresenta uma solução para a geração e execução automática de testes funcionais a partir da descrição textual de casos de uso, visando verificar se determinada aplicação atende aos requisitos funcionais definidos por esta documentação. A ferramenta construída é capaz de gerar casos de teste semânticos valorados, transformá-los em código-fonte (para Java Swing e os frameworks de teste TestNG e FEST, na versão atual), executá-los, coletar os resultados e analisar se os casos de uso da aplicação atendem ou não a estes requisitos. Dentre os principais diferenciais da solução construída estão a cobertura de cenários de teste que envolvem múltiplos casos de uso, a cobertura de cenários envolvendo recursão, a possibilidade da definição de regras de negócio sobre dados existentes em bancos de dados de teste, a geração automática dos valores fornecidos nos testes e a geração de testes funcionais semânticos, num formato independente de linguagem de programação e frameworks de teste. / [en] This master s dissertation presents a solution for the automatic generation and execution of functional tests based on the textual use case description and aims to verify whether certain application matches its functional requirements defined by this documentation. The constructed tool is capable of generating valued semantic test cases, of transforming them into source code (for Java Swing and the TestNG and FEST frameworks, in the current version), of executing them, of collecting the results and of analyzing whether the application s use cases matches (or not) its requirements. The solution main differentials includes the coverage of test scenarios that involves more than one use case, the coverage of scenarios containing recursive flows, the possibility of defining business rules using data existing in test databases, as well as the automatic generation of test values, and the generation of semantic functional tests in a format independent of programming languages and frameworks.
9

Um estudo de caracterização e avaliação de critérios de teste estruturais entre os paradigmas procedimental e OO / A characterization and evaluation study of structural testing criteria between procedural and OO testing

Prado, Marllos Paiva 18 May 2009 (has links)
O Teste de software é uma atividade de garantia da qualidade que tem por finalidade diminuir o número de defeitos do software. Esta atividade contribui para redução do custo de manutenção e para a melhora da qualidade do software, durante o processo de desenvolvimento. Isso tem motivado a investigação e proposta de estratégias, técnicas, critérios e ferramentas de teste para diferentes paradigmas de desenvolvimento, tais como procedimental, orientado a objetos e orientado a aspectos. Vários estudos experimentais têm sido desenvolvidos para avaliar e comparar critérios de teste. Grande parte desses experimentos foram realizados com programas construídos sob um mesmo paradigma ou desconsiderando a influência do mesmo sobre os resultados. Entretanto, é importante avaliar o impacto de um paradigma específico sobre a atividade de teste uma vez que alguns defeitos podem estar relacionados ao seu uso. Este trabalho apresenta um estudo experimental realizado para caracterizar e avaliar o custo de aplicação e a dificuldade de satisfação de critérios de teste, comparando dois paradigmas: o orientado a objetos e o procedimental. O estudo considera critérios de teste funcionais e estruturais e utiliza um conjunto de programas do domínio de Estrutura de Dados. Os termos e fases do processo de experimentação controlada foram usados, à medida em que estes se mostraram adequados, para definir e executar o presente estudo. Os objetivos com a execução dessa pesquisa foram obter resultados iniciais sobre as questões investigadas bem como gerar artefatos que sirvam de base para a definição e condução de futuros experimentos e a criação de pacotes de laboratório. Além disso, pretende-se apoiar, por meio dos materiais gerados, o treinamento e o ensino da atividade do teste de software / Software Testing is a quality assurance activity that aims at reducing the number of software faults. This activity contributes for the reduction of maintenance costs and for software quality improvement during the development process. These factors have motivated the investigation and proposal of several testing strategies, techniques, criteria and tools for different programming paradigms, such as procedural, object-oriented and aspect-oriented. Regarding testing criteria, many experimental studies have been performed to evaluate and compare them. In general, these experiments comprise programs developed under the same paradigm or this influence over the results. However, some faults can be paradigm-related and it is important to evaluate its impact on the testing activity. This work presents an experimental study developed to characterize and evaluate the application cost and strength of testing criteria, comparing two programming paradigms: object-oriented and procedural. This study considers functional and strutural testing criteria and uses a set of programs from the data structure domain. Terms and phases from controlled experimentation process were used, as long as they showed to be adequated, to define and execute the present study. The research aims at obtaining initial results about the questions investigated as well as generating artifacts which support the definition and conduction of future experiments and the creation of laboratory packages. In addition, it intends to support, through the materials generated, the training and teaching of software testing activity
10

More than a timing resilient template : a case study on reliability-oriented improvements on blade

Kuentzer, Felipe Augusto 28 March 2018 (has links)
Submitted by PPG Ci?ncia da Computa??o (ppgcc@pucrs.br) on 2018-05-21T13:19:36Z No. of bitstreams: 1 FELIPE_AUGUSTO_KUENTZER_TES.pdf: 3277301 bytes, checksum: 7e77c5eb72299302d091329bde56b953 (MD5) / Approved for entry into archive by Sheila Dias (sheila.dias@pucrs.br) on 2018-06-01T12:13:22Z (GMT) No. of bitstreams: 1 FELIPE_AUGUSTO_KUENTZER_TES.pdf: 3277301 bytes, checksum: 7e77c5eb72299302d091329bde56b953 (MD5) / Made available in DSpace on 2018-06-01T12:33:57Z (GMT). No. of bitstreams: 1 FELIPE_AUGUSTO_KUENTZER_TES.pdf: 3277301 bytes, checksum: 7e77c5eb72299302d091329bde56b953 (MD5) Previous issue date: 2018-03-28 / ? medida que o projeto de VLSI avan?a para tecnologias ultra submicron, as margens de atraso adicionadas para compensar variabilidades de processo de fabrica??o, temperatura de opera??o e tens?o de alimenta??o, tornam-se uma parte significativa do per?odo de rel?gio em circuitos s?ncronos tradicionais. As arquiteturas resilientes a varia??es de atraso surgiram como uma solu??o promissora para aliviar essas margens de tempo projetadas para o pior caso, melhorando o desempenho do sistema e reduzindo o consumo de energia. Essas arquiteturas incorporam circuitos adicionais para detec??o e recupera??o de viola??es de atraso que podem surgir ao projetar o circuito com margens de tempo menores. Os sistemas ass?ncronos apresentam potencial para melhorar a efici?ncia energ?tica e o desempenho devido ? aus?ncia de um sinal de rel?gio global. Al?m disso, os circuitos ass?ncronos s?o conhecidos por serem robustos a varia??es de processo, tens?o e temperatura. Blade ? um modelo que incorpora as vantagens de projeto ass?ncrono e resilientes a varia??es de atraso. No entanto, o Blade ainda apresenta desafios em rela??o ? sua testabilidade, o que dificulta sua aplica??o comercial ou em larga escala. Embora o projeto visando testabilidade com Scan seja amplamente utilizado na ind?stria, os altos custos de sil?cio associados com o seu uso no Blade podem ser proibitivos. Por outro lado, os circuitos ass?ncronos podem apresentar vantagens para testes funcionais, enquanto o circuito resiliente fornece feedback cont?nuo durante o funcionamento normal do circuito, uma caracter?stica que pode ser aplicada para testes concorrentes. Nesta Tese, a testabilidade do Blade ? avaliada sob uma perspectiva diferente, onde o circuito implementado com o Blade apresenta propriedades de confiabilidade que podem ser exploradas para testes. Inicialmente, um m?todo de classifica??o de falhas que relaciona padr?es comportamentais com falhas estruturais dentro da l?gica de detec??o de erro e uma nova implementa??o orientada para teste desse m?dulo de detec??o s?o propostos. A parte de controle ? analisada para falhas internas, e um novo projeto ? proposto, onde o teste ? melhorado e o circuito pode ser otimizado pelo fluxo de projeto. Um m?todo original de medi??o de tempo das linhas de atraso tamb?m ? abordado. Finalmente, o teste de falhas de atrasos em caminhos cr?ticos do caminho de dados ? explorado como uma consequ?ncia natural de um circuito implementado com Blade, onde o monitoramento cont?nuo para detec??o de viola??es de atraso fornece a informa??o necess?ria para a detec??o concorrente de viola??es que extrapolam a capacidade de recupera??o do circuito resiliente. A integra??o de todas as contribui??es fornece uma cobertura de falha satisfat?ria para um custo de ?rea que, para os circuitos avaliados nesta Tese, pode variar de 4,24% a 6,87%, enquanto que a abordagem Scan para os mesmos circuitos apresenta custo que varia de 50,19% a 112,70% em ?rea, respectivamente. As contribui??es desta Tese demonstraram que, com algumas melhorias na arquitetura do Blade, ? poss?vel expandir sua confiabilidade para al?m de um sistema de toler?ncia a viola??es de atraso no caminho de dados, e tamb?m um avan?o para teste de falhas (inclusive falhas online) de todo o circuito, bem como melhorar seu rendimento, e lidar com quest?es de envelhecimento. / As the VLSI design moves into ultra-deep-submicron technologies, timing margins added due to variabilities in the manufacturing process, operation temperature and supply voltage become a significant part of the clock period in traditional synchronous circuits. Timing resilient architectures emerged as a promising solution to alleviate these worst-case timing margins, improving system performance and/or reducing energy consumption. These architectures embed additional circuits for detecting and recovering from timing violations that may arise after designing the circuit with reduced time margins. Asynchronous systems, on the other hand, have a potential to improve energy efficiency and performance due to the absence of a global clock. Moreover, asynchronous circuits are known to be robust to process, voltage and temperature variations. Blade is an asynchronous timing resilient template that leverages the advantages of both asynchronous and timing resilient techniques. However, Blade still presents challenges regarding its testability, which hinders its commercial or large-scale application. Although the design for testability with scan chains is widely applied in the industry, the high silicon costs associated with its use in Blade can be prohibitive. Asynchronous circuits can also present advantages for functional testing, and the timing resilient characteristic provides continuous feedback during normal circuit operation, which can be applied for concurrent testing. In this Thesis, Blade?s testability is evaluated from a different perspective, where circuits implemented with Blade present reliability properties that can be explored for stuck-at and delay faults testing. Initially, a fault classification method that relates behavioral patterns with structural faults inside the error detection logic and a new test-driven implementation of this detection module are proposed. The control part is analyzed for internal faults, and a new design is proposed, where the test coverage is improved and the circuit can be further optimized by the design flow. An original method for time measuring delay lines is also addressed. Finally, delay fault testing of critical paths in the data path is explored as a natural consequence of a Blade circuit, where the continuous monitoring for detecting timing violations provide the necessary feedback for online detection of these delay faults. The integration of all the contributions provides a satisfactory fault coverage for an area overhead that, for the evaluated circuits in this thesis, can vary from 4.24% to 6.87%, while the scan approach for the same circuits implies an area overhead varying from 50.19% to 112.70%, respectively. The contributions of this Thesis demonstrated that with a few improvements in the Blade architecture it is possible to expand its reliability beyond a timing resilient system to delay violations in the data path, but also advances for fault testing (including online faults) of the entire circuit, yield, and aging.

Page generated in 0.4762 seconds