Geração de Dados de Teste: Uma Estratégia que Preserva a Hierarquia de Critérios
Resumo
Comparações entre critérios de teste têm sido efetuadas baseadas principalmente em hierarquias definidas por uma relação de inclusão. Um critério C1 inclui um critério C2 se para qualquer programa, todo conjunto de dados de teste que satisfaz C1 também satisfaz C2. Pouca informação sobre a eficácia, definida como a capacidade dos critérios de revelar defeitos, é fornecida por uma hierarquia. A eficácia depende da estratégia utilizada para gerar conjuntos de teste adequados a cada critério, e por isso, a preservação da hierarquia não pode ser garantida. Uma estratégia chamada SINGER é proposta para ser utilizada juntamente com a estratégia proposta em [17], para gerar dados de teste com maior probabilidade de revelar defeitos e garante que a hierarquia seja sempre preservada, no que diz respeito a eficácia dos critérios, isto é, ao se aplicar os critérios C1 e C2, tal que C1 inclui C2, C1 revelará pelo menos todos os defeitos revelados por C2.
Referências
Budd, T.A.; Angluin, D., "Two Notions of Correctness and Their Relation to Testing", Acta Informatica, vol 18(1), pp 31-45, Nov. 1982.
DeMillo, R.A; Offutt J.; "Constraint-Based Automatic Test Data Generation", IEEE Trans. on Software Eng, 17(9), Set., 1991.
Duran, J.W.; Ntafos, S., "An Evaluation of Random Testing", IEEE Trans. Software Eng., 10(7). pp 438-444, Julho 1984.
Frate, F. et al, "Experiments to Investigate the Correlation Between Code Coverage and Software Reliability", Technical Report, Software Engineering Research Center, Purdue University, West Lafayette, Indiana, Abril, 19995.
Frankl, P.G.; Weyuker, E.J., "A Formal Analysis of The Fault-Detecting Ability of "Testing Methods", IEEE Trans. Software Fng., vol 19(3), pp 202-213, Marco 1993.
Hamlet, D.; Taylor, R., "Partition Testing Does Not Inspire Confidence", IEEE Trans. Software Eng., 16(12), Dez. 1990.
Laski, J.W. Korel, B.. "A Data Flow Oriented Program Testing Strategy", IEEE Trans.on Software Eng., 9(3 354, Maio, 1983.
Maldonado, J.Chaim, M.L.; Jino, M., "Seleção de Casos de Teste Bascada nos Critérios Potenciais Usos", II Simpósio Brasileiro de Engenharia de Software, Canela, RS, Out., 1988.
Maldonado, J.C., Critérios Potenciais Uma Contribuição ao Teste Estrutural de Software. Tese de Doutorado, DCA/FEE/UNICAMP - Campinas, SP, Julho, 1991.
Mathur, A.P.; Wong, W.E., "An Empirical Comparison of Data Flow and Mutation-Based Test Adequacy Criteria", Software Testing, Verification and Confiability, vol 4, pp 9-31, 1994.
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; 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.; Weiss, S.N.; Hamlet, R.G., "Comparison of Program Testing Strategies", in Proceedings of the Fourth Symposium on Software Testing, Analysis and Verification, Victoria, British Columbia, Canada, ACM Press, pp 154-164, 1991.
White, L.J.; Cohen, E.L, "A Domain Strategy for Computer Program Testing", IEEE Trans. on Software Eng, 6(3), 247-257, Maio, 1980.
Wong, W.E. et al, "Mutation Versus All-uses: An Empirical Evaluation of Cost, Strenght and Effectiveness", Software Quality and Productivity - Theory, practice, education and training, Hong Kong, Dez. 1994.
