10 Jan 2009 @ 4:46 PM 
 

Pex-Automated White Box Testing for .NET

 

Pex-Automated White Box Testing for .NET

http://msdn.microsoft.com/en-us/devlabs/cc950525.aspx

Pex (Program EXploration) produces a traditional unit test suite with high code coverage. A parameterized unit test is simply a method that takes parameters, calls the code under test, and states assertions. Given a parameterized unit test written in a .NET language, Pex automatically produces a small unit test suite with high code and assertion coverage. To do so, Pex performs a systematic white box program analysis.Pex learns the program behavior by monitoring execution traces, and uses a constraint solver to produce new test cases with different behavior. At Microsoft, this technique has proven highly effective in testing even an extremely well-tested component.
Play with Pex, stress it, evaluate it, and tell us what you think.

Tags Tags:
Categories: Dev-NET, Development
Posted By: Jason
Last Edit: 10 Jan 2009 @ 04 46 PM

EmailPermalink
 

Responses to this post » (None)

 

Post a Comment

You must be logged in to post a comment.

 Comment Meta:
RSS Feed for comments
\/ More Options ...
Change Theme...
  • Users » 2
  • Posts/Pages » 3,500
  • Comments » 79
Change Theme...
  • VoidVoid « Default
  • LifeLife
  • EarthEarth
  • WindWind
  • WaterWater
  • FireFire
  • LightLight

.NET



    No Child Pages.

About



    No Child Pages.

Contact



    No Child Pages.