01788nam a2200241 a 450000100080000000500110000800800410001902200140006010000170007424500910009126000550018230000100023749000840024752010200033165000100135165300390136165300140140065300480141465300280146265300220149070000210151270000130153310065402024-02-28       2002    bl uuuu     u0uu1 u    #d  a1677-92661 aCHAIM, M. L.  aTeste de fluxo de dados de programas com ponteiros e registros.h[electronic resource]  aCampinas: Embrapa Informática Agropecuáriac2002  a35 p.  a(Embrapa Informática Agropecuária. Boletim de pesquisa e desenvolvimento, 4).  aDois 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.  aCusto  aAnálise de fluxo de dados precisa  aEficácia  aTeste baseado em análise de fluxo de dados  aTeste de fluxo de dados  aTeste de software1 aMALDONADO, J. C.1 aJINO, M.