摘要
本文对非确定性的分布式系统的相容性测试提出一种新的方法．这种方法是经典的状态识别方法的一种扩展．我们提出了集合识别的概念，重新定义了区别序列和ＵＩＯ序列．最后我们给出了层次测试的方法．
This paper proposes a new approach for the conformance testing of nondeterministic distributed systems.The new approach is an extension of the well-known classical state-identification approach.The concept of the set-identification is proposed and the distinguishing sequence and UIO-sequence are redefined. Finally,a level-by-level testing approach is developed.
出处
《计算机学报》
EI
CSCD
北大核心
1994年第3期198-203,共6页
Chinese Journal of Computers
基金
国家自然科学基金
关键词
非确定性系统
测试
状态识别法
Conformance testing
distinguishing sequence
nondeterminism
set-identification
labelled transition system
