nicok

Spec Explorer Class Session 2 Part 2

Download this episode

Download Video

Description

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 2/4 - Part 2/4

Spec Explorer 2010 is a tool that extends Visual Studio for modeling software behavior, analyzing that behavior by graphical visualization, model checking, and generating standalone test code from models. It can be downloaded free of charge.

This series of 16 videos is the full recording of the Effective Model-Based Testing class that Wolfgang and Nico gave on the Microsoft campus.

Caveat: The quality of the screen captures makes them hard to read. These videos will be replaced with new ones recorded with a better quality in the future. Please, forgive any inconvenience this might cause you.

Embed

Format

Available formats for this video:

Actual format may change based on video formats available and browser capability.

    The Discussion

    Comments closed

    Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation, please create a new thread in our Forums, or Contact Us and let us know.