A New Evolutionary Approach for the Structural Testing of Switch-case Constructs

Gentiana Ioana Latiu, Octavian Augustin Cret, Lucia Vacariu

Abstract

Evolutionary structural testing uses specific approaches based on guided searches that involve evaluating fitness functions to determine whether test data satisfy or not various structural testing criteria. For testing switch-case constructs the nested if-then-else structure and Alternative Critical Branches (ACBs) approaches were used so far. In this paper a new evolutionary structural approach based on Compact and Minimized Control Flow Graph (CMCFG), which is derived from the concept of Control Flow Graph (CFG), is presented. Experiments on different levels of imbrications demonstrate that this new approach has significantly better results in finding test data which cover a particular target branch in comparison with the previous approaches reported in the literature.

References

  1. Arcuri, A., 2010. It Does Matter How You Normalise the Branch Distance in Search Based Software Testing. In Software Testing, Verification and Validation, pp. 205-214.
  2. Baresel, A., Sthamer, H., 2003. Evolutionary testing of flag conditions. In Proceeding of the Genetic and Evolutionary Computation Conference, GECCO'03, pp. 2428-2441.
  3. Baresel, A., Binkley, D., Harman, M., 2004. Evolutionary Testing in the Presence of Loop-Assigned Flags: A Testability Transformation Approach. In Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 7804, vol. 29, pp. 43-52.
  4. Ferrante, J., Ottenstein, K., Warren, J., 1987. The program Dependence Graph and Its Use in Optimization. In ACM Transactions on Programming Languages and Systems, vol. 9, pp. 319-349.
  5. Harman, M., Hu, L., Hierons, R., Baresel, A., Sthamer, H., 2002. Improving Evolutionary Testing by Flag Removal. Proceeding of the Genetic and Evolutionary Computation Conference, GECCO'02, pp. 1359-1366.
  6. Harman, M., McMinn P., 2010. A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search. In IEEE Transactions on Software Engineering, Journal vol. 36, pp. 226-247.
  7. McMinn, P., Holcombe, M., 2005. Evolutionary testing of state-based programs. In Proceedings of the Genetic and Evolutionary Computation Conference, GECCO'05, pp. 1013-1020.
  8. McMinn, P., Binkley, D., Harman M., 2009. Empirical Evaluation of a Nesting Testability Transformation for Evolutionary Testing. In ACM Transformation Software Engineering Methodology, vol. 18, pp. 1-27.
  9. Tracey, N., Clark, J., Mander, K., 1998. Automated program flaw finding using simulated annealing. In Proceeding of the ACM SIGSOFT International Symposium of Software Testing and Analysis, ISSTA'98, pp. 73-81.
  10. Gupta, N. K., Rohil, M. K., 2008. Using Genetic Algorithm for Unit Testing of Object Oriented Software. In Emerging Trends in Engineering and Technology, pp. 308-313.
  11. Gursaran, A. P., 2012. Program test data generation branch coverage with genetic algorithm: Comparative evaluation of a maximization and minimization approach. In International Journal of Software Engineering and Applications, vol. 3, pp. 207-218.
  12. Tracey, N., Clark, J., Mander, K., McDermin, J., 1998. An Automated Framework for Structural Test-Data Generation. In Proocedings of the 13th IEEE International Conference on Automated Software Engineering, pp. 285.
  13. Wang, Y., Bai, Z., Zhang, M., Du, W., Qin, Y., Liu, X., 2008. Fitness Calculation Approach for the SwitchCase Construct in Evolutionary Testing. In Proceedings of the Genetic and Evolutionary Computation Conference, GECCO'08, pp. 1767-1774.
  14. Wappler, S., Baresel, A., Wegener, J., 2007. Improving Evolutionary Testing in the Presence of FunctionAssigned Flags. In Testing: Academic and Industrial Conference Practice and Research TechniquesMutation, pp. 23-34.
  15. Wegener, J., Grochtmann, M., 1998. Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing. In Real Time Systems Journal, vol. 15, pp. 275-298.
  16. Wegener, J., Baresel, A., Sthamer H., 2001. Evolutionary test environment for automatic structural testing. In Information and Software Technology, Journal vol. 43 (14), pp. 841-854.
Download


Paper Citation


in Harvard Style

Latiu G., Cret O. and Vacariu L. (2012). A New Evolutionary Approach for the Structural Testing of Switch-case Constructs . In Proceedings of the 4th International Joint Conference on Computational Intelligence - Volume 1: ECTA, (IJCCI 2012) ISBN 978-989-8565-33-4, pages 42-51. DOI: 10.5220/0004149000420051


in Bibtex Style

@conference{ecta12,
author={Gentiana Ioana Latiu and Octavian Augustin Cret and Lucia Vacariu},
title={A New Evolutionary Approach for the Structural Testing of Switch-case Constructs },
booktitle={Proceedings of the 4th International Joint Conference on Computational Intelligence - Volume 1: ECTA, (IJCCI 2012)},
year={2012},
pages={42-51},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004149000420051},
isbn={978-989-8565-33-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Joint Conference on Computational Intelligence - Volume 1: ECTA, (IJCCI 2012)
TI - A New Evolutionary Approach for the Structural Testing of Switch-case Constructs
SN - 978-989-8565-33-4
AU - Latiu G.
AU - Cret O.
AU - Vacariu L.
PY - 2012
SP - 42
EP - 51
DO - 10.5220/0004149000420051