Model Based Testing of Interoperable Protocols

I’ve joined a new team within Microsoft called Protocol Tools and Test Team (or PT3 for short).

This group is a derivative of the netmon product group and is helping with tools and testing for protocols.

In particular, interoperable protocols as required by the Technical Committee [US anti-trust case settlement] and  European Commission anti-trust case.

The protocols are documented viaTechnical Documents”.


I joined the team because of my belief that Model Based Testing (MBT) is a great answer for many problems, especially protocol testing.

Most Protocols are naturally described by state machines and frequently are a very natural fit for MBT.

Building on Microsoft Research’s work with ASML (and ASML/t) and Spec#/Spec Explorer, a new even easier to use version of Spec Explorer is being created (in a product group, not MSR!).  Prior developers of Microsoft MBT tools Wolfgang Grieskamp and Darren Fisher are also part of the team.  I’ve talked about ASML outside of Microsoft to various groups, e.g.

"Advanced Modeling, Model Based Test Generation and Abstract State Machine Language"  
Download Powerpoint presentation (1.01 MB)

 ASML was used in the Indigo team, e.g.

Another good intro to MBT via SpecExplorer is


About testmuse

Software Test Architect in distributed computing.
This entry was posted in software testing. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s