DotNed (.NET & VSTS UG NL) is very pleased to welkom Peli de Hallux during his talk for DotNed. Peli will be next month in Europe and will speak to many User Groups.
The talk of Peli for DotNed(.NET & VSTS UG NL) VSTS session track will take place on March 9th, 2009 from 18:00 until 21:30 and will be hosted by VXCompany, thanks in advance. During his talk, Peli will discus the following content:
This talk presents 3 innovative tools from Microsoft Research in collaboration with Visual Studio DevLabs related to software reliability and testing: Code Contracts, Pex and CHESS (all tools are available for evaluation through the DevLabs incubation site from Visual Studio).
• Code Contracts provide a language-agnostic way to express coding assumptions, under the form of pre-conditions, post-conditions, and object invariants, for .NET programs. The contracts are used to improve testing via runtime checking, enable static contract verification, and documentation generation. Pex is an automated white box testing tool for .NET.
• Pex systematically tries to cover every reachable branch in a program by monitoring execution traces, and using a constraint solver to produce new test cases with different behavior. Pex can be guided by hand-written parameterized unit tests, which are API usage scenarios with assertions. The result of the analysis is a test suite which can be persisted as unit tests in source code.
• CHESS is a tool for finding and reproducing Heisenbugs in .NET and Win32 concurrent programs. CHESS repeatedly runs a concurrent test ensuring that every run takes a different interleaving. If an interleaving results in an error, CHESS can reproduce the interleaving for improved debugging.
The talk will give you a glimpse at those new technologies, along with coding demos.
Research in Software Engineering: http://research.microsoft.com/rise
Code Contracts: http://research.microsoft.com/contracts
Bio of Peli:
Jonathan "Peli" de Halleux is actively working on Pex, an Automated Whitebox Testing tool for .NET at Microsot Research. Peli also collaborates with his colleagues from the CHESS and Code Contracts projects. On the side Peli also wrote MbUnit, an extensible unit test framework, many Reflector addins and other fun geek projects. Peli joined the Research in Software Engineering group in October 2006 where he has been working on Pex since then. Peli worked in the CLR as a tester in charge of the Just In Time compiler (2004-2006) and earned a PhD in Applied Mathematics from the Catholic University of Louvain (2000-2004).
Home page at MSR: http://research.microsoft.com/~jhalleux
Please visit our DotNed Event site for subscription to this exclusive event. We hope to meet you there.
DotNed (.NET & VSTS UG NL) VSTS track owner.