PEX

IMPORTANT! Moles is now the Fakes Framework in Visual Studio 11. Learn more at http://aka.ms/vs11-fakes. Nikolai Tillman, a member of the RiSE group at Microsoft Research, gives a short demo of Moles, a new framework that allows replacing any .NET method with a delegate. In the context of…

Ever wonder how the Reactive Extensions get tested? Jeffrey Van Gogh gives a glimpse at how they do it. The Rx developers have been using Pex and writing parameterized unit tests. In this video, we look at Enumerable.Zip and how we can use Pex to help testing it.Jeffrey also…

While at TechEd Europe in November 2009 I had a chance to catch up with the two lead developers of the Pex team Peli de Halleux and Nikolai Tillmann.Pex enables white box testing. It looks at your code, finds all the branches and determines which inputs will result in those branches being…

Unai Zorrilla, Development Team Lead de Plainconcepts, continua la introduccion a Stubs empezada en Introduccion a PEX.     Stubs es un ligero framework para .NET que esta completamente basado en delegados.     Permite generar implementaciones…

    Unai Zorrilla, Development Team Lead de Plainconcepts, nos hace una introduccion a PEX.     Pex encuentra valores interesantes de entrada-salida para los métodos, para usarlos en el testeo del código.     Realiza un análisis…

Margus Veanes and Pavel Grigorenko present a new exciting project: Qex. Pavel did an internship in the Research in Software Engineering team (RiSE) investigating automatic data generation methods for parameterized SQL queries. In this video, he shows the result of his 3-month…

This week on Channel 9, Dan and Brian discuss the week's developer news, including: - Silverlight Smooth Streaming now available through multiple CDNs - Nikolai Tillmann - Pex .11 Released - Supports Delegates, Exception Trees, and Stubs - New Tech Preview of Deep Zoom Composer  -…

Manuel Fähndrich and Peli de Halleux sit down for a quick coding session that shows how to use Code Contracts and Pex together. Code Contracts can be used to specify what your code should do, they get turned into runtime checks which Pex can analyse and try to find…

SC08: PGI rep discusses and demos PVF, integrated into Visual Studio, parallelization, MPI, OpenMP, etc.

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…