Modelando a Determinação de Potenciais Du-Caminhos Através da Análise de Fluxo de Dados

• Marcos L. Chaim UNICAMP
• José C. Maldonado USP
• Mario Jino UNICAMP

DOI: https://doi.org/10.5753/sbes.1989.25263

Resumo

Neste trabalho apresenta-se uma abordagem para a solução do problema da determinação dos potenciais du-caminhos estabelecido pelos critérios Potenciais Usos [MAL88a], [MAL88b]. Mostra-se que este problema constitui uma Estrutura Monotônica Distributiva de Análise de Fluxo de Dados [HEC77] e que a solução MOP [HEC77] determina o resultado esperado, viabilizando, desta forma, a utilização dos algoritmos de Horwitz, Demers e Teitelbaum [HOR87] que são otimizações dos algoritmos propostos por Kildall [HEC77] e Kam e Ullman [KAM77]. Adicionalmente, estabelece-se uma estimativa para o custo de processamento associado à determinação do conjunto de potenciais du-caminhos.

Referências

L. D. Fosdick and L. J. Osterweil, "Data Flow Analysis in Software Reliability," ACM Computing Surveys, vol. 8, pp. 305-330, 1976.

F. G. Frankl and E.J. Weyuker, "An Applicable Family of Data Flow Testing Criteria," IEEE Trans. Software. Eng., Vok 14, No.10, Oct. 1988, pp. 1483-1498.

M. S. Hecht, Flow Analysis of Computer Programs, North Holland: Amsterdam, 1977.

P. M. Herman "Data Flow Approach to Program Testing," Australian Computer Journal, vol. 8, No, 3, Nov. 1976.

S. Horwitz, A. Demers and T. Teitelbaum, " An Efficient General Iterative Algorithm for Dataflow Analysis," Acta Informatica, vol. 24, pp. 679-694, 1987.

J. B. Kam and J. D. Ullman, "Monotone Data Flow Frameworks," Acta Informatica, vol. 7, pp. 305-317, 1977.

J. W. Laski e B. Korel, "A Data Flow Oriented Program Testing Strategy," IEEE Trans. Software. Eng., Vol. SE - 9, No.3, Maio 1983, pp. 347-354.

J. C. Maldonado, M. L. Chaim, M. Jino, "Seleção de Casos de Teste baseada nos Critérios Potenciais Usos," in Proc. II Simp. Bras. de Eng. de Software, Canela, R.S., Out.,1988, pp. 24-35.

J. C. Maldonado, M. L. Chaim, M. Jino, "Resultados do Estudo de uma Família de Critérios de Teste de Programas baseado em Fluxo de Dados," Relatório Técnico Interno RT/DCA/001/88 - DCA/FEE/Unicamp - Dez. 1988.

G. Myers, The Art of Software Testing, Wiley: New York, 1979.

S. C. Ntafos, "On Required Element Testing," IEEE Trans. Software Eng., Vol. SE - 10, pp. 795-803, Nov. 1984.

S. Rapps and E. J. Weyuker, "Selecting Software Test Data Using Data Flow Information," IEEE Trans. Software Eng., vol. SE-11, No. 4, pp. 367-375, Abril, 1985.