| |
|
|
|
Registro Completo |
|
Biblioteca(s): |
Embrapa Agricultura Digital. |
|
Data corrente: |
17/07/1996 |
|
Data da última atualização: |
03/10/2007 |
|
Autoria: |
MARTINS, E. |
|
Título: |
Integrando injeção de falhas e testes formais na validação da tolerância a falhas. |
|
Ano de publicação: |
1995 |
|
Fonte/Imprenta: |
In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995. |
|
Páginas: |
p. 223-239. |
|
Idioma: |
Português |
|
Conteúdo: |
Este artigo apresenta uma estrátegia de tese que integra a injeção de falhas e o teste formal. A injeção de falhas e uma técnica experimental na qual um sistema e validado em presença de entradas especiais: as falhas. O termo teste formal e usado aqui para designar teste funcional baseado na especificação formal do sistema. Deste modo as entradas de teste, que são as falhas e as ativações(entradas que ativam as funcionalidades do sistema), são selecionadas a partir desta especificação. A estrátegia de testes e baseada na realização de testes estatísticos. Um aspecto importante nos testes estatísticos diz respeito ao tamanho dos testes: quantas entradas são necessárias para atingir os objetivos da validação? Este e o enfoque principal do estudo aqui apresentado. |
|
Palavras-Chave: |
Tese experimental; validação de teste. |
|
Categoria do assunto: |
-- |
|
Marc: |
LEADER 01331naa a2200157 a 4500
001 1002957
005 2007-10-03
008 1995 bl uuuu u00u1 u #d
100 1 $aMARTINS, E.
245 $aIntegrando injeção de falhas e testes formais na validação da tolerância a falhas.
260 $c1995
300 $ap. 223-239.
520 $aEste artigo apresenta uma estrátegia de tese que integra a injeção de falhas e o teste formal. A injeção de falhas e uma técnica experimental na qual um sistema e validado em presença de entradas especiais: as falhas. O termo teste formal e usado aqui para designar teste funcional baseado na especificação formal do sistema. Deste modo as entradas de teste, que são as falhas e as ativações(entradas que ativam as funcionalidades do sistema), são selecionadas a partir desta especificação. A estrátegia de testes e baseada na realização de testes estatísticos. Um aspecto importante nos testes estatísticos diz respeito ao tamanho dos testes: quantas entradas são necessárias para atingir os objetivos da validação? Este e o enfoque principal do estudo aqui apresentado.
653 $aTese experimental
653 $avalidação de teste
773 $tIn: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
|
Registro Completo
|
Biblioteca(s): |
Embrapa Semiárido. |
|
Data corrente: |
13/04/2004 |
|
Data da última atualização: |
21/02/2020 |
|
Tipo da produção científica: |
Resumo em Anais de Congresso |
|
Autoria: |
MONTEIRO, S. P.; SILVA, I. V. T.; OLIVEIRA, M. G.; LIMA, P. C. F. |
|
Afiliação: |
PAULO CESAR FERNANDES LIMA, CPATSA. |
|
Título: |
Influência do substrato na germinação de sementes de umbu (Spondias tuberosa Arruda - Anacardiaceae). |
|
Ano de publicação: |
2004 |
|
Fonte/Imprenta: |
In: REUNIÃO NORDESTINA DE BOTÂNICA, 27., 2004, Petrolina. Anais... Petrolina: SBB; Embrapa Semi-Árido; UNEB, 2004. |
|
Descrição Física: |
1 CD-ROM. |
|
Idioma: |
Português |
|
Conteúdo: |
Com o objetivo de analisar o melhor substrato para a germinação de sementes de umbu, foi desenvolvido um experimento no viveiro da Embrapa Semi-Arido, Petrolina-PE, com sementes coletadas em agosto de 2002, um experimento utilizando areia, camada superficial do solo, palha de arroz, serragem, vermiculita e carvão como substrato. Analisou-se o percentual de germinação (G) e o índice de velocidade de germinação (IVG). |
|
Palavras-Chave: |
Substrato. |
|
Thesagro: |
Germinação; Semente; Spondias Tuberosa; Umbu. |
|
Thesaurus NAL: |
Germination; Seeds. |
|
Categoria do assunto: |
A Sistemas de Cultivo |
|
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/CPATSA/28496/1/OPB414.pdf
|
|
Marc: |
LEADER 01157nam a2200241 a 4500
001 1153023
005 2020-02-21
008 2004 bl uuuu u00u1 u #d
100 1 $aMONTEIRO, S. P.
245 $aInfluência do substrato na germinação de sementes de umbu (Spondias tuberosa Arruda - Anacardiaceae).
260 $aIn: REUNIÃO NORDESTINA DE BOTÂNICA, 27., 2004, Petrolina. Anais... Petrolina: SBB; Embrapa Semi-Árido; UNEB$c2004
300 $c1 CD-ROM.
520 $aCom o objetivo de analisar o melhor substrato para a germinação de sementes de umbu, foi desenvolvido um experimento no viveiro da Embrapa Semi-Arido, Petrolina-PE, com sementes coletadas em agosto de 2002, um experimento utilizando areia, camada superficial do solo, palha de arroz, serragem, vermiculita e carvão como substrato. Analisou-se o percentual de germinação (G) e o índice de velocidade de germinação (IVG).
650 $aGermination
650 $aSeeds
650 $aGerminação
650 $aSemente
650 $aSpondias Tuberosa
650 $aUmbu
653 $aSubstrato
700 1 $aSILVA, I. V. T.
700 1 $aOLIVEIRA, M. G.
700 1 $aLIMA, P. C. F.
Download
Esconder MarcMostrar Marc Completo |
|
Registro original: |
Embrapa Semiárido (CPATSA) |
|
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
| Expressão de busca inválida. Verifique!!! |
|
|
