We present a controllability mechanism that facilitates creation of difficult-to-achieve states, for execution of state specific tests, during object-oriented software testing. Provisions are made in the software during the design phase and coded during the coding phase of software development. The mechanism requires creating the control environment and incorporating control commands in the software during software development. We illustrate the control mechanism using three examples, each requiring a unique control environment to attain the difficult-to-create states.

The factorization of Abelian codes overZ_{m}, i.e., ideals inZ_{m},G,Ga finite Abelian group, corresponding to a factorization ofmand that of G as a product of cyclic groups are considered. Quasi-Abelian codes overZ_{m}are considered and it is shown that every quasi-Abelian code overZ_{m}is a direct sum of Abelian codes overZ_{m}. A factorization of Gray codes overZ_{m}is also considered.