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

Conformance Test of Distributed Transaction Service

作　　者：许畅[1] 金蓓弘[1] 

机构地区：[1]中国科学院软件研究所软件工程技术中心,北京100080

出　　处：《计算机工程》2004年第11期48-49,100,共3页Computer Engineering

基　　金：国家"863"计划基金资助项目(2001AA113010);国家重点基础研究发展规划"973"基金资助项目(G1999035807)

摘　　要：作为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.

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

分 类 号：TP316.4[自动化与计算机技术—计算机软件与理论]