Software Quality

February 8, 2010

Talk on Pex by Jason Bock

Filed under: Uncategorized — David Allen @ 9:55 pm

Jason Bock demonstrated how to use Pex to identify defects in code. Pex can only investigate public methods. Integrates well with Visual Studio, enabling testing of a single method with a simple right-click.

You can optionally instrument framework classes if you wanted to investigate paths within the framework. But that can get pretty hairy X. can only analyze managed code.

Using CCI, he built AutoPex to enable Pex to run and focus specifically on changes from one build to another.
Jason also mentioned a number of the underlying technologies that are used in Pex, such as Z3 and Moles.

Jason said the latest version of Pex does not work with Visual Studio 2010 release candidate.

Twin Cities Code Camp 8
Saturday, April 10, 2010 from 8:00 AM – 5:00 PM (CT)
Minneapolis, MN

Leave a Comment »

No comments yet.

RSS feed for comments on this post. TrackBack URI

Leave a Reply

Please log in using one of these methods to post your comment: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

Blog at

%d bloggers like this: