Spec Explorer 2010

I am very excited to see the latest version of Spec Explorer (which is available even for Visual Studio 2010 Beta 2) now available publicly for everyone in the world to leverage. It is available via the MSDN DevLabs page and the Spec Explorer team (the fact that there is a team dedicated to pushing…

0

Future of Testing from James Whittaker

Found this exceptionally inspiring, interesting and informative talk (I saw an internal version of the same talk) by James Whittaker (please subscribe to his blog if you remotely care about software quality), who is a pioneer in the software testing world. He also has a series of blog posts on this topic in which he…

1

Elements of MBT – Part 3 – Actions and Action Parameters

In the last 2 posts we have looked at what we mean by a model of a system and defined what States and State Variables are. In this post we’ll look into Actions and Action Parameters. We can define an Action as something that modifies or exercises the system. Thus “TurnIgnitionOn” (in the car model…

0

Elements of MBT – Part 2 – States and State Variables

This is a continuation of the Elements of MBT series of posts which I started last time with Part 1 and covered what is meant by a model of a software system. In this post I shall be covering additional concepts which you will need to know to gain a better understanding of Model Based…

5

Elements of MBT – Part 1 – What is a model?

In this series of “Elements of MBT” posts, I will be covering some basic concepts used when trying to build models of software systems for use in Model Based Testing. The aim is to give an explanation of the various elements involved in defining a model of a software system and hopefully this should get…

2

How to test a delete operation?

Question to the community: How can you best test a delete operation? For e.g. When you test the following API – DeleteObjectFoo(“ABCD”) – what should we test to verify that this function actual deleted “ABCD”? This API is just a placeholder for an API that deletes something. The question is that, in general, how do we verify…

8

Process Monitor for Debugging

The Process Monitor looks like a great tool to help in debugging issues and includes a bunch of features from a diverse set of sysinternal utilities such as RegMon, FileMon etc. I think this is the first tool offering to come out since the acquisition of Sysinternals.com and more importantly perhaps, Mark Russinovich (who has bunch…

1

Model Based Testing – The Yellow Brick Road

The future was here – now it’s the past. I am, however, wiser about the ways-of-the-model-based world. Still taking baby steps really, but starting to stand up on my feet. The real-world turned out to be a whole different ball-game from what I had envisioned (and read and expected) but it has been a fun,…

1

Buggy Test Code

All the technical jargon of the world put together cannot compensate for raw stupidity. I recently had this epiphany when I ran into one of those “DUH!” bugs in my test code. Made me feel like a fool and so I thought I would redeem some of my hurt ego by confessing and discussing general…

2

Spot the Bug Contest #1 Solution: The mystery of the Decimal.Parse FormatException

Well – as promised here is the solution for the Spot the Bug (contest?) posting which was correctly answered first by Nat (Congratulations!). The Bug:The following line of code will fail intermittently when executed and most of the time rerunning will work. Sadly, these are the sort of bugs most easily overlooked.                return Decimal.Parse(rand.NextDouble().ToString()); where…

0