kirancodes.me
To Proof Maintenance & Beyond!
ASE 2001

A New Way of Automating Statistical Testing Methods

Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr

DOI 10.1109/ase.2001.989785dblp

Abstract

We propose a novel way of automating statistical structural testing of software, based on the combination of uniform generation of combinatorial structures, and of randomized constraint solving techniques. More precisely, we show how to draw test cases which balance the coverage of program structures according to structural testing criteria. The control flow graph is formalized as a combinatorial structure specification. This provides a way of uniformly drawing execution paths which have suitable properties. Once a path has been drawn, the predicate characterizing those inputs which lead to its execution is solved using a constraint solving library. The constraint solver is enriched with powerful heuristics in order to deal with resolution failures and random choice strategies.

BibTeX
@inproceedings{Gouraud-al:ASE01,
  author    = {Sandrine{-}Dominique Gouraud and
               Alain Denise and
               Marie{-}Claude Gaudel and
               B. Marr},
  title     = {A New Way of Automating Statistical Testing Methods},
  booktitle = {ASE},
  pages     = {5--12},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
}

Related papers