Conformance Checking of Components Against Their

Conformance checking of a component is a testing method to see ifan implementation and its executable specification are behaviorallyequivalent relative to any interactions performed on the implementa-tion. Suchcheckingiscomplicatedbythepresenceofnon-determinismin the specification: the specification may permit a set of possiblebehaviors. We present a new method to automatically derive a com-ponent that manages all of the angelic non-determinism for an ar-bitrary implementation/specification pair. The new component justplugs in; no instrumentation of any implementation is necessary.Conformance checking thus helps to keep high-level non-determinsticspecifications of components and their low-level implementations insync.Microsoft ResearchMicrosoft CorporationOne Microsoft WayRedmond, WA 98052http://www.research.microsoft.com