Teste de fluxo de dados de programas com ponteiros e registros.
AUTOR(ES)
CHAIM, M. L.
FONTE
Campinas: Embrapa Informática Agropecuária
DATA DE PUBLICAÇÃO
2011
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.
ASSUNTO(S)
teste de software teste de fluxo de dados análise de fluxo de dados
ACESSO AO ARTIGO
http://www.infoteca.cnptia.embrapa.br/handle/doc/6540Documentos Relacionados
- Procedimento gerencial de controle de registros.
- Processo de contratos técnico-científicos na Embrapa Florestas: mapeamento e registros.
- Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados
- Teste estrutural de programas de aplicação de banco de dados relacional
- Modelos assimétricos com efeitos aleatórios para dados pré-teste/pós-teste.