摘要
本文用形式化技术给出分布式系统的一致性概念和测试结构 ,并讨论基于扩展变迁系统描述的包含实现关系、测试例。
This paper proposes a formal test theory for conformance concepts and test architecture of distributed systems.Moreover the theory consisting of implementation relations,test cases, test suites,and test execution,with respect to Extended Transition System specifications,is presented.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2000年第2期130-132,共3页
Acta Electronica Sinica
基金
国家自然科学基金!(No .694730 1 1
No .69682 0 0 2
No .6972 50 0 3)
关键词
计算机网络
一致性测试
分布式系统
computer networks
conformance testing
distributed systems
