Channel 9 - Entries tagged with Spec Explorer

Spec Explorer Class Session 4 Part 4

Nico Kicillof — Mon, 20 Sep 2010 22:57:03 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/4 - Part 4/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.

Spec Explorer Class Session 4 Part 3

Nico Kicillof — Wed, 31 Mar 2010 18:24:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/4 - Part 3/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.

Spec Explorer Class Session 4 Part 2

Nico Kicillof — Wed, 31 Mar 2010 18:24:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/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.

Spec Explorer Class Session 4 Part 1

Nico Kicillof — Wed, 31 Mar 2010 18:24:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 4/4 - Part 1/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.

Spec Explorer Class Session 3 Part 4

Nico Kicillof — Wed, 31 Mar 2010 18:21:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 3/4 - Part 4/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.

Spec Explorer Class Session 3 Part 3

Nico Kicillof — Wed, 31 Mar 2010 18:21:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 3/4 - Part 3/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.

Spec Explorer Class Session 3 Part 2

Nico Kicillof — Wed, 31 Mar 2010 18:20:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 3/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.

Spec Explorer Class Session 3 Part 1

Nico Kicillof — Wed, 31 Mar 2010 18:19:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 3/4 - Part 1/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.

Spec Explorer Class Session 2 Part 3

Nico Kicillof — Wed, 31 Mar 2010 18:18:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 2/4 - Part 3/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.

Spec Explorer Class Session 2 Part 2

Nico Kicillof — Wed, 31 Mar 2010 18:17:00 GMT

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.

Spec Explorer Class Session 2 Part 4

Nico Kicillof — Wed, 31 Mar 2010 18:17:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 2/4 - Part 4/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.

Spec Explorer Class Session 2 Part 1

Nico Kicillof — Wed, 31 Mar 2010 18:10:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 2/4 - Part 1/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.

Spec Explorer Class Session 1 Part 4

Nico Kicillof — Wed, 31 Mar 2010 18:07:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 1/4 - Part 4/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.

Spec Explorer Class Session 1 Part 3

Nico Kicillof — Wed, 31 Mar 2010 18:07:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 1/4 - Part 3/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.

Spec Explorer Class Session 1 Part 2

Nico Kicillof — Wed, 31 Mar 2010 18:07:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 1/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.

Spec Explorer Class Session 1 Part 1

Nico Kicillof — Wed, 31 Mar 2010 18:06:00 GMT

Effective Model-Based Testing with Spec Explorer class
Wolfgang Grieskamp and Nico Kicillof
Session 1/4 - Part 1/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.

Spec Explorer Basics 2: Understanding Cord Scripts

Nico Kicillof — Wed, 03 Mar 2010 21:38:00 GMT

Spec Explorer is a Model-Based Testing tool from Microsoft available free of charge from MSDN DevLabs. This screencast is the second of a series where Nico Kicillof explains the basic operation of the tool. It focus on the structure of scripts written in the Cord configuration language.

Spec Explorer Basics 1: Exploring a Model and Generating Tests

Nico Kicillof — Wed, 16 Dec 2009 17:32:00 GMT

Spec Explorer is a Model-Based Testing tool from Microsoft available free of charge from MSDN DevLabs. This screencast is the first of a series where Nico Kicillof explains the basic operation of the tool. It focus on how to explore a base model automatically created by Spec Explorer, generate test cases from it and execute these tests against a dummy implementation.

Wolfgang Grieskamp and Keith Stobie: Spec Explorer - An Overview

Charles — Tue, 27 Oct 2009 04:46:00 GMT

Spec Explorer is a visual tool for modeling software behavior and generating test suites from those models. It has just been released on DevLabs.

Here, architects Wolfgang Grieskamp and Keith Stobie join us to discuss the thinking behind Spec Explorer. You can see Spec Explorer in action here. What problems does the model-based approach to testing solve? How is Spec Explorer related to contractual programming (Spec#, .NET Contracts, etc)? What's the holy grail of this approach to advanced and efficient testing? Everything has a rich history and Spec Explorer is no exception. What is the history here? What's next?

Spec Explorer Blog: http://blogs.msdn.com/SpecExplorer