Spelling suggestions: "subject:"deste funcional"" "subject:"deste efuncional""
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 GRAMATICAISRICARDO 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 computerOLIVEIRA, 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 testingArantes, 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 TestingVidal, 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 USOTHIAGO 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 testingPrado, 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 bladeKuentzer, 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.0897 seconds