Channel 9 - Entries tagged with PEX Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with PEX http://channel9.msdn.com/Tags/pex Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight – Watch videos and hear about all the cool technologies coming and the people behind them. http://channel9.msdn.com/Tags/pex en Sun, 19 May 2013 03:29:49 GMT Sun, 19 May 2013 03:29:49 GMT Rev9 20 1 25 Digging into your code with the free Microsoft Code Digger and the power of Pex 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 that's an option too... Wink

Introducing: Code Digger, an extension for VS2012

Today, the Pex team at Microsoft Research (Nikolai Tillmann and Peli de Halleux) is happy to announce that Code Digger, an extension for Visual Studio 2012, has shipped to the Visual Studio Gallery. After shipping the Moles framework as Fakes in Visual Studio 2012, this is the next step of bringing our research projects to the latest and greatest development environment

...

What is Code Digger?

Code Digger generates interesting values that show different behaviors of your .NET code. The result is a table showing for which inputs your code produces which outputs.

What is the relation between Pex and Code Digger?

Under the hood, Code Digger uses the Pex engine and Microsoft Research’s Z3 constraint solver to systematically analyze all branches in the code, trying to generate a test suite that achieves high code coverage. Working together with Peter Provost from the Visual Studio product group, we tried to create a really simple user interface. We want to bring the idea of code exploration to every programmer’s fingertips. This is different from the Pex Power Tools where we gave you many options to configure, and you had to embrace the idea of (Parameterized) Unit Testing to get all benefits. Code Digger is not a full replacement of Pex, it is merely the first extension that the Pex team ships for Visual Studio 2012 – stay tuned for more.

Limitations

Code Digger only works on public .NET code that resides in Portable Class Libraries.

By restricting the code exploration to Portable Class Libraries, we avoid problems with code that has dependencies on a particular platform which the Pex engine does not understand.

...

Microsoft Code Digger

Overview

Code Digger analyzes possible execution paths through your .NET code. The result is a table where each row shows a unique behavior of your code. The table helps you understand the behavior of the code, and it may also uncover hidden bugs.

Through the new context menu item "Generate Inputs / Outputs Table" in the Visual Studio editor, you can invoke Code Digger to analyze your code. Code Digger computes and displays input-output pairs. Code Digger systematically hunts for bugs, exceptions, and assertion failures.

Code Digger only works on public .NET code that resides in Portable Class Libraries.

Under the hood, Code Digger uses the Pex engine and Microsoft Research’s Z3 constraint solver to systematically analyze all branches in the code, trying to generate a test suite that achieves high code coverage.

Code Digger is the first extension from the Pex team at Microsoft Research for Visual Studio 2012. Stay tuned for future extensions that bring more aspects of the rich experience of the Pex Visual Studio 2010 Power Tools to the latest version of Visual Studio. If you have feedback for us, or bug reports, feel free to write an email to the Pex team at Microsoft Research. If you have used Pex before, let us know if you are missing a particular feature.

To stay up-to-date, like Pex and Moles on Facebook.

...

Walkthrough

After you have installed the Code Digger extension for Visual Studio 2012, create a “Portable Class Library” project.

...

Write some public code, right-click on it, and select “Generate Inputs / Outputs Table”.

image

Wait a moment, and you will see a table, listing interesting parameter values which cover all the corner cases in your code.

image

