Constraint based structural testing criteria

Journal of Systems and Software

Volumn 79, Issue 6, 2006, Pages 756-771

  Vergilio, Silvia Regina ^a   Maldonado, José Carlos ^b   Jino, Mario ^c   Soares, Inali Wisniewski ^d  

^a FEDERAL UNIVERSITY OF PARANÁ   (Brazil)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

^c UNIVERSITY OF CAMPINAS   (Brazil)

^d UNICENTRO   (Brazil)

Author keywords

Constraint based testing; Data flow based criteria; Mutation analysis

Indexed keywords

COSTS; DATA FLOW ANALYSIS; TESTING;

CONSTRAINT BASED TESTING; DATA FLOW BASED CRITERIA; MUTATION ANALYSIS;

CONSTRAINT THEORY;

EID: 33646123066     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2005.06.012     Document Type: Article

References (33)

1. Bueno, P., Jino, M., 2001. Automatic test data generation for program paths using genetic algorithms. In: 13th International Conference on Software Engineering and Knowledge Engineering-SEKE, pp. 2-9.
2. Chaim, M., 1991. POKE-TOOL-Uma Ferramenta para Suporte ao Teste Estrutural de Programas Baseado em Análise de Fluxo de Dados. Master Thesis, DCA/FEEC/Unicamp, Campinas-SP, Brazil (in Portuguese).
3. Clarke L. A system to generate test data and symbolically execute programs. IEEE Transactions on Software Engineering SE-2 3 (1976) 215-222
4. De Millo R., Lipton R., and Sayward F. Hints on test data selection: help for the practicing programmer. IEEE Computer C-11 April (1978) 34-41
5. De Millo R., and Offutt A. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering SE-17 9 (1991) 900-910
6. Delamaro, M.E., Maldonado, J. 1996. A tool for the assessment of test adequacy for C programs. In: Proceedings of the Conference on Performability in Computing Systems, East Brunswick, New Jersey, USA, pp. 79-95.
7. Duran J., and Ntafos S. An evaluation of random testing. IEEE Transactions on Software Engineering SE-10 4 (1984) 438-444
8. Frankl F., and Weyuker E. Data flow testing in the presence of unexecutable paths. Proceedings of the Workshop on Software Testing' (1986), Computer Science Press, Banff, Canada 4-13
9. Frankl F., and Weyuker E. An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering SE-14 10 (1988) 1483-1498
10. Frankl P., and Weyuker E. A formal analysis of the fault-detecting ability of testing methods. IEEE Transactions on Software Engineering SE-19 3 (1993) 202-213
11. Herman W. Flow analysis approach to program testing. The Australian Computer Journal 8 3 (1976) 259-266
12. Howden W. Reliability of the path analysis testing strategies. IEEE Transactions on Software Engineering SE-2 3 (1976) 208-215
13. Howden W. Symbolic testing and dissect symbolic evaluation system. IEEE Transactions on Software Engineering SE-3 4 (1977) 266-278
14. Korel B. Automated software test data generation. IEEE Transactions on Software Engineering SE-16 8 (1990) 870-879
15. Laski J., and Korel B. A data flow oriented program testing strategy. IEEE Transactions on Software Engineering SE-9 3 (1983) 347-354
16. Maldonado, J., Chaim, M., Jino, M., 1992. Bridging the gap in the presence of infeasible paths: potential uses testing criteria. In: XII International Conference of the Chilean Computer Science Society, Santiago, Chile, pp. 323-340.
17. McCabe T. A software complexity measure. IEEE Transactions on Software Engineering SE-2 4 (1976) 308-320
18. Michael C., McGraw G., and Schatz M. Generating software test data by evolution. IEEE Transactions on Software Engineering 27 12 (2001) 1085-1110
19. Murril B., Morell L., and Olimpiew E. A perturbation-based testing strategy. Eighth International Conference on Engineering of Complex Systems (2002), IEEE Press 145-152
20. Ntafos S. On required element testing. IEEE Transactions on Software Engineering SE-10 6 (1984) 795-803
21. Peres, L., Vergilio, S., Jino, M., Maldonado, J., 2000. Path selection strategies in the context of software testing criteria. In: 1st IEEE Latin American Test Workshop, Rio de Janeiro, pp. 222-227.
22. Ramamoorthy C., Siu-Bun F.H., and Chen W. On automated generation of program test data. IEEE Transactions on Software Engineering SE-2 4 (1976) 293-300
23. Rapps S., and Weyuker E. Selecting software test data using data flow information. IEEE Transactions on Software Engineering SE-11 4 (1985) 367-375
24. Soares I., and Vergilio S. Mutation analysis and constraint based criteria: results from an empirical evaluation in the context of software testing. Journal of Electronic Testing: Theory and Applications-JETTA 20 (2004) 439-445
25. Tai K. Predicate-based test generation for computer programs. Proceedings of International Conference on Software Engineering (1993), IEEE Press 267-276
26. Ural H., and Yang B. A structural test selection criterion. Information Processing Letters 28 3 (1988) 157-163
27. Vergilio S., Maldonado J., and Jino M. Constraint based selection of test sets to satisfy structural software testing criteria. XVII International Conference of the Chilean Computer Science Society (1997), IEEE-Press, Los Alamitos, CA
28. Vergilio S., Maldonado J., and Jino M. Constraint based criteria: An approach for test case selection in the structural testing. Journal of Electronic Testing: Theory and Applications-JETTA 17 2 (2001) 175-183
29. Voas J., Morell L., and Miller K. Predicting where faults can hide from testing. IEEE Software (1991) 41-47
30. Weyuker E. An empirical study of the complexity of data flow testing. Proceedings of the Second Workshop on Software Testing, Verification and Analysis (1988), Computer Science Press, Banff, Canada 188-195
31. Weyuker E. The cost of data flow testing: An empirical study. IEEE Transactions on Software Engineering SE-16 2 (1990) 121-128
32. White L., and Cohen E. A domain strategy for computer program testing. IEEE Transactions on Software Engineering SE-6 3 (1980) 247-257
33. Wong, W., Mathur, A., Maldonado, J., 1994. Mutation versus all-uses: an empirical evaluation of cost, strength and effectiveness. In: Software Quality and Productivity-Theory, Practice, Education and Training, Hong Kong.