MODEL PARTITIONS AND COMPACT TEST CASE SUITES

We present a generalized test case generation method, called the G method. Although inspired by the W method, the G method, in contrast, allows for test case suite generation even in the absence of characterization sets for the specification models. Instead, the G method relies on knowledge about the index of certain equivalences induced at the implementation models. We show that the W method can be derived from the G method as a particular case. Moreover, we discuss some naturally occurring infinite classes of FSM models over which the G method generates test suites that are exponentially more compact than those produced by the W method.

Higher identities for the ternary commutator

We use computer algebra to study polynomial identities for the trilinear operation [a, b, c] = abc - acb - bac + bca + cab - cba in the free associative algebra. It is known that [a, b, c] satisfies the alternating property in degree 3, no new identities in degree 5, a multilinear identity in degree 7 which alternates in 6 arguments, and no new identities in degree 9. We use the representation theory of the symmetric group to demonstrate the existence of new identities in degree 11. The only irreducible representations of dimension <400 with new identities correspond to partitions 2(5), 1 and 2(4), 1(3) and have dimensions 132 and 165. We construct an explicit new multilinear identity for partition 2(5), 1 and we demonstrate the existence of a new non-multilinear identity in which the underlying variables are permutations of a(2)b(2)c(2)d(2)e(2) f.

Electromagnetic energy within coated spheres containing dispersive metamaterials

An exact expression is derived for the time-averaged electromagnetic energy within a magneto-dielectric coated sphere, which is irradiated by a plane and time-harmonic electromagnetic wave. Both the spherical shell and core are considered to be dispersive and lossy, with a realistic dispersion relation of an isotropic split-ring resonator metamaterial. We obtain analytical expressions for the stored electromagnetic energies inside the core and the shell separately and calculate their contributions to the total average energy density. The stored electromagnetic energy is calculated for two situations involving a metamaterial coated sphere: a dielectric shell and dispersive metamaterial core, and vice versa. An explicit relation between the stored energy and the optical absorption efficiency is also obtained. We show that the stored electromagnetic energy is an observable sensitive to field interferences responsible for the Fano effect. This result, together with the fact that the Fano effect is more likely to occur in metamaterials with negative refraction, suggest that our findings may be explored in applications.