Caminhos Não Executáveis no Teste de Integração: Caracterização, Previsão e Determinação
Resumo
Extensões de critérios estruturais para realizar o teste de integração têm sido propostas com o objetivo de revelar erros de interface e oferecer medidas de cobertura. Esses tipos de erros são em geral mais custosos pois, podem causar mudanças em outros programas. Um problema com esses critérios é que eles podem requerer a execução de caminhos não executáveis. A existência de caminhos não executáveis dificulta a tarefa de geração de dados de teste para satisfazer um dado critério. Este trabalho apresenta os principais resultados obtidos estudando-se a executabilidade de caminhos requeridos para realizar o teste de integração de programas extraídos de um “benchmark”. Esses resultados mostram que a executabilidade de caminhos num programa pode ser dependente do contexto de outros programas. Além disso, o trabalho mostra como certas facilidades utilizadas para tratamento de não executabilidade no teste de unidade, podem ser usadas para caracterizar, prever e determinar caminhos não executáveis no teste de integração.
Referências
Chaim. M.L., POKE-TOOL - Uma Ferramenta para Suporte ao Teste Estrutural de Programas Baseado em Análise de Fluxo de Dados. Tese de Mestrado, DCA/FEE/UNICAMP - Campinas, SP, Abril 1991.
Callahan D., "The Program Summary Graph and Flow-Sensitive Interprocedural Data Flow Analysis", Proceedings of the SIGPLAN'88, Conference on Programming Language Design and Implementation. Atlanta, Georgia, Junho 22-24, 1988.
Franki, F.G.; Weyuker, E., "Data Flow Testing in The Presence of Unexecutable Paths", in Proc Workshop on Software Testing, Banff, Canada, Julho 4-13, 1986.
Frank, F.G., The Use of Data Flow Information for Selection and Evaluation of Software Test Data, PhD Dissertation, New York, Oct., 1987.
Hedley, D.; Hennell, A., "The Causes and Effects of Infeasible Paths in Computer Programs", Proc. 8th ICSE, London, UK, pp 259-266, 1985.
Huang, J.C.; "An Approach to Program Testing", ACM Computer Surveys, Vol. 7, No 3, pp. 114-128, Set., 1975.
Kernighan, B.W.; Plauger, P.J., Software Tools in Pascal. Addison-Wesley Publishing Company, Reading, Massachusetts, 1981.
Harrold, M.J.; Soffa, M.L., "Selecting and Using Data for Integration Testing", IEEE Software, pp 58-65, Março 1991.
Laski, J.W.; Korel, B., "A Data Flow Oriented Program Testing Strategy", IBEE Trans.on Software Eng., 9(3), 347-354, Maio, 1983.
Linnenkugel, V.; Müllerburg, M., "Test Data Selection Criteria for (Software) Integration Testing", Proceedings of The First International Conference on Systems Integration. Morristown. New Jersey, Abril 23-26. 1990.
McCabe, T.; "A Software Complexity Measure", IEEE Trans.on Software Eng., 2(6), 308-320, Dez., 1976.
Maldonado, J.C; Chaim, M.L.; Jino, M.. "Seleção de Casos de Teste Baseada nos Critérios Potenciais Usos", II Simpósio Brasileiro de Engenharia de Software, Canela, RS, Out., 1988.
Maldonado, J.C., Critérios Potenciais Usos: Uma Contribuição ao Teste Estrutural de Software. Tese de Doutorado, DCA/FEE/UNICAMP - Campinas. SP, Julho, 1991.
Malevris, N.; Yates, D.F.; Veevers, A., "Predictive Metric for Likely Feasibility of Program Paths", Information and Software Technology, 32(2), Março, 1990.
Myers, G.J., The Art of Software Testing, Wiley, 1979.
Pressman, R.B., Software Engineering: a Practitioner's Approach, Third Edition, New York, McGraw-Hill, 1992.
Rapps, S.: Weyuker, E.J., "Data Flow Analysis Techniques for Test Data Selection". in Proc. Int. Conf. Software Engineering, Tokyo, Set., 1982.
Ural, U.; Yang, B., "A Structural Test Selection Criterion", Information Processing Letters, Julho., 1988.
Vergilio, S.R., Caminhos Não Executáveis: Caracterização, Previsão e Determinação para Suporte ao Teste de Programas. Tese de Mestrado, DCA/FEE/UNICAMP, Campinas, SP, Jan. 1992.
Vergilio, S.R.; Maldonado, J.C., M. "Caminhos Não Executáveis na Automação das Atividades de Teste", VI Simpósio Brasileiro de Engenharia de Software, Gramado, RS, Nov. 1992.
Vergilio, S.R.; Maldonado, J.C; Jino, M., "Influência do Número de Predicados na Executabilidade de Um Caminho no Contexto de Teste Baseado em Fluxo de Dados", XIX Conferencia Latinoamericana de Informatica, Buenos Aires, Argentina, Março, 1993.
Vergilio, S.R.; Maldonado, J.C; Jino, M., "Uma estratégia de Geração de Dados de Teste", VII Simpósio Brasileiro de Engenharia de Software, Rio de Janeiro, RJ, Out. 1993.
Weyuker, E.J., "The Cost of Data Flow Testing: An Empirical Study", IEEE Trans. on Software Eng. SE-16(2), 12-18, Fev., 1988.
Weyuker, E. J. "More Experience with Data Flow Testing", IEEE Trans. on Software Eng., Vol. 19, 912-919, Set., 1998.
Callahan D., "The Program Summary Graph and Flow-Sensitive Interprocedural Data Flow Analysis", Proceedings of the SIGPLAN'88, Conference on Programming Language Design and Implementation. Atlanta, Georgia, Junho 22-24, 1988.
Franki, F.G.; Weyuker, E., "Data Flow Testing in The Presence of Unexecutable Paths", in Proc Workshop on Software Testing, Banff, Canada, Julho 4-13, 1986.
Frank, F.G., The Use of Data Flow Information for Selection and Evaluation of Software Test Data, PhD Dissertation, New York, Oct., 1987.
Hedley, D.; Hennell, A., "The Causes and Effects of Infeasible Paths in Computer Programs", Proc. 8th ICSE, London, UK, pp 259-266, 1985.
Huang, J.C.; "An Approach to Program Testing", ACM Computer Surveys, Vol. 7, No 3, pp. 114-128, Set., 1975.
Kernighan, B.W.; Plauger, P.J., Software Tools in Pascal. Addison-Wesley Publishing Company, Reading, Massachusetts, 1981.
Harrold, M.J.; Soffa, M.L., "Selecting and Using Data for Integration Testing", IEEE Software, pp 58-65, Março 1991.
Laski, J.W.; Korel, B., "A Data Flow Oriented Program Testing Strategy", IBEE Trans.on Software Eng., 9(3), 347-354, Maio, 1983.
Linnenkugel, V.; Müllerburg, M., "Test Data Selection Criteria for (Software) Integration Testing", Proceedings of The First International Conference on Systems Integration. Morristown. New Jersey, Abril 23-26. 1990.
McCabe, T.; "A Software Complexity Measure", IEEE Trans.on Software Eng., 2(6), 308-320, Dez., 1976.
Maldonado, J.C; Chaim, M.L.; Jino, M.. "Seleção de Casos de Teste Baseada nos Critérios Potenciais Usos", II Simpósio Brasileiro de Engenharia de Software, Canela, RS, Out., 1988.
Maldonado, J.C., Critérios Potenciais Usos: Uma Contribuição ao Teste Estrutural de Software. Tese de Doutorado, DCA/FEE/UNICAMP - Campinas. SP, Julho, 1991.
Malevris, N.; Yates, D.F.; Veevers, A., "Predictive Metric for Likely Feasibility of Program Paths", Information and Software Technology, 32(2), Março, 1990.
Myers, G.J., The Art of Software Testing, Wiley, 1979.
Pressman, R.B., Software Engineering: a Practitioner's Approach, Third Edition, New York, McGraw-Hill, 1992.
Rapps, S.: Weyuker, E.J., "Data Flow Analysis Techniques for Test Data Selection". in Proc. Int. Conf. Software Engineering, Tokyo, Set., 1982.
Ural, U.; Yang, B., "A Structural Test Selection Criterion", Information Processing Letters, Julho., 1988.
Vergilio, S.R., Caminhos Não Executáveis: Caracterização, Previsão e Determinação para Suporte ao Teste de Programas. Tese de Mestrado, DCA/FEE/UNICAMP, Campinas, SP, Jan. 1992.
Vergilio, S.R.; Maldonado, J.C., M. "Caminhos Não Executáveis na Automação das Atividades de Teste", VI Simpósio Brasileiro de Engenharia de Software, Gramado, RS, Nov. 1992.
Vergilio, S.R.; Maldonado, J.C; Jino, M., "Influência do Número de Predicados na Executabilidade de Um Caminho no Contexto de Teste Baseado em Fluxo de Dados", XIX Conferencia Latinoamericana de Informatica, Buenos Aires, Argentina, Março, 1993.
Vergilio, S.R.; Maldonado, J.C; Jino, M., "Uma estratégia de Geração de Dados de Teste", VII Simpósio Brasileiro de Engenharia de Software, Rio de Janeiro, RJ, Out. 1993.
Weyuker, E.J., "The Cost of Data Flow Testing: An Empirical Study", IEEE Trans. on Software Eng. SE-16(2), 12-18, Fev., 1988.
Weyuker, E. J. "More Experience with Data Flow Testing", IEEE Trans. on Software Eng., Vol. 19, 912-919, Set., 1998.
Publicado
1994-10-26
Como Citar
VERGILIO, Silvia Regina; MALDONADO, José Carlos; JINO, Mario.
Caminhos Não Executáveis no Teste de Integração: Caracterização, Previsão e Determinação.
Anais do Simpósio Brasileiro de Engenharia de Software (SBES), [S.l.], p. 453-467, out. 1994.
ISSN 0000-0000.
Disponível em: <https://sol.sbc.org.br/index.php/sbes/article/view/24484>. Acesso em: 18 maio 2024.
doi: https://doi.org/10.5753/sbes.1994.24484.
Seção
Artigos Completos
