Quosséça

Divide by Zero Exception Raising via Branch Coverage

Year of publication : 2011

Bibliographic reference:
N. BHATTACHARYA, A. SAKTI, G. ANTONIOL, Y.-G. GUEHENEUC, G. PESANT. Divide by Zero Exception Raising via Branch Coverage. SSBSE, 204-218. 2011.

Summary:
In this paper, we discuss how a search-based branch coverage approach can be used to design an effective test data generation approach, specifically targeting divide-by-zero exceptions. We first propose a novel testability transformation combining approach level and branch distance. We then use different search strategies, hill climbing, simulated annealing, and genetic algorithm, to evaluate the performance of the novel testability transformation on a small synthetic example as well as on methods known to throw divide-by-zero exceptions, extracted from real world systems, namely Eclipse and Android. Finally, we also describe how the test data generation for divide-by-zero exceptions can be formulated as a constraint programming problem and compare the resolution of this problem with a genetic algorithm in terms of execution time. We thus report evidence that genetic algorithm using our novel testability transformation out-performs hill climbing and simulated annealing and a previous approach (in terms of numbers of fitness evaluation) but is out-performed by constraint programming (in terms of execution time).

Bibtex:

@inproceedings{DBLP:conf/ssbse/BhattacharyaSAGP11,
  author    = {Neelesh Bhattacharya and
               Abdelilah Sakti and
               Giuliano Antoniol and
               Yann-Ga{\"e}l Gu{\'e}h{\'e}neuc and
               Gilles Pesant},
  title     = {Divide-by-Zero Exception Raising via Branch Coverage},
  booktitle = {SSBSE},
  year      = {2011},
  pages     = {204-218},
  ee        = {http://dx.doi.org/10.1007/978-3-642-23716-4_19},
  crossref  = {DBLP:conf/ssbse/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Quosséça

Divide by Zero Exception Raising via Branch Coverage

Member(s) who (co)wrote the paper

Project(s) linked to this publication

Files linked to the publication