Model-Based Testing made easy with Spec Explorer 2010 for Visual Studio

DEV316
Speakers: Wolfgang Grieskamp
Avg Rating: 0
518 Views
reddit

Tweet

format
< > embed
+ queue

Sign In first to access your queue.
Close

Sorry, video was not added to the queue, an error occurred. Please Contact Us and let us know.
Close

Embed code for this video

Copy the code above to embed our video on your website/blog.

Video format

Option selected may change based on video formats available and browser capability.

Auto
Use our suggested format for this video.
Smooth Streaming
Adaptive bitrate streaming - little buffering but lower video quality at times of low bandwidth. Silverlight 5 required
Progressive
Traditional buffered video format. Silverlight 5 required
HTML5
For browsers that support H.264 MP4 or WebM video playback such as:
IE9+, Firefox 4+, Chrome 5+, or Safari 4+.
Flash
For browsers that have the Adobe Flash Player plugin installed.

Download

Right click “Save as…”

Slides (view online)

Mid Quality WMV (Lo-band, Mobile)

Model-based testing enables the automatic and systematic generation of tests from models of the tested system. While considered by many experts as a breakthrough technology, it is also famed to be hard to apply, and not scalable for real-world applications. Microsoft set out to overcome these obstacles with Spec Explorer 2010, an incubation technology which is available from the DevLabs portal of Visual Studio. Microsoft itself chose Spec Explorer as a cornerstone of the effort to validate open protocol documentation, consisting of more than 200 test suites validating over 40,000 requirements for networking protocols. This breakout session introduces into the basic concepts of model-based testing, demonstrates how Spec Explorer makes them easy to apply, and illustrates the application to projects inside of Microsoft.