...

]]> http://channel9.msdn.com/coding4fun/blog/Digging-into-your-code-with-the-free-Microsoft-Code-Digger-and-the-power-of-Pex 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 that's an option too... Introducing: Code Digger, an extension for VS2012Today, the Pex team at Microsoft Research (Nikolai Tillmann and Peli de Halleux) is happy to announce that Code Digger, an extension for Visual Studio 2012, has shipped to the Visual Studio Gallery. After shipping the Moles framework as Fakes in Visual Studio 2012, this is the next step of bringing our research projects to the latest and greatest development environment ... What is Code Digger?Code Digger generates interesting values that show different behaviors of your .NET code. The result is a table showing for which inputs your code produces which outputs. What is the relation between Pex and Code Digger?Under the hood, Code Digger uses the Pex engine and Microsoft Research’s Z3 constraint solver to systematically analyze all branches in the code, trying to generate a test suite that achieves high code coverage. Working together with Peter Provost from the Visual Studio product group, we tried to create a really simple user interface. We want to bring the idea of code exploration to every programmer’s fingertips. This is different from the Pex Power Tools where we gave you many options to configure, and you had to embrace the idea of (Parameterized) Unit Testing to get all benefits. Code Digger is not a full replacement of Pex, it is merely the first extension that the Pex team ships for Visual Studio 2012 – stay tuned for more. LimitationsCode Digger only works on public .NET code that resides in Portable Class Libraries. By restricting the code exploration to Portable Class Libraries, we avoid problems with code that has dependencies on a particular platform which the Pex engine does not under http://channel9.msdn.com/coding4fun/blog/Digging-into-your-code-with-the-free-Microsoft-Code-Digger-and-the-power-of-Pex Wed, 08 May 2013 13:00:00 GMT http://channel9.msdn.com/coding4fun/blog/Digging-into-your-code-with-the-free-Microsoft-Code-Digger-and-the-power-of-Pex Greg Duncan Greg Duncan 1 http://channel9.msdn.com/coding4fun/blog/Digging-into-your-code-with-the-free-Microsoft-Code-Digger-and-the-power-of-Pex/RSS Coding4Fun Microsoft Research PEX Unit Testing Nikolai Tillmann and Peli de Halleux: Inside Code Digger Code Digger is a lightweight version of Pex that allows you to explore public .NET methods in Portable Libraries directly from the Visual Studio 2012 code editor. It's a highly simplified and nifty way to leverage the power of Pex and Z3, one of the world's fastest constraint solvers.

So, how does Code Digger actually work? Why the PCL requirement? What happens when you click on the magic button, Alice?

Nikolai Tillmann and Peli de Halleux, software developers extraordinaire on MSR's RiSE team, join us again to dig into Code Digger in a casual setting (Nikolai's office, so native habitat). There is lots of geeking out at the whiteboard, of course. There is also a brief demo at the end. Tune in.

 

]]> http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger Code Digger is a lightweight version of Pex that allows you to explore public .NET methods in Portable Libraries directly from the Visual Studio 2012 code editor. It's a highly simplified and nifty way to leverage the power of Pex and Z3, one of the world's fastest constraint solvers. So, how does Code Digger actually work? Why the PCL requirement? What happens when you click on the magic button, Alice?Nikolai Tillmann and Peli de Halleux, software developers extraordinaire on MSR's RiSE team, join us again to dig into Code Digger in a casual setting (Nikolai's office, so native habitat). There is lots of geeking out at the whiteboard, of course. There is also a brief demo at the end. Tune in.   1964 http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger Tue, 07 May 2013 12:45:00 GMT http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger Charles Charles 16 http://channel9.msdn.com/Shows/Going+Deep/Nikolai-Tillman-and-Peli-de-Halleux-Inside-Code-Digger/RSS .NET Computer Science Microsoft Research Nikolai-Tillmann Peli de Halleux PEX Programming programming tools Visual Studio Z3 PEX4FUN WP7: A Mobile Game for Programmers PEX4FUN is a Windows Phone 7 game for programmers and even folks who are casually interested in learning how to program - on a mobile phone. This game includes "Intellisense" (automatic code completion as you type), support for C# and VB.NET, many thought-provoking puzzles that programmers will enjoy solving.

PEX4FUN necessarily involves writing code, but you will probably spend more time thinking about the solutions to problems than you do typing characters on your phone. Still, coding on mobile devices is a very interesting idea and it will be very interesting to see where Nikolai, Peli and team take this. As is the case with RiSE and MSR generally, limits will be pushed and discoveries made.

Here, we talk to some of the RiSE geniuses about PEX, http://pexforfun.com and of course this new WP7 game, PEX4FUN. You've met Peli de Halleux and Nikolai Tillmann before, but this time they are both in front of the camera at the same time. (Thanks, Peli, for all the great RiSE content you've made for 9 over the years!)

