| Registro completo |
| Provedor de dados: |
Infoteca-e
|
| País: |
Brazil
|
| Título: |
Teste de fluxo de dados de programas com ponteiros e registros.
|
| Autores: |
CHAIM, M. L.
MALDONADO, J. C.
JINO, M.
|
| Data: |
2004-02-04
|
| Ano: |
2002
|
| Palavras-chave: |
Teste de software
Teste de fluxo de dados
Análise de fluxo de dados precisa
Teste baseado em análise de fluxo de dados
Eficácia
Custo
|
| Resumo: |
Dois modelos mais precisos de análise de fluxo de dados voltados para o teste de programas que utilizaram ponteiros e campos de registros são apresentados. Os modelos propostos são baseados em uma abordagem conservadora e foram implementados na ferramenta POKE-TOOL. A conjectura é que a análise de fluxo de dados mais precisa aumenta a eficácia do teste a um custo razoável .Para investigar essa conjectura, um estudo de caso foi realizado para avaliar a eficácia eo custo da utilização dos dois modelos no teste com duas famílias diferentes de critérios de teste baseados em análise de fluxo de dados. Os resultados obtidos indicam que a eficácia dos modelos dependem do programa e dos defeitos que ele contém. A segunda observação em especial indica que existem defeitos cuja detecção é facilitada quando os modelos propostos são utilizados. Para uma das famílias de critérios de teste, foi observado que o custo adicional causado pela análise mais precisa de fluxo de dados é razoável.
|
| Tipo: |
Folhetos
|
| Idioma: |
Português
|
| Identificador: |
Campinas: Embrapa Informática Agropecuária, 2002.
1677-9266
http://www.infoteca.cnptia.embrapa.br/infoteca/handle/doc/6540
|
| Relação: |
(Embrapa Informática Agropecuária. Boletim de pesquisa e desenvolvimento, 4).
|
| Formato: |
35 p.
|
| Direitos: |
openAccess
|
