基于扩展变迁系统的分布式系统一致性测试研究

被引：2

作者：

毕军

吴建平

朱江

机构：

[1] 清华大学计算机系!北京

来源：

电子学报 | 2000年 / 02期

关键词：

计算机网络; 一致性测试; 分布式系统;

D O I：

暂无

中图分类号：

TN915.0 [一般性问题];

学科分类号：

摘要：

本文用形式化技术给出分布式系统的一致性概念和测试结构 ,并讨论基于扩展变迁系统描述的包含实现关系、测试例、测试集和测试执行的测试理论

引用

收藏

页码：130 / 132

页数：3

相关论文

共 2 条

[1] Information Processing System-Open System Interconnection-OSI conformance testing methodology and framework. ISO. . 1993
[2] ProposedITU TZ .50 0andcommitteedrafton"formalmethodsinconformancetesting". ISO/IECJTC1 /SC2 1WG7. ITU TSG 1 0 /Q .8 . 1 996