So, how does PEX4FUN work? How did they build it? How is it related to pex4fun the web site? Oh, and did they use Rx in the Intellisense engine? Smiley What's the backstory behind pex and pex4fun.com?

It’s always great to catch up with the RiSE team, one my favorite groups of engineers and scientists at Microsoft. Please download the free game from Windows Phone Marketplace, play with it, push it and provide feedback back to Peli and Nikolai.

RiSE.PEX4FUN.PlayNow();

C

 

]]> http://channel9.msdn.com/posts/PEX4FUN-WP7-A-Game-for-Programmers PEX4FUN is a Windows Phone 7 game for programmers and even folks who are casually interested in learning how to program - on a mobile phone. This game includes "Intellisense" (automatic code completion as you type), support for C# and VB.NET, many thought-provoking puzzles that programmers will enjoy solving. PEX4FUN necessarily involves writing code, but you will probably spend more time thinking about the solutions to problems than you do typing characters on your phone. Still, coding on mobile devices is a very interesting idea and it will be very interesting to see where Nikolai, Peli and team take this. As is the case with RiSE and MSR generally, limits will be pushed and discoveries made. Here, we talk to some of the RiSE geniuses about PEX, http://pexforfun.com and of course this new WP7 game, PEX4FUN. You've met Peli de Halleux and Nikolai Tillmann before, but this time they are both in front of the camera at the same time. (Thanks, Peli, for all the great RiSE content you've made for 9 over the years!) So, how does PEX4FUN work? How did they build it? How is it related to pex4fun the web site? Oh, and did they use Rx in the Intellisense engine? What's the backstory behind pex and pex4fun.com? It’s always great to catch up with the RiSE team, one my favorite groups of engineers and scientists at Microsoft. Please download the free game from Windows Phone Marketplace, play with it, push it and provide feedback back to Peli and Nikolai. RiSE.PEX4FUN.PlayNow(); C   1700 http://channel9.msdn.com/posts/PEX4FUN-WP7-A-Game-for-Programmers Wed, 16 Mar 2011 20:11:48 GMT http://channel9.msdn.com/posts/PEX4FUN-WP7-A-Game-for-Programmers Charles Charles 2 http://channel9.msdn.com/posts/PEX4FUN-WP7-A-Game-for-Programmers/rss Games Nikolai-Tillmann Peli de Halleux PEX RiSE Windows Phone 7 WP7 December 2010 Developer Dinner: How to Simplify Unit Testing with Pex and Moles 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.  Next we will examine Pex, a Visual Studio add-in that automatically generates unit tests for you.  Pex analyzes your code, looking at, for example, if statements, assertions and operations that throw exceptions, to create inputs that try to achieve 100% code coverage.

James Wren is Senior Consultant with Microsoft Services and has designed custom software for a variety of clients including the New York City Police Department, Department of Defense, and the Predator Unmanned Air Vehicle Program.  He is a strong advocate for building testable, modular software and has lectured within Microsoft and at the University of Maryland.

]]> http://channel9.msdn.com/posts/December-2010-Developer-Dinner-How-to-Simplify-Unit-Testing-with-Pex-and-Moles 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.  Next we will examine Pex, a Visual Studio add-in that automatically generates unit tests for you.  Pex analyzes your code, looking at, for example, if statements, assertions and operations that throw exceptions, to create inputs that try to achieve 100% code coverage. James Wren is Senior Consultant with Microsoft Services and has designed custom software for a variety of clients including the New York City Police Department, Department of Defense, and the Predator Unmanned Air Vehicle Program.  He is a strong advocate for building testable, modular software and has lectured within Microsoft and at the University of Maryland. 2733 http://channel9.msdn.com/posts/December-2010-Developer-Dinner-How-to-Simplify-Unit-Testing-with-Pex-and-Moles Wed, 16 Mar 2011 19:35:50 GMT http://channel9.msdn.com/posts/December-2010-Developer-Dinner-How-to-Simplify-Unit-Testing-with-Pex-and-Moles US Public Sector DPE Team US Public Sector DPE Team 4 http://channel9.msdn.com/posts/December-2010-Developer-Dinner-How-to-Simplify-Unit-Testing-with-Pex-and-Moles/rss .NET .NET Framework DPEUSPublicSectorTeam Microsoft Research moles PEX Visual Studio 2010 Developers: Rise to the Challenge at RiSE4fun.com If you've spent any time on C9 over the years, then you've probably met some of the people from the RiSE team in MSR and are familiar with at least some of the great technologies they've developed. RiSE, which stands for Research in Software Engineering, is a rock star research group with a mission to innovate and push the limits of software engineering in practice (so, it's not just a theory group, though RiSE scientists include some of the world's best practicing theoreticians and super talented developers). Of all the groups in MSR, and there are many incredible ones, RiSE is my favorite. Hats off to Wolfram and team for working so hard to make general purpose programming a more reasonable discipline on many levels.

