Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Isomers of 1,4,8,11-tetraazacyclotetradecane-6,13-dicarboxylate characterized as cobalt(III) complexes

The major trans (1) and minor cis (2) isomers of 1,4,8,11-tetraazacyclotetradecane-6,13-dicarboxylate have been characterized as the complexes [Co(1)](ClO4) and [Co(H-2)(OH2)]Cl(ClO4).H2O. The former crystallized in the C-2/c space group and the latter in the P2(1)/c space group, with cell parameters a 16.258(7), b 9.050(3), c 15.413(6) Angstrom, beta133.29(3)degrees, and a 9.694(4), b 16.135(1), c 12.973(5) Angstrom, beta 93.00(2)degrees, respectively. Their characterization completes identification of the respective trans and cis isomers for the series of C-pendant macrocycles also including 1,4,8,11-tetraazacyclotetradecane-6-amine-13-carboxylate ((3), (4)) and 1,4,8,11-tetraazacyclotetradecane-6,13-diamine ((5), (6)). The complexes show limited distortion from octahedral geometry with the strain in the presence of the coordinated C-pendant carboxylate significantly reduced compared with that for the C-pendant amine in analogues, a consequence mainly of six-membered as opposed to five-membered chelate rings involving the pendant donor. A comparison of the physical properties for the trans isomers of the octahedral complexes of (1), (3), and (5), which reflect progressively increasing strain, is presented.