摘要
作为J2EE应用服务器重要组成部分的分布事务管理器主要用于提供分布环境下的事务处理能力。文章拓宽了协议一致性测试的理论和技术的应用范围,探讨了分布事务服务的一致性测试,也给出了分布事务服务的形式化描述和非基于经验的测试序列的生成方案。
As a key component of J2EE application servers, distributed transaction manager following JTS and JTA specifications plays an important role in distributed transaction environment. This paper explores the conformance test of distributed transaction service by broadening the application of protocol conformance test theory and techniques. It also presents the formal representation of distributed transaction service and the corresponding test case generation not based on personal experience.
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第11期48-49,100,共3页
Computer Engineering
基金
国家"863"计划基金资助项目(2001AA113010)
国家重点基础研究发展规划"973"基金资助项目(G1999035807)
关键词
分布事务
一致性测试
有限状态机
Distributed transaction
Conformance test
Finite state machine