Conformance Testing with Abstract State Machines
Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes
February 2001
One benefit of executable specifications is that they allow one to test the conformance of implementations to their specifications. We illustrate this on the example of Universal Plug and Play devices. The necessary test sequences are generated automatically from ASM
specifications.
 PDF file |
In: EUROCAST 2001
Details
| Type: | Inproceedings |
Related Projects
Related People
Related Groups
Related Labs
Related Research Areas
©2009 Microsoft Corporation. All rights reserved.