被管对象动态测试生成方法

A Method for the Behaviour Test Generation for Managed Objects

摘要: 被管对象的一致性测试是系统管理测试的一个重要方面，由于被管实体的数量很大，用传统手工方法进行一致性测试的工作量是十分巨大的，本文提出了一种从形式描述语言Ｚ获得一致性测试目标的方法，本方法为一致性测试的自动生成打下了基础。

Abstract: 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.