Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Parameterized Unit Testing with Pex (Tutorial)

Jonathan de Halleux and Nikolai Tillmann

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.

Details

Publication typeInproceedings
Published inProc. of Tests and Proofs (TAP'08)
URLhttp://dx.doi.org/10.1007/978-3-540-79124-9_12
Pages171–181
Volume4966
SeriesLNCS
AddressPrato, Italy
PublisherSpringer Verlag
> Publications > Parameterized Unit Testing with Pex (Tutorial)