|
|
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
|
|
Registros recuperados : 909 | |
14. | | MARTINS, E. C. A dinâmica das cadeias produtivas de caprinos e ovinos. In: CONGRESSO BRASILEIRO DE ZOOTECNIA, 18.; CONGRESSO INTERNACIONAL DE ZOOTECNIA, 10.; SIMPÓSIO PARAIBANO DE ZOOTECNIA, 6.; FORÚM DE COORDENADORES DE CURSOS DE ZOOTECNIA DAS UNIVERSIDADES BRASILEIRAS, 4.; FORÚM DE ESTUDANTES DE CURSOS DE ZOOTECNIA DAS UNIVERSIDADES BRASILEIRAS, 4.; REUNIÃO NACIONAL DE ENSINO DE ZOOTECNIA, 14.; FORÚM DE ENTIDADES DE ZOOTECNISTAS, 31.; MOSTRA DE RAÇAS DE CAPRINOS E OVINOS NATIVOS, 3.; SEMANA DA CAPRINOCULTURA E DA OVINOCULTURA BRASILEIRAS, 6., 2008, João Pessoa. Anais... João Pessoa: Associação Brasileira de Zootecnia: Embrapa Caprinos; UFPB, 2008. 17 f. 1 CD-ROM.Tipo: Artigo em Anais de Congresso |
Biblioteca(s): Embrapa Caprinos e Ovinos. |
| |
Registros recuperados : 909 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|