Volume 5 Number 11 (Nov. 2010)
Home > Archive > 2010 > Volume 5 Number 11 (Nov. 2010) >
JSW 2010 Vol.5(11): 1270-1278 ISSN: 1796-217X
doi: 10.4304/jsw.5.11.1270-1278

Using Dominance for Aiding the Search-Based Testing to Overcome the Limitations of the Control-Dependencies

Ahmed S. Ghiduk
Faculty of Science, Beni-Suef University, Beni-Suef, Egypt

Abstract—Search-based optimization techniques have been utilized for a number of software engineering activities. The representation of the problem and the definition of the fitness function (FF) are two key ingredients for the application of search-based optimization to software engineering problems. Therefore, a well-defined fitness function is essential to the effectiveness and efficiency of the search-based testing (SBT). Several search based test-data generation techniques have been developed. A wide range of these techniques utilized the control dependencies (CD) in the control-flow graph of the program under test for guiding the search in the direction of finding test data. To direct the SBT to generate test data, Ghiduk et al. have presented a search-based technique that utilizes the dominances (Dom) between the nodes of the control-flow graph (CFG) of the program under test. In this paper, we investigate the efficiency and effectiveness of dominances in a control-flow graph against the control dependencies in guiding the SBT for generating test data. The paper provides a number of structures programming which challenge the SBT that is guided by the control dependencies to find test data. The paper introduces two schemes for overcoming these problems. The first scheme improves the definitions of the fitness functions of the previous work to overcome the control-dependencies problems. The second scheme presents a general form for a fitness function in terms of dominances and postdominances nodes. This function enhances significantly the efficiency of the SBT; consequently the SBT overcomes the control-dependencies problems. In addition, the paper compares between the efficiency of dominances and control dependencies in guiding SBT with proper examples from the literatures.

Index Terms—search-based testing; genetic algorithms, testdata generation, dominance, control dependencies.


Cite: Ahmed S. Ghiduk, "Using Dominance for Aiding the Search-Based Testing to Overcome the Limitations of the Control-Dependencies," Journal of Software vol. 5, no. 11, pp. 1270-1278, 2010.

General Information

ISSN: 1796-217X (Online)
Frequency:  Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Jun 22, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 15 No 4 have been indexed by DBLP     [Click]

  • Sep 13, 2021 News!

    The papers published in Vol 16, No 6 have all received dois from Crossref    [Click]

  • Jan 28, 2021 News!

    [CFP] 2021 the annual meeting of JSW Editorial Board, ICCSM 2021, will be held in Rome, Italy, July 21-23, 2021   [Click]

  • Sep 13, 2021 News!

    Vol 16, No 6 has been published with online version     [Click]