Entries:
Comments:
Posts:

Loading User Information from Channel 9

Something went wrong getting user information from Channel 9

Activity Profile

Latest Achievement:

Loading User Information from MSDN

Something went wrong getting user information from MSDN

Visual Studio Achievements

Latest Achievement:

Loading Visual Studio Achievements

Something went wrong getting the Visual Studio Achievements

Getting started with Pex in Visual Studio 2008

Posted: Jan 14, 2009 at 11:38 AM
By: Peli de Halleux
Avg Rating: 5

(4)
89,902 Views
12 Comments
reddit

Tweet

20 minutes, 15 seconds

format
< > embed
+ queue

Sign In first to access your queue.
Close

Sorry, video was not added to the queue, an error occurred. Please Contact Us and let us know.
Close

Embed code for this video

Copy the code above to embed our video on your website/blog.

Video format

Option selected may change based on video formats available and browser capability.

Auto
Use our suggested format for this video.
Smooth Streaming
Adaptive bitrate streaming - little buffering but lower video quality at times of low bandwidth. Silverlight 5 required
Progressive
Traditional buffered video format. Silverlight 5 required
HTML5
For browsers that support H.264 MP4 or WebM video playback such as:
IE9+, Firefox 4+, Chrome 5+, or Safari 4+.
Flash
For browsers that have the Adobe Flash Player plugin installed.

Download

Right click “Save as…”

High Quality WMV (PC, Xbox, MCE)

File size
59.2 MB
MP3 (Audio only)

File size
9.3 MB
MP4 (iPod, Zune HD)

File size
122.7 MB
Mid Quality WMV (Lo-band, Mobile)

File size
51.1 MB

Nikolai Tillmann and Peli de Halleux give a short tutorial on Pex, an automated white box testing tool for .Net. The tutorial is a pair-programming session where they show us how to get started with Pex in Visual Studio, starting from an (untested) piece of C# code:

how to use Pex to explore the behavior of any method in your code,
how to save the exploration results into a unit test suite,
how to improve the generated parameterized unit tests to leverage Pex code exploration engine.

If you want to follow up the steps on your machine as well,

The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

Follow the Discussion

Follow
Oops, something didn't work.

Try again?

Sign In to be begin to follow these comments

What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in. You need to be signed in to Channel 9 to use this feature.

Getting "follow" information

Stop following these comments

Start following these comments

What does this mean?
Following an item on Channel 9 allows you to watch for new content and comments that you are interested in and view them all on your notifications page.

Removing your "follow"

Setting up your "follow"

Did you know you can
sign up for email notifications?
- Subscribe to this comments

Code Logix It's in the code.

Jan 14, 2009 at 7:32 PM

This is great, automatic unit test generation and complete code coverage!

Dowload it, and try it... It rocks!
Rhapsody In Metal We Trust

Jan 14, 2009 at 11:12 PM

Awesome! I'm going to try it out as well. Very cool to see that Pex actually uses values inside the function as test values.

Edit: Ok. I've been playing with it for a half an hour and it looks very very very cool!!!
stevo_ Human after all

Jan 15, 2009 at 7:54 AM

Is this right that you need a team edition of vs to use pex now? I'm using x64 and it just keeps telling me I need the team editions (I use pro), I used the older versions of pex in pro.
peli Peli

Jan 15, 2009 at 11:13 AM

The DevLabs installer requires Visual Studio 2008/2010 with TeamDev or Team Test.
The academic download does not require Visual Studio. However, there is currently a bug in that installer which incorrectly checks for VS. We are currently preparing a new drop for the academic download and will update the link shortly.

Sorry for the inconvinience.
stevo_ Human after all

Jan 15, 2009 at 2:06 PM

Ah ha! no worries, I'll check back soon! cheers.
peli Peli

Jan 16, 2009 at 11:17 AM

The problem has been fixed and a new academic download is available.
stevo_ Human after all

Jan 16, 2009 at 11:29 AM

sooopar! cheers
raghur

Jan 16, 2009 at 10:14 PM

Awesome tool. Just experimented with it and already loving it. Keep up the good work!
peli Peli

Jan 21, 2009 at 7:36 AM

If you use Pex (and hate/like it), don't forget to drop us a note in the forums...
Tomdekoning

Mar 09, 2009 at 2:52 AM

I've tried the link at http://msdn.microsoft.com/en-us/devlabs/cc950525.aspx but this one throws an error too that I need 2008 TS. I have the architect version of TS 2008 installed though.

Running on Win7 x64.
peli Peli

Mar 13, 2009 at 11:49 PM

Hi Tom, I'm sorry for the confusion but Pex requires Visual Studio 2008 Team Dev or Team Test Editions, or Visual Studio 2010 CTP.
coolpablo

Apr 09, 2009 at 3:07 PM

I have been evaluating Pex, so far I like what I see. Keep up the good work.

I'll soon be testing complex objects for WCF service calls - I'm not sure what I'll find.

Remove this comment

Remove this thread

Comments Closed

Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums,
or Contact Us and let us know.