1) equal state pair
等价状态对
1.
If the state transfer graphs are isomorphism,all the states in different graphs can be matched as equal state pairs.
若两状态转换图同构,则两图中的状态均可一一配对为待验证状态对,即所有的代验证状态对均为等价状态对。
2) equivalent states
等价状态
4) k-equivalence of states
状态k-等价
5) state equivalence table
状态等价表
6) search state equivalence
搜索状态等价
1.
The EST algorithm presents the concept of search state equivalence for first time,and describes the different search state of test pattern with E-frontier.
本文通过对搜索状态等价的研究,得出了基于搜索状态控制的测试生成算法。
补充资料：等价
等价
equmrience
等价[剑两钧山”沈:，K，二a二e盯。ocT‘] 集合X上的具有下列性质的二元关系(binary rela-tion)R任XxX二 l)对任意x:义只义(自反性(代倪xi访ty)); 2)义RJ，冷夕撇(对称性(s yrnrnetry”; 3)x脚八y几冷x几(传递性(。双瑙迈讨ty夕). 如果f是集合X到集合y内的映射，则关系R“{(x，，习二fx、二久}是一等价关系. 对任意y任X，所有与y等价的x组成的集合U任X称为是y的等价类(闪比讼1日篮笼cla铝).任意两个等价类要么不相交，要么重合，也就是说，任意一个等价关系定义了X的一个分划，反之亦然. B.H.rp“吐山时撰张锦文、赵希顺译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条