kirancodes.me
To Proof Maintenance & Beyond!
FSE 2007

Parallel test generation and execution with Korat

Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov

PDFDOI 10.1145/1287624.1287645dblp

Abstract

We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation of structurally complex test inputs. Given an imperative predicate that specifies the desired structural constraints and a finitization that bounds the desired input size, Korat performs a systematic search to generate all test inputs (within the bounds) that satisfy the constraints. We present how to generate test inputs with a parallel search in Korat and how to execute test inputs in parallel, both off-line (when the inputs are saved on disk) and on-line (when execution immediately follows generation).

BibTeX
@inproceedings{Misailovic-al:FSE07,
  author    = {Sasa Misailovic and
               Aleksandar Milicevic and
               Nemanja Petrovic and
               Sarfraz Khurshid and
               Darko Marinov},
  title     = {Parallel test generation and execution with Korat},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {135--144},
  publisher = {{ACM}},
  year      = {2007},
}

Related papers