Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Conformance Testing with Abstract State Machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, and Margus Veanes

Abstract

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.

Details

Publication typeInproceedings
Published inEUROCAST 2001
> Publications > Conformance Testing with Abstract State Machines