摘要
集合识别方法是非确定性分布式系统相容性测试的一种新方法,是经典的状态识别方法的一种扩展。提出了在集合识别问题中使用的推导D序列和UIO序列的方法。
ET-ID method is a new approach for the conformance testing of nondeterministic distribut-ed systems. The approach is an extension of the well-known classical state-identification ap-proach. The method is proposed mainly for deriving D-sequences and UIO-sequences used in theSET-ID problems.
出处
《内蒙古大学学报(自然科学版)》
CAS
CSCD
1995年第5期621-627,共7页
Journal of Inner Mongolia University:Natural Science Edition
基金
国家自然科学基金