Pex–White Box Test Generation for .NET

  • Nikolai Tillmann
  • Jonathan de Halleux
Conference paper

DOI: 10.1007/978-3-540-79124-9_10

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4966)
Cite this paper as:
Tillmann N., de Halleux J. (2008) Pex–White Box Test Generation for .NET. In: Beckert B., Hähnle R. (eds) Tests and Proofs. TAP 2008. Lecture Notes in Computer Science, vol 4966. Springer, Berlin, Heidelberg

Abstract

Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution, similar to path-bounded model-checking) to determine test inputs for Parameterized Unit Tests. Pex learns the program behavior by monitoring execution traces. Pex uses a constraint solver to produce new test inputs which exercise different program behavior. The result is an automatically generated small test suite which often achieves high code coverage. In one case study, we applied Pex to a core component of the .NET runtime which had already been extensively tested over several years. Pex found errors, including a serious issue.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Nikolai Tillmann
    • 1
  • Jonathan de Halleux
    • 1
  1. 1.Microsoft ResearchRedmondUSA

Personalised recommendations