Parameterized Unit Testing with Pex (Tutorial)

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.

In  Proc. of Tests and Proofs (TAP'08)

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeInproceedings
URLhttp://dx.doi.org/10.1007/978-3-540-79124-9_12
Pages171–181
Volume4966
SeriesLNCS
AddressPrato, Italy
> Publications > Parameterized Unit Testing with Pex (Tutorial)