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

• 作者: 吴建平 朱江 毕军
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 计算机网络 一致性测试 分布式系统
• 年，卷（期）: 2000,（2）
• 所属期刊栏目: 科研通信
• 页码范围: 130-132
• 页数: 3页
• 分类号: TP393
• 字数: 3321字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2000.02.038

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴建平	清华大学计算机系	298	5155	36.0	63.0
2	毕军	清华大学计算机系	37	304	9.0	17.0
3	朱江	清华大学计算机系	12	51	4.0	7.0