Geração de Dados de Teste: Uma Estratégia que Preserva a Hierarquia de Critérios
Abstract
Comparisons of testing criteria have been based mainly on hierachies defined by an inclusion relation. Criterion C1 includes criterion C2 if, for every program, every test data set which satisfies C1 also satisfies C2. Little information on the efficacy, defined as the defect revealing ability of criteria, is provided by a hierarchy. Efficacy depends on the strategy for generation of test data sets adequate to each criterion and, hence, we can not guarantee that the hierarchy is maintained. A strategy called SINGER is proposed to be used in conjunction with the strategy proposed in [17], to generate test data with higher probability of revealing defects. SINGER garantees that hicrarchy is always maintained with respect to the efficacy of criteria; that is, when applying ccriteria C1 and C2, such that C1 includes C2, C1 will reveal at least all the defects revealed by C2.
References
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.
