DYNAMIC SEARCH-BASED TEST DATA GENERATION FOCUSED ON DATA FLOW PATHS

Anastasis A. Sofokleous, Andreas S. Andreou

Abstract

Test data generation approaches produce sequences of input values until they determine a set of test cases that can test adequately the program under testing. This paper focuses on a search-based test data generation algorithm. It proposes a dynamic software testing framework which employs a specially designed genetic algorithm and utilises both control flow and data flow graphs, the former as a code coverage tool, whereas the latter for extracting data flow paths, to determine near to optimum set of test cases according to data flow criteria. Experimental results carried out on a pool of standard benchmark programs demonstrate the high performance and efficiency of the proposed approach, which are significantly better compared to related search-based test data generation methods.

References

  1. Andrews, J.H., Briand, L.C., Labiche, Y., Namin, A.S. 2006. Using mutation analysis for assessing and comparing testing coverage criteria. IEEE Transactions on Software Engineering 32 (8), 608- 624.
  2. Clarke, L.A., Podgurski, A., Richardson, D.J., Zeil, S.J. 1989. A formal evaluation of data flow path selection criteria. IEEE Transactions on Software Engineering 15 (11), 1318-1332.
  3. Frankl, P.G., Weyuker, E.J. 1988. An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering 14 (10), 1483-1498.
  4. Kapfhammer, G.M. 2004. Software testing. In: Tucker, A.B. (Ed.), CRC Press, Boca Raton, FL, 105.1-105.44.
  5. Korel, B. 1996. Automated test data generation for programs with procedures. In: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis , San Diego, California, United States, 209-215.
  6. Laski, J.W., Korel, B. 1983. Data flow oriented program testing strategy. IEEE Transactions on Software Engineering 9 (3), 347-354.
  7. McMinn, P. 2004. Search-based software test data generation: A survey. Software Testing, Verification and Reliability 14 (2), 105-156.
  8. Michael, C.C., McGraw, G., Schatz, M.A. 2001. Generating software test data by evolution. IEEE Transactions on Software Engineering 27 (12), 1085- 1110.
  9. Michael, C., McGraw, G. 1998. Automated software testdata generation for complex programs. In: Proceedings of the 13th IEEE International Conference on Automated Software Engineering, Honolulu, Hawaii, October 1998, 136-146.
  10. Ntafos, S.C. 1984. On required element testing. IEEE Transactions on Software Engineering 10 (6), 795- 803.
  11. Ntafos, S.C. 1988. A comparison of some structural testing strategies. IEEE Transactions on Software Engineering 14 (6), 868-874.
  12. Ntafos, S.C. 1981. On testing with required elements. In: Proceedings of IEEE-CS COMPSAC, November 1981, 132-139.
  13. Rapps, S., Weyuker, E.J. 1982. Data flow analysis techniques for test data selection. In: Proceedings of the 6th IEEE-CS International Conference on Software engineering, Tokyo, Japan, September 1982, 272-278.
  14. Rapps, S., Weyuker, E.J. 1985. Selecting software test data using data flow information. IEEE Transactions on Software Engineering 11 (4), 367-375.
  15. Sofokleous, A., Andreou, A. 2007. Batch-optimistic testcases generation using genetic algorithms. In: Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Patra, Greece, October, 157-164.
  16. Sofokleous, A.A., Andreou, A.S., Ioakim, G. 2006. Creating and manipulating control flow graphs with multilevel grouping and code coverage. In: Proceedings of the 8th International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, May 2006, 259-262.
  17. Zhao, J. 2003. Data-flow-based unit testing of aspectoriented programs. In: Proceedings of the 27th IEEECS Annual International Conference on Computer Software and Applications (COMPSAC 7803), Dallas, Texas, USA, 188-197.
  18. Zhu, H., Hall, P., May, J. 1997. Software unit test coverage and adequacy. ACM Computing Surveys 29 (4), 366-427.
Download


Paper Citation


in Harvard Style

A. Sofokleous A. and S. Andreou A. (2008). DYNAMIC SEARCH-BASED TEST DATA GENERATION FOCUSED ON DATA FLOW PATHS . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8111-37-1, pages 27-35. DOI: 10.5220/0001692600270035


in Bibtex Style

@conference{iceis08,
author={Anastasis A. Sofokleous and Andreas S. Andreou},
title={DYNAMIC SEARCH-BASED TEST DATA GENERATION FOCUSED ON DATA FLOW PATHS},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2008},
pages={27-35},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001692600270035},
isbn={978-989-8111-37-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - DYNAMIC SEARCH-BASED TEST DATA GENERATION FOCUSED ON DATA FLOW PATHS
SN - 978-989-8111-37-1
AU - A. Sofokleous A.
AU - S. Andreou A.
PY - 2008
SP - 27
EP - 35
DO - 10.5220/0001692600270035