nicok - Channel 9

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.