Spec Explorer 2010 Release 3.3 now available as a Visual Studio Power Tool!

Spec Explorer 2010 Release 3.3 Hello again!  We are proudly announcing the newest version of Spec Explorer 2010, Release 3.3. The next step has been taken from being resident on DevLabs to being a Power Tool on Visual Studio gallery where you can find the new home page for Spec Explorer. Spec Explorer 2010 Release…

0

The Controlled Calculator: An example of combining models while showing other features of Spec Explorer

The Calculator The core calculator model is a simple four function calculator. But infix calculators aren’t entirely simple, because calculators demonstrate rich variations in outputs depending upon the exact order of input sequences of numbers, operations, and pressing the Equals keys. This implementation (and model) emulates the Windows Calculator. It is similar to but is…

2

Actions, Step and Rules

These are key concepts in Spec Explorer. Unfortunately sometimes they are used almost interchangeably. For now, let’s clear up what they are and how they differ. To be fair, our documentation does a good job of using the correct terms but even so it pays to keep in mind their particular meaning. Actions In the…

3

Spec Explorer 2010, Release 3.2 Now Available!

Spec Explorer 2010 Release 3.2 Hello!  We are delighted to announce the newest version of Spec Explorer 2010, Release 3.2. Spec Explorer 2010 Release 3.2 contains new and enhanced features, improved documentation, plus over 110 bug fixes. It runs on the Visual Studio 2010 Professional level product and above. What’s New in Spec Explorer? This…

0

Effective Model-Based Testing with Spec Explorer Full Class

The full video series for the modeling class is available on Channel 9! It’s the recording of a two-half-day course Wolfgang and I gave on the Microsoft Redmond campus. The training is long (about 8 hours), but we have split it for your viewing convenience into 4 lectures (sessions). Each session has in turn 4…


Announcing Spec Explorer 2010, Release 3.1!

    Spec Explorer 2010 Release 3.1 Note: Now obsolete. Please use Release 3.2. Greetings!  Today we are proud to announce of the newest version of Spec Explorer 2010, Release 3.1.   Running only on Visual Studio 2010 Release Candidate (RC), Spec Explorer 2010 Release 3.1 contains major enhancements, new features, and over 220 bug…

0

Spec Explorer Webcast in German Online

In case you are capable of the German language, Christian Binder has posted an interview with me taken during TechED 2009 in Berlin, and we augmented it with an extended Webcast of using Spec Explorer, including its application by Microsoft for the Protocol Documentation Program. Check it out here!

0

How to customize test initialization and logging

Junfeng Dai has written an article about customizing Spec Explorer for using NUnit as the test execution engine instead of VSTT a few month ago. The same general approach can be used for simpler scenarios, for example to add custom test initialization code or test logging, which I would like to explain here. When Spec…

0