期刊文章详细信息
测试非确定性系统的一种结构化方法 ( EI收录)
A STRUCTURED APPROACH FOR TESTING NONDETERMINISTIC SYSTEMS
文献类型：期刊文章
机构地区：[1]内蒙古大学计算机科学系
基 金：国家自然科学基金
年 份：1994
卷 号：17
期 号：3
起止页码：198-203
语 种：中文
收录情况：BDHX、BDHX1992、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、INSPEC、JST、MR、SCOPUS、ZGKJHX、核心刊
摘 要：本文对非确定性的分布式系统的相容性测试提出一种新的方法．这种方法是经典的状态识别方法的一种扩展．我们提出了集合识别的概念，重新定义了区别序列和ＵＩＯ序列．最后我们给出了层次测试的方法．
关 键 词：非确定性系统 测试 状态识别法
分 类 号：TP338.8]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
