Browse > Article
http://dx.doi.org/10.3745/KTSDE.2013.2.7.451

Automated Test Data Generation for Dynamic Branch Coverage  

Chung, In Sang (한성대학교 컴퓨터공학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.2, no.7, 2013 , pp. 451-460 More about this Journal
Abstract
In order to achieve high test coverage, it is usual to generate test data using various techniques including symbolic execution, data flow analysis or constraints solving. Recently, a technique for automated test data generation that fulfills high coverage effectively without those sophisticated means has been proposed. However, the technique shows its weakness in the generation of test data that leads to high coverage for programs having branch conditions where different memory locations are binded during execution. For certain programs with flag conditions, in particular, high coverage can not be achieved because specific branches are not executed. To address the problem, this paper presents dynamic branch coverage criteria and a test data generation technique based on the notion of dynamic branch. It is shown that the proposed technique compared to the previous approach is more effective by conducting experiments involving programs with flag conditions.
Keywords
Automated Test Data Generation; Dynamic Branch Coverage; Flag Problem;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 J. Edvardsson, "A Survey on Automatic Test Data Generation", in Proceedings of the Second Conf. on Computer Science and Engineering, 1999, pp.21-28.
2 J. Clarke, J. Dolado,, M. Harman,, R. Hierons, B. Jones, M. Lumkin, B. Mitchell, S. Mancoridis, K. Rees, M. Roper, and M. Shepperd, "Reformulating Software Engineering as a Search Problem", IEE Proceedings-Software, Vol.5, No.1, pp.161-175, 2003.
3 J. Wegener, A. Baresel, and H. Sthamer, "Evolutionary Test Environment for Automatic Structural Testing", Information and Software Test Technology, Vol.43, No.14, pp.841-854, 2001.   DOI   ScienceOn
4 L. Bottaci, "Instrumenting Programs with Flag Variables for Test Data Search by Genetic Algorithm", in Proc. of the Genetic and Evolutionary Computation Conf.(GECCO'02), pp. 1337-1342, NY, USA, July, 2002.
5 M. Harman, R. Hu, R. Hierons, A. Baresel, and M. Sthamer, "Improving Evolutionary Testing by Flag Removal", Information and Software Test Technology, Vol.43, No.14, pp.841-854, 2001.   DOI   ScienceOn
6 M. Alshraideh, L. Bottachi, B. Mahafzah, Using program data-state scarcity to guide automatic test data generation, Software Quality Journal, Vol.18, No.1, pp.109-144, 2010.   DOI
7 P. McMinn, "Evolutionary Search for Test Data in the Presence of State Behaviour", Ph.D. dissertation, The University of Sheffield, 2005.
8 P. Godefroid, N. Klarlund, K. Sen, "DART: Directed automated random testing", in Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, Illinois, 2005, pp.213-223.
9 J. Burnim, K. Sen, "Heuristics for dynamic test generation", in Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008, pp. 443-446.
10 K. Lakhotia, P. McMinn and M. Harman, "An Empirical Investigation Into Branch Coverage for C Programs Using CUTE and AUSTIN", Journal of Systems and Software, Vol.83, No.12, pp.2379-2391, 2010.   DOI   ScienceOn
11 I. S. Chung, "Automated Test Data Generation Based on Branch Coverage for Testing C Programs", Journal of the Korea Contents Association, Vol.12, No.11, pp.39-48, 2012.   과학기술학회마을   DOI   ScienceOn
12 B. Korel, "Automated Software Test Data Generation", IEEE Trans. on Software Eng, Vol.16. No.8. pp.870-879, 1990.   DOI   ScienceOn
13 Y. H. Kim, M. Z. Kim, and Y. K. Jang, "CREST-BV: An Improved Concolic Testing Technique with Bitwise Operations Support for Embedded Software", in Proceedings of KCC, 2012, pp.120-122.   과학기술학회마을
14 A. Baresel, and H. Sthamer, "Evolutionary Testing of Flag Conditions", in Proc. of the Genetic and Evolutionary Computation Conf.(GECCO'03), Chicago, USA, July 2003, pp.2442-2454.
15 A. Baresel, D. Binkley, M. Harman. and B. Korel, "Evolutionary Testing in the Presence of Loop Assigned Flags: A Testability TRansformation Approach", in Proc. of the ACM SIGSOFT International Symp. on Software Testing and Analysis(ISSTA'04), Boston, USA, July 2004, pp.108-118.
16 M. J. Gallagher, M. J., V. L. Narasimhan. "ADTEST: A Test Data Generation Suite for Ada Software Systems", IEEE Trans. on Software Eng, Vol.23, No.8, pp.473-484, 1997.   DOI   ScienceOn
17 http://www.pairwise.org.
18 I. S. Chung. "HanCC: A Transformation and Instrumentation Tool for Automated Test Data Generation of C Programs", Hansung University Engineering Research, Vol.5, 2012.