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

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

Abstract: 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.

中图分类号: 

• TP393.05