Conformance Testing with Abstract State Machines

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.

ggsv.pdf
PDF file

In  EUROCAST 2001

Details

TypeInproceedings
> Publications > Conformance Testing with Abstract State Machines