At PDC10, you learned about some of the projects the RiSE group are working on and, if you attended the event, you got to meet many of the researchers behind the science. In any case, you should watch the C9 Live segment with Erik Meijer and Wolfram Schulte (the leader of the RiSE team) where we learn about several of the RiSE projects. Wolfram spent much of the time showing us the RiSE4Fun website, which invites developers to play around with various advanced software engineering technologies right from the comfortable confines of a modern web browser—no need to install anything, no plug-ins, no security prompts —> just learn, write code in the browser, and watch the magic happen. Make no mistake, RiSE4Fun is for developers. So, my engineering friends, RiSE up and have some fun learning about the future—now.

Check out the Intellisense! Smiley

 

Upcoming RiSE related content on C9 includes:

Keep on learning,
C

 

]]> http://channel9.msdn.com/Blogs/Charles/Rise-t If you've spent any time on C9 over the years, then you've probably met some of the people from the RiSE team in MSR and are familiar with at least some of the great technologies they've developed. RiSE, which stands for Research in Software Engineering, is a rock star research group with a mission to innovate and push the limits of software engineering in practice (so, it's not just a theory group, though RiSE scientists include some of the world's best practicing theoreticians and super talented developers). Of all the groups in MSR, and there are many incredible ones, RiSE is my favorite. Hats off to Wolfram and team for working so hard to make general purpose programming a more reasonable discipline on many levels.At PDC10, you learned about some of the projects the RiSE group are working on and, if you attended the event, you got to meet many of the researchers behind the science. In any case, you should watch the C9 Live segment with Erik Meijer and Wolfram Schulte (the leader of the RiSE team) where we learn about several of the RiSE projects. Wolfram spent much of the time showing us the RiSE4Fun website, which invites developers to play around with various advanced software engineering technologies right from the comfortable confines of a modern web browser—no need to install anything, no plug-ins, no security prompts —> just learn, write code in the browser, and watch the magic happen. Make no mistake, RiSE4Fun is for developers. So, my engineering friends, RiSE up and have some fun learning about the future—now. Check out the Intellisense!   Upcoming RiSE related content on C9 includes: E2E with Erik Meijer and the scientists behind Concurrent Revisions Going Deep with Bart De Smet covering LINQ to Z3 C9 Lecture on Algorithms and Computational Complexity by Yuri Gurevich (Part 2 - See Part 1 here) Keep on learning,C   http://channel9.msdn.com/Blogs/Charles/Rise-t Wed, 10 Nov 2010 19:00:32 GMT http://channel9.msdn.com/Blogs/Charles/Rise-t Charles Charles 4 http://channel9.msdn.com/Blogs/Charles/Rise-t/RSS Microsoft Research moles MS Research PEX Programming RiSE Software Engineering Research Z3 Microsoft PEX/MOLES & advanced Unit-Testing aspects 3/3 Unit Testing with Pex and Moles

TRAINER: Peli de Halleux – Microsoft Research

Pex 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 dependencies: Moles allows to replace any .NET method with a delegate, even when the method is static, non-virtual or in a sealed type. Pex and Moles work on any .NET applications. Pex and Moles supports .NET v2.0, v3.5, v4.0, VS2008 and VS2010. The learning objectives of this class are:

