PEX

By Nikolai Tillmann and  Mike BarnettLearn 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…

SharePoint Services are challenging for unit testing because it is not possible to execute the SharePoint Service without being connected to a live SharePoint site. For that reason, most of the unit tests written for SharePoint are actually integration tests as they need a live system to run. In…

Unit Testing with Pex and Moles TRAINER: Peli de Halleux – Microsoft ResearchPex enables parameterized unit testing for .NET: given a unit test with parameters. Pex generates inputs that achieves high code coverage. Moles is a framework that allows to isolate unit tests from environment…

    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…

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…

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…

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

Have Visual Studio 2012? Building Portable Libraries? Wonder what all the weird and wild code paths your code might have, but it hurts your brain to try to write every possible path in your unit tests? Want a free extension that throws everything at your code, but the kitchen sink? (though I think…

Microsoft Research has produced two tools to dramatically simplify the construction of unit tests.  We will look at Moles, a framework and Visual Studio add-in that helps to isolate your code from external dependencies.  With Moles you can replace any .Net method with a delegate. …