Spec Explorer 2010 Release 3.5.3146.0 now available!

Spec Explorer 2012 release 3.5.3146.0 is now available! This release adds support to Visual Studio 2012 Professional to previous 3.5 release.   Where can you get it?  The Spec Explorer download can be found on the Spec Explorer home page on Visual Studio Gallery. See the on-line Release Notes for the latest, more detailed description of installation requirements, major features,…


How to initialize the initial state from an external source

We received several emails to ask how to initialize the initial state from an external source recently, this post introduces a good pattern to do it. We can implement our own data loader to load data from external source, and use this loader to initialize the state. Note that since data loading method might involve…

2

Spec Explorer 2010 Release 3.5 now available!

Spec Explorer 2010, Release 3.5 Now Available! Spec Explorer 2010 Release 3.5 Hello!  We are delighted to announce the newest version of Spec Explorer 2010, Release 3.5. Spec Explorer 2010 Release 3.5 contains new features, improved documentation, plus over 60 bug fixes. It runs on the Visual Studio 2010 Professional level product and above. What’s…

0

Spec Explorer 2010 Release 3.4 now available!

Spec Explorer 2010, Release 3.4 Now Available! Spec Explorer 2010 Release 3.4 Hello!  We are delighted to announce the newest version of Spec Explorer 2010, Release 3.4. Spec Explorer 2010 Release 3.4 contains new features, improved documentation, plus over 50 bug fixes. It runs on the Visual Studio 2010 Professional level product and above. What’s…

0

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