Understand and write unit tests.
Use Moles to isolate unit tests.
Write Pex parameterized unit tests

]]> http://channel9.msdn.com/Blogs/channel9spain/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33 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 dependencies: Moles allows to replace any .NET method with a delegate, even when the method is static, non-virtual or in a sealed type. Pex and Moles work on any .NET applications. Pex and Moles supports .NET v2.0, v3.5, v4.0, VS2008 and VS2010. The learning objectives of this class are:Understand and write unit tests.Use Moles to isolate unit tests.Write Pex parameterized unit tests 8794 http://channel9.msdn.com/Blogs/channel9spain/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33 Wed, 15 Sep 2010 17:49:00 GMT http://channel9.msdn.com/Blogs/channel9spain/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33 Channel9Spain Channel9Spain 0 http://channel9.msdn.com/Blogs/channel9spain/Microsoft-PEXMOLES--advanced-Unit-Testing-aspects-33/RSS moles Peli de Halleux PEX Research Spain Unit Testing Nikolai Tillmann and Aaron Shaver - Coding Duels at pexforfun.com Nikolai Tillmann walks us through pexforfun.com, a website where you can write small C#, VB, or F# programs and explore them directly from your browser by using Pex. Additionally, Pex also makes it possible to play coding duels, in which users compete to discover a secret puzzle implementation.

Tune in to watch as Nikolai discusses all of this and plays a duel with Aaron Shaver, our high school intern who has been writing puzzles all summer long.

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

]]> http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom In this video, Nikolai Tillmann walks us through pexforfun.com, a website where you can write small C#, VB, or F# programs and explore them directly from your browser by using Pex. Additionally, Pex also makes it possible to play coding duels, in which users compete to discover a secret puzzle implementation. Tune in to watch as Nikolai discusses all of this and plays a duel with Aaron Shaver, our high school intern who has been writing puzzles all summer long. The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 379 http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom Wed, 04 Aug 2010 17:59:00 GMT http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom Peli de Halleux Peli de Halleux 12 http://channel9.msdn.com/Blogs/Peli/Coding-Duels-at-pexforfuncom/RSS .NET .NET Framework code contracts PEX RiSE Code Contracts and Pex: Power Charge Your Assertions and Unit Tests By Nikolai Tillmann and  Mike Barnett

Learn 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 new features for Code Contracts including automatic documentation generation, call-site checking for components and reference assemblies for the .NET Framework and for Pex including a light-weight mocking framework, improved support for large code bases, and more thorough test input generation.

Links:
PEX // Code Contracts // Mike Barnett // Nikolai Tillmann // MDCC // DPE DK

]]> http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests 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 how they work together so that your code has fewer defects. Learn about new features for Code Contracts including automatic documentation generation, call-site checking for components and reference assemblies for the .NET Framework and for Pex including a light-weight mocking framework, improved support for large code bases, and more thorough test input generation.Links:PEX // Code Contracts // Mike Barnett // Nikolai Tillmann // MDCC // DPE DK 6108 http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests Fri, 28 May 2010 12:01:00 GMT http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests martinesmann martinesmann 2 http://channel9.msdn.com/Blogs/martinesmann/Code-Contracts-and-Pex-Power-Charge-Your-Assertions-and-Unit-Tests/RSS code contracts DPEDK MDCC Microsoft Research Mike Barnett MS Research Nikolai-Tillmann PEX RiSE Margus Veanes - Rex - Symbolic Regular Expression Exploration Margus Veanes, a Researcher from the RiSE group at Microsoft Research, gives an overview of Rex, a tool that generates matching string from .NET regular expressions. Rex turns regular expressions into symbolic automatons, then gives them to a constraint solver to find matching strings.

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

]]> http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration Margus Veanes, a Researcher from the RiSE group at Microsoft Research, gives an overview of Rex, a tool that generates matching string from .NET regular expressions. Rex turns regular expressions into symbolic automatons, then gives them to a constraint solver to find matching strings. Try Rex in your web browser at http://rise4fun.com/rex !Download Rex and play with it! The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 729 http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration Thu, 15 Apr 2010 16:12:00 GMT http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration Peli de Halleux Peli de Halleux 6 http://channel9.msdn.com/Blogs/Peli/Margus-Veanes-Rex-Symbolic-Regular-Expression-Exploration/RSS .NET .NET Framework PEX Regular Expressions rex RiSE Pex - Unit Testing of SharePoint Services that Rocks! 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 this session, we show how to use Pex, an automated test generation tool for .NET, to test SharePoint Services in isolation. From a parameterized unit test, Pex generates a suite of closed unit tests with high code coverage. Pex also contains a stubbing framework, Moles, that allows to detour any .NET method to user-defined delegates, e.g., replace any call to the SharePoint Object Model by a user-defined delegate.

Peli de Halleux from Microsoft Research presented this presentation on SharePoint Connections 2010 Amsterdam.

Peli is a Senior Research Software Design Engineer at Microsoft Research in Redmond, USA, where he has been since October 2006 working the Pex project. From 2004 to 2006, he worked in the Common Language Runtime (CLR) as a Software Design Engineer in Test (SDE/T) in charge of the Just In Time compiler. Before joining Microsoft, he earned a PhD in Applied Mathematics from the Catholic University of Louvain. Earlier, he developed the unit testing framework MbUnit.

]]> http://channel9.msdn.com/Blogs/matthijs/Pex-Unit-Testing-of-SharePoint-Services-that-Rocks 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 this session, we show how to use Pex, an automated test generation tool for .NET, to test SharePoint Services in isolation. From a parameterized unit test, Pex generates a suite of closed unit tests with high code coverage. Pex also contains a stubbing framework, Moles, that allows to detour any .NET method to user-defined delegates, e.g., replace any call to the SharePoint Object Model by a user-defined delegate.Peli de Halleux from Microsoft Research presented this presentation on SharePoint Connections 2010 Amsterdam. Peli is a Senior Research Software Design Engineer at Microsoft Research in Redmond, USA, where he has been since October 2006 working the Pex project. From 2004 to 2006, he worked in the Common Language Runtime (CLR) as a Software Design Engineer in Test (SDE/T) in charge of the Just In Time compiler. Before joining Microsoft, he earned a PhD in Applied Mathematics from the Catholic University of Louvain. Earlier, he developed the unit testing framework MbUnit. 4500 http://channel9.msdn.com/Blogs/matthijs/Pex-Unit-Testing-of-SharePoint-Services-that-Rocks Sun, 31 Jan 2010 10:33:00 GMT http://channel9.msdn.com/Blogs/matthijs/Pex-Unit-Testing-of-SharePoint-Services-that-Rocks Matthijs Hoekstra Matthijs Hoekstra 4 http://channel9.msdn.com/Blogs/matthijs/Pex-Unit-Testing-of-SharePoint-Services-that-Rocks/RSS moles Netherlands Peli de Halleux PEX RiSE SharePoint SharePoint Connections 2010 Amsterdam SPC10 Nikolai Tillmann: Moles - Replace any .NET method with a delegate 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 unit testing, one can use Moles to isolate from environment dependencies (such as time, file system, database, etc...) even when those dependencies are hard-coded through static method or sealed types. In this demo, Nikolai goes through the famous Y2K bug and how to test it...

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

]]> http://channel9.msdn.com/Blogs/Peli/Moles-Replace-any-NET-method-with-a-delegate 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 unit testing, one can use Moles to isolate from environment dependencies (such as time, file system, database, etc...) even when those dependencies are hard-coded through static method or sealed types. In this demo, Nikolai goes through the famous Y2K bug and how to test it... The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 348 http://channel9.msdn.com/Blogs/Peli/Moles-Replace-any-NET-method-with-a-delegate Fri, 29 Jan 2010 21:00:00 GMT http://channel9.msdn.com/Blogs/Peli/Moles-Replace-any-NET-method-with-a-delegate Peli de Halleux Peli de Halleux 29 http://channel9.msdn.com/Blogs/Peli/Moles-Replace-any-NET-method-with-a-delegate/RSS moles PEX RiSE SharePoint Testing Jeffrey Van Gogh: Testing Rx with Pex 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 explains how they use Pex in their build process to regenerate the entire unit test suite on each build!

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

]]> http://channel9.msdn.com/Blogs/Peli/Testing-Rx-with-Pex 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 explains how they use Pex in their build process to regenerate the entire unit test suite on each build! The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 764 http://channel9.msdn.com/Blogs/Peli/Testing-Rx-with-Pex Tue, 15 Dec 2009 15:16:00 GMT http://channel9.msdn.com/Blogs/Peli/Testing-Rx-with-Pex Peli de Halleux Peli de Halleux 10 http://channel9.msdn.com/Blogs/Peli/Testing-Rx-with-Pex/RSS Microsoft Research PEX Reactive Extensions Reactive Framework RiSE Rx Testing MSDN Flash Podcast 012 – Pex automated testing at TechEd Europe 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 executed. Pex attempts to exercise every reachable statement in your code.

It works with Visual Studio 2008 and Visual Studio 2010 Beta 2 and is restricted to .NET programs. It is available on devlabs.

One of the features we discuss is Moles. Moles allows you to
isolate tests from the environment - to replace any .NET method with your own delegate. This makes it easy to test code which has hard dependencies on databases, web services etc.

I also did a short blog post outlining the stubs and moles capabilitie of Pex.

Pex is an incubation project - hence feedback from developers is hugely important.

Enjoy. ]]> http://channel9.msdn.com/Blogs/Eric+Nelson/MSDN-Flash-Podcast-012--Pex-automated-testing-at-TechEd-Europe 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 executed. Pex attempts to exercise every reachable statement in your code. It works with Visual Studio 2008 and Visual Studio 2010 Beta 2 and is restricted to .NET programs. It is available on devlabs.One of the features we discuss is Moles. Moles allows you toisolate tests from the environment - to replace any .NET method with your own delegate. This makes it easy to test code which has hard dependencies on databases, web services etc.I also did a short blog post outlining the stubs and moles capabilitie of Pex.Pex is an incubation project - hence feedback from developers is hugely important.Enjoy. http://channel9.msdn.com/Blogs/Eric+Nelson/MSDN-Flash-Podcast-012--Pex-automated-testing-at-TechEd-Europe Tue, 01 Dec 2009 13:35:00 GMT http://channel9.msdn.com/Blogs/Eric+Nelson/MSDN-Flash-Podcast-012--Pex-automated-testing-at-TechEd-Europe Eric Nelson Eric Nelson 0 http://channel9.msdn.com/Blogs/Eric+Nelson/MSDN-Flash-Podcast-012--Pex-automated-testing-at-TechEd-Europe/RSS PEX RiSE UKDevTeam UKMSDNPodcast Introducción a Stubs 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/

]]> http://channel9.msdn.com/Blogs/Daniel+Garzon/Introduccion-a-Stubs 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/ 2728 http://channel9.msdn.com/Blogs/Daniel+Garzon/Introduccion-a-Stubs Mon, 08 Jun 2009 13:44:00 GMT http://channel9.msdn.com/Blogs/Daniel+Garzon/Introduccion-a-Stubs Daniel Garzon Daniel Garzon 0 http://channel9.msdn.com/Blogs/Daniel+Garzon/Introduccion-a-Stubs/RSS es-es PEX Spain Spanish Stubs 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/

]]> http://channel9.msdn.com/Blogs/Daniel+Garzon/Introduccion-a-PEX     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/ 3406 http://channel9.msdn.com/Blogs/Daniel+Garzon/Introduccion-a-PEX Thu, 04 Jun 2009 14:17:00 GMT http://channel9.msdn.com/Blogs/Daniel+Garzon/Introduccion-a-PEX Daniel Garzon Daniel Garzon 3 http://channel9.msdn.com/Blogs/Daniel+Garzon/Introduccion-a-PEX/RSS es-es PEX Spain Spanish Margus Veanes and Pavel Grigorenko - Qex - Symbolic SQL Query Exploration 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. ]]> http://channel9.msdn.com/Blogs/Peli/Qex-Symbolic-Query-Exploration 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. 849 http://channel9.msdn.com/Blogs/Peli/Qex-Symbolic-Query-Exploration Tue, 02 Jun 2009 23:59:00 GMT http://channel9.msdn.com/Blogs/Peli/Qex-Symbolic-Query-Exploration Peli de Halleux Peli de Halleux 0 http://channel9.msdn.com/Blogs/Peli/Qex-Symbolic-Query-Exploration/RSS Microsoft Research PEX qex RiSE Software Engineering Research SQL SQL Server This Week on C9: New Downloads, Design for Devs, TFS 2010, and underground Script Clubs
- 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 ]]> http://channel9.msdn.com/Shows/This+Week+On+Channel+9/This-Week-on-C9-New-Downloads-Design-for-Devs-TFS-2010-and-underground-Script-Clubs 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 1056 http://channel9.msdn.com/Shows/This+Week+On+Channel+9/This-Week-on-C9-New-Downloads-Design-for-Devs-TFS-2010-and-underground-Script-Clubs Sat, 25 Apr 2009 00:18:00 GMT http://channel9.msdn.com/Shows/This+Week+On+Channel+9/This-Week-on-C9-New-Downloads-Design-for-Devs-TFS-2010-and-underground-Script-Clubs Dan Fernandez Dan Fernandez 10 http://channel9.msdn.com/Shows/This+Week+On+Channel+9/This-Week-on-C9-New-Downloads-Design-for-Devs-TFS-2010-and-underground-Script-Clubs/RSS Deep Zoom PEX Silverlight Team Foundation Server TFS Manuel Fahndrich and Peli de Halleux - The Synergy of Code Contracts and Pex 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.

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

]]> http://channel9.msdn.com/Blogs/Peli/The-Synergy-of-Code-Contracts-and-Pex 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. Try it live at http://www.pexforfun.com Code Contracts: http://research.microsoft.com/contracts Pex: http://research.microsoft.com/pex See this video in French! The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 690 http://channel9.msdn.com/Blogs/Peli/The-Synergy-of-Code-Contracts-and-Pex Thu, 23 Apr 2009 18:59:00 GMT http://channel9.msdn.com/Blogs/Peli/The-Synergy-of-Code-Contracts-and-Pex Peli de Halleux Peli de Halleux 9 http://channel9.msdn.com/Blogs/Peli/The-Synergy-of-Code-Contracts-and-Pex/RSS code contracts Microsoft Research PEX Research RiSE Test Driven Development SC08: Windows HPC: PGI Fortran ]]> http://channel9.msdn.com/Shows/The+HPC+Show/SC08-Windows-HPC-PGI-Fortran SC08: PGI rep discusses and demos PVF, integrated into Visual Studio, parallelization, MPI, OpenMP, etc. 641 http://channel9.msdn.com/Shows/The+HPC+Show/SC08-Windows-HPC-PGI-Fortran Mon, 16 Mar 2009 17:08:00 GMT http://channel9.msdn.com/Shows/The+HPC+Show/SC08-Windows-HPC-PGI-Fortran Wenming Ye Wenming Ye 0 http://channel9.msdn.com/Shows/The+HPC+Show/SC08-Windows-HPC-PGI-Fortran/RSS Fortran MPI OpenMP Parallel Computing parallelization PEX PGI PVF Windows HPC Getting started with Pex in Visual Studio 2008 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. ]]> http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Pex-in-Visual-Studio-2008 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, Download Pex  Download the code example Ask your questions in the forum  The Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA. 1215 http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Pex-in-Visual-Studio-2008 Wed, 14 Jan 2009 19:38:00 GMT http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Pex-in-Visual-Studio-2008 Peli de Halleux Peli de Halleux 12 http://channel9.msdn.com/Blogs/Peli/Getting-started-with-Pex-in-Visual-Studio-2008/RSS PEX RiSE Software Engineering Research Team System Testing Visual Studio