I will be presenting at TechEd EMEA 2008 Developers this year in Barcelona, Spain.
Grigori Melnik will interview me about Spec Explorer 2007 in the Fish Bowl for a recorded TechTalk on Tuesday, 11 November 16:00 – 16:30. We will be discussing What’s new about Spec Explorer for Visual Studio vs older versions (SE 2004)? How have people been successful using it?
Thursday, 13 November 9-10:15 in DVP302: Automating Test Creation I’ll be introducing Spec Explorer 2007. Here is the abstract:
Most unit tests, functional tests, etc. are hand crafted by people anticipating expected results. With model-based testing (MBT), developers use their skills to create a model that generates both the sequences of calls and their expected results. Models also allow analysis for expected properties and behaviors before the production code is written. Just as test first development can help expose testability issues, model-based approaches can show design issues up front. This talk will show the Spec Explorer plug in for Visual Studio that has been used to verify over 50 of the Windows Protocols and the experiences of product teams using MBT. Come to this session to learn how to find unexpected consequences up front.
I follow that up on Thursday afternoon, 13Nov 15:15-16:30 with an interactive session DVP01-IS Model Based Testing with Spec Explorer
Building on the Automating Test Creation break out session, this session will go into more depth about the Visual Studio Team System plug-in, Spec Explorer. Spec Explorer can be used for both model exploration (e.g. checking Liveness or Safety properties with anit-scenarios) and for automatic test generation. Details about parameter generation, state comparison and debugging, and best patterns and practices for adapter design will be covered. Pitfalls new modelers frequently stumble over will be demonstrated with plenty of time for Q&A. In this session, discover through theory, demonstration and best practices discussion, how to enrich the design of any model.
The Visual Studio plug in, Spec Explorer 2007, is using an Early Adopter Program (EAP) to get feedback. For more information about the EAP you can mail to speccon at microsoft.com.