.NET Software Development Tutorials and Videos: C#, ASP, SQL Server, Linq, Visual Basic, Silverlight, Azure
Tag: <span>pex</span>

Code Contracts in .NET 4

This video explains code contracts in .NET and how they can be used to improve data integrity, consistency, and development velocity with minimal impact to the size of the source base and even to production performance. It discusses this best practice that future Microsoft research projects like Pex and Moles …

Code Contracts and Pex: Power Charge Your Assertions and Unit Tests

This video shows how Code Contracts provides a set of tools for design-by-contract programming and how Pex is an advanced unit-testing tool that uses automated program exploration to intelligently create unit tests with high code coverage. See how they work together so that your code has fewer defects. Learn about …

Pex – Automated Exploratory Testing for .NET

Pex is a white-box test generation tool for .NET. Starting from a hand-written parameterized unit test, Pex analyzes the program-under-test to determine relevant test inputs fully automatically. To this end, Pex executes the program multiple times with different inputs while monitoring the taken execution paths. Pex uses a constraint solver …