Caminhos Não Executáveis na Automação das Atividades de Teste
Abstract
It is undecidable whether any given program path is feasible or not. The main problems introduced by infeasible paths in program testing are discussed. The results presented are taken from benchmarking Potential Uses Criteria --- a family of data-flow based criteria --- using the testing tool named POKE-TOOL, which supports the application of these criteria. The main causes for infeasibility of the benchmark's program paths are described. Correlation between infeasibility and the number of predicates in program paths is also explored. The benchmark pointed out the relevance of the Frankl's heuristics [FRA87] for identification of Infeasible paths. The heuristics and two proposed extensions, as well as, other facilities to deal with such paths, such as, elimination of infeasible patterns, are described. These facilities, incorporated into POKE-TOOL, contribute to reduce testing activities cost and effort.
References
F.G.Frankl, E.J.Weyuker, "Data Flow Testing In the Presence of Unexecutable Paths", In Proc. Workshop on Software Testing, Banff, Canada, pp 4-13, Jul. 1986.
F.G.Frankl, "The use of Data Flow Information for the Selection and Evaluation of Software Test Data," Ph.D Dissertation, New York, Oct. 1987.
D.Hedley e M.A.Hennell, "The Causes and Effects of Infeasible Paths In Computer Programs", Proc. 8th. ICSE London, UK (1985) pp 259-266.
B.W.Kernighan e P.J.Plauger, Software Tools In Pascal. Addison-Wesley Publishing Company, Reading, Massachusetts, 1981.
A.Mayhauser, Software Engineering - Methods and Management, Academic Press Inc, USA, 1990.
J.C.Maldonado, M.LChaim, M.Jino, "Seleção de Casos de Testes Baseada nos Critérios Potenciais Usos", II Simpósio Brasileiro de Engenharia de Sotware, Canela, RS, Brasil, Out. 1988, pp. 24-35.
J.C.Maldonado, "Critérios Potenciais "Usos: Uma Contribuição ao Teste Estrutural de Software", Tese de Doutorado, DCA/FEE/UNICAMP Campinas-SP, Brasil, Julho 1991.
J.C.Maldonado, M.L.Chaim, S.R.Vergilio, M.Jino, "Critérios Potenciais Usos: Uma Contribuição para a Atividade de Garantia de Qualidade de Software", In Proc. Workshop em Avaliação de Qualidade de Software, COPPE/UFRJ, Rio de Janeiro, RJ, Brasil, Malo 1991.
N.Malevris, D.F.Yates, A.Veevers, "Predictive Metric for Likely Feasibility of Program Paths". Information and Software Technology, Vol.32, No.2, March 1990.
G.J.Myers, "The Art of Software Testing", Wiley, 1979.
S.Rapps, E.J.Weyuker, "Data Flow Analysis Techniques for Test Data Selection", In Proc. Int. Conf. Software Eng., Tokio, Japão,Set 1982.
S.Rapps, E.J.Weyuker, "Selecting Software Test Data Using Data Flow Information," IEEE, Trans. Sofware Eng., Vol. SE - 11,pp. 367-375, Apr 1985.
S.R.Vergilio, "Caminhos Não Executáveis: Caracterização, Previsão Determinação para Suporte ao Teste de Programas", Tese de Mestrado DCA/FEE/UNICAMP, Campinas -SP Janeiro 1992.
E.J.Weyuker, "The Complexity of Data Flow Criteria for Test Data Selection," Information Processing Letters, Vol. 19, N. 12, pp 121-128, Feb. 1990.
E.J.Weyuker, "The Cost of Data Flow Testing: An Empirical Study", IEEE Trans. Soft. Eng., Vol. SE-16, No 2, Feb. 1990, pp.121-128.
