Entries tagged with pex - Channel 9

Introducción a Stubs

Daniel Garzon — Mon, 08 Jun 2009 13:44:00 GMT

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 genericas (dummy implementations) que pueden remplazar componentes comlpejos, para facilitar el testeo.

Ha sido diseñado específicamente para soportar PEX (de hecho, viene como parte de PEX)

Recursos:

En Microsoft
http://research.microsoft.com/en-us/projects/Stubs/
http://social.msdn.microsoft.com/Forums/en-US/pex/threads/

Introduccion a PEX

Daniel Garzon — Thu, 04 Jun 2009 14:17:00 GMT

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 sistematico, buscando boundary conditions, exceptions and assertions failures que puedes arreglar al momento.

Recursos:

En Microsoft
http://research.microsoft.com/en-us/projects/Pex/
http://social.msdn.microsoft.com/Forums/en-US/pex/threads/

En Channel 9
http://channel9.msdn.com/posts/Peli/Getting-started-with-Pex-in-Visual-Studio-2008/
http://channel9.msdn.com/posts/briankel/Pex-Automated-Exploratory-Testing-for-NET/

Margus Veanes and Pavel Grigorenko - Qex - Symbolic SQL Query Exploration

Peli de Halleux — Tue, 02 Jun 2009 23:59:00 GMT

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 work. Qex translates SQL queries to logic formulas and give to our in-house constraint solver, Z3. When Z3 finds a solution, Qex translates that solution back to SQL code that can be executed in the database. This is similar to how Pex works.

Find more about Qex at http://research.microsoft.com/qex or read the technical report.

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

This Week on C9: New Downloads, Design for Devs, TFS 2010, and underground Script Clubs

Dan Fernandez — Sat, 25 Apr 2009 00:18:00 GMT

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
- SilverArcade - free community games built on Silverlight, via Andy Beaulieu
- Zune Lyrics - WPF app that pulls the current song being played and displays the lyrics via Lyricwiki.org, via Blake Handler
- Robby Ingebretsen's - Design for Developers 3-Part Workshop now available online, via Jaime Rodriguez
- Yochay Kiriaty - TechEd - Bring your own apps Windows 7 compatibility lab
- Emil Protalinski - Windows Live to get social with Facebook, Digg, 18 others
- PowerShell Script Club - Like Fight Club, but with scripts
- Brian Harry TFS 2010 Key Concepts
- Matt Mitrik - Configure Diff to Show Whitespace

- Brian's pick of the week: Notion Tools for Team System, Timesheet, Work Organizer, Work Planner, Work Item Controls
- Dan's pick of the week: Mind control your Tweets, via Valleywag

Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex

Peli de Halleux — Thu, 23 Apr 2009 18:59:00 GMT

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 counter-examples for. This was a fun session with Manuel and really shows the synergy of the two tools/approaches.

Both tools can be downloaded from Devlabs or our academic project pages.

Code Contracts: http://research.microsoft.com/contracts
Pex: http://research.microsoft.com/pex

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

SC08: Windows HPC: PGI Fortran

Wenming Ye — Mon, 16 Mar 2009 17:08:00 GMT

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

Getting started with Pex in Visual Studio 2008

Peli de Halleux — Wed, 14 Jan 2009 19:38:00 GMT

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.

Intervju från Öredev: Nikolai Tillmann om PEX och automatisk testgenerering

Swedish MSDN Team — Fri, 28 Nov 2008 10:33:00 GMT

Robert Folkesson samtalar med Nikolai Tillmann, projektledare för PEX på Microsoft Research. PEX är ett nytt verktyg som möjliggör automatgenerering av ad-hoc tester och enhetstester utifrån befintlig .NET-kod. Nikolai berättar i den här intervjun vad PEX är och visar även i en kort demo hur verktyget kan användas.

Pex - Automated Exploratory Testing for .NET

Brian Keller — Thu, 03 Jul 2008 17:56:00 GMT

Pex is a tool being developed by Microsoft Research which has the potential to dramatically improve the quality of software testing while requiring minimal, if any, effort on the part of the developer. Pex can automatically generate a set of inputs for a paramaterized unit test which can effectively excercise most, if not all, possible code paths.

I visited Nikolai Tillmann and Peli de Halleux on the Pex team for a closer look at this cool technology.