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

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