Conformance test of distributed transaction service

As a key component of J2EE application servers, the distributed transaction manager following JTS and JTA specifications plays an important role in the distributed transaction environment. This paper explores the conformance test of a distributed transaction service by broadening the application of protocol conformance test theory and techniques. This paper also presents the formal representation of a distributed transaction service and the corresponding test case generation not based on personal experience.