A Method for the Behaviour Test Generation for Managed Objects

The conformance testing of managed objects is an important aspect of the systems management conformance testing. This paper discusses a method which generates conformance test purposes from the specificationin Z. This method could be a basis for the automatic tests generation.