Parameterized Unit Testing with Pex

(Tutorial)
  • Jonathan de Halleux
  • Nikolai Tillmann
Conference paper

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

Volume 4966 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
de Halleux J., Tillmann N. (2008) Parameterized Unit Testing with Pex. In: Beckert B., Hähnle R. (eds) Tests and Proofs. TAP 2008. Lecture Notes in Computer Science, vol 4966. Springer, Berlin, Heidelberg

Abstract

This hands-on tutorial will teach the principles of Parameterized Unit Testing [5,4] with Pex [2], an automatic test input generator for .NET which performs a systematic program analysis, similar to path bounded model-checking.

A parameterized unit test is simply a method that takes parameters, calls the code under test, and states assertions.

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

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