分布事务服务的一致性测试

摘要：

作为J2EE应用服务器重要组成部分的分布事务管理器主要用于提供分布环境下的事务处理能力.文章拓宽了协议一致性测试的理论和技术的应用范围,探讨了分布事务服务的一致性测试,也给出了分布事务服务的形式化描述和非基于经验的测试序列的生成方案.

关键词：分布事务、一致性测试、有限状态机

所属期刊栏目：30

分类号：TP316.4(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2001AA113010;国家重点基础研究发展计划973计划G1999035807

在线出版日期：2004-08-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：48-49,100