Test 的个人资料Musing about Software Te...照片日志列表更多 工具 帮助
2月28日

ICST 2008 - Model-based quality assurance of windows protocol documentation

At  ICST 2008 : First International Conference On Software Testing, Verification And Validation
Lillehammer, Norway April 9-11, 2008

My colleague, Wolfgang will be presenting our paper:

259: Model-based quality assurance of windows protocol documentation
Wolfgang Grieskamp, Microsoft Research; Dave MacDonald, Nico Kicillof, Alok Nandan, Keith Stobie, and Fred Wurden, Microsoft, USA

ICST includes four sessions on Model-based testing each with 4 or more talks among many other things.  Book now!

Preceeding the conference is the 4th Workshop on Advances in Model Based Testing (A-MOST 2008) which includes Robert Binder of MVerify on the Programme Committee.  I've been working with Bob (whom I first met while we were on the board of Quality Week) recently on projects related to our protocol testing.

Testing Service Compatibility - updating services in a set of connected services.

Last summer in my Conference of the Association for Software Testing (CAST) keynote "Testing Web Services" and again with my Pacific Northwest Quality Conference (PNSQC) presentation (70-Stobie-esting Web Services.doc inside the proceedings.zip) you will see a reference

[6]     Keith Stobie, Service Compatibility
<to appear on msdn Tester Center site>
Well it took longer than I thought, but it is finally there in the TesterCenter Library:

Service Compatibility    This article describes what a tester should consider when updating services in a set of connected services.

The new paper just adds a little more detail and reference to that section of the conference papers about rolling out new services.

2月21日

Open Protocol Specifications

News Flash -- my semi-secret project has just been outed!    You can read the press announcement etc.
I work at verifying the usability and accuracy of protocol documents which are now all publicly available on MSDN.
Some of the things my team facilitates:

It's an exciting time.  Interoperability and protocols are really catching fire and my team's Model-Based Testing (MBT) approach based on Spec Explorer is going well also.  Finally, the long awaited, "Model-Based Software Testing and Analysis with C#", is out in stores!   Pick up your copy today (mine is autographed by the authors).  You can get a feel for my brand of MBT reading the book and using the free, open source, Nmodel toolkit.   Spec Explorer is essentially just a more advanced version of NModel.

We've built numerous model-based test suites for verifying the published protocol documents.  

By the way, if all this sounds exciting to you, my team is looking to hire my peer.  That is, we have an opening for a Software Test Architect.
http://members.microsoft.com/careers/search/details.aspx?JobID=E925F2F5-2AD5-46BA-886F-E391BBC662BC
If you're curious about Test Architects at Microsoft you can read about another great peer of mine, David.  We worked on refining each other's notion of Testability.

Finally, check out the ever popular "Book Bytes" on the Tester Center site.

PNSQC and Call For Papers

Sorry, my blog entries have gotten behind.   Last November I was re-elected to the PNSQC board (by the board - since they forgot to ask me to be on the ballot) and then elected me Vice President!   That got me heading a sorbanes-oxley derived committee on document retention.
The PNSQC board, chairs, and voluntees did have an interesting and productive strategic offsite at the Heathman lodge in late January.  You should see an updated mission statement soon.
 
Finally, in case you missed it, the Call for Papers for this October's Pacific Northwest Software Quality Conference (PNSQC) is open.  The theme is Collaborative Quality.