Su Llewellyn works for the Developer Divison at Microsoft as an SDET (a software developer in Test). During her 10 years at Microsoft (three as a contractor), Su has worked extensively with model-based test approaches.
If you are developer who writes code to test software, you might want to
consider using Spec Explorer. Spec Explorer is a model-based testing tool
available for free through Microsoft Research that you use to model the
software you're testing and create test harnesses and test case suites
(http://research.microsoft.com/SpecExplorer/).
Note: Spec Explorer is available for academic use and for noncommercial
evaluation. To obtain a copy, please send e-mail to seextreq@microsoft.com
containing your name and affiliation. Microsoft Research will forward you a
download link.
Why use a model-based test approach? There are a number of reasons. The
first, and perhaps the most important reason, is using it to automate the
process of creating test cases. In addition, models you create with Spec
Explorer are also specifications (you'll see why further on). Thus, another
reason... (more)
Su Llewellyn works for the Developer Divison at Microsoft as an SDET (a software developer in Test). During her 10 years at Microsoft (three as a contractor), Su has worked extensively with model-based test approaches.
Scott Sellers
Anthony Franco
Daniel Morris
Wayne Walls
Niki Acosta
Jereme Hancock
Oren Michels
Marvin Wheeler
Douglas Kim
