Specification Based Regression Testing Using Explicit State Space Enumeration

This paper presents a method of partial automation of specification based regression testing, which we call ESSE (Explicit State Space Enumeration). The first step in ESSE method is the extraction of a finite state model of the system making use of an already tested version of the system under test (SUT). Thereafter, the finite state model thus obtained is used to compute good test sequences that can be used to regression test subsequent versions of the system. We present two new algorithms for test sequence computation - both based on our finite state model generated by the above method. We also provide the details and results of the experimental evaluation of ESSE method. Comparison with a practically used random-testing algorithm has shown substantial improvements.

An Algorithm for Testing 2-Asummability of Boolean Functions

Simple algorithms have been developed to generate pairs of minterms forming a given 2-sum and thereby to test 2-asummability of switching functions. The 2-asummability testing procedure can be easily implemented on the computer. Since 2-asummability is a necessary and sufficient condition for a switching function of upto eight variables to be linearly separable (LS), it can be used for testing LS switching functions of upto eight variables.

Materials, Processing, and Testing of Flexible Image Sensor Arrays

Editors' note:Flexible, large-area display and sensor arrays are finding growing applications in multimedia and future smart homes. This article first analyzes and compares current flexible devices, then discusses the implementation, requirements, and testing of flexible sensor arrays.—Jiun-Lang Huang (National Taiwan University) and Kwang-Ting (Tim) Cheng (University of California, Santa Barbara)

Colloidal calcium nanoparticles: digestive ripening in the presence of a capping agent and coalescence of particles under an electron beam

The nanochemistry of calcium remains unexplored, which is largely due to the inaccessibility of calcium nanoparticles in an easy to handle form by conventional methods of synthesis as well as its highly reactive and pyrophoric nature. The synthesis of colloidal Ca nanoparticles by the solvated metal atom dispersion (SMAD) method is described. The as-prepared Ca-THF nanoparticles, which are polydisperse, undergo digestive ripening in the presence of a capping agent, hexadecyl amine (HDA) to afford highly monodisperse colloids consisting of 2-3 nm sized Ca-HDA nanoparticles. These are quite stable towards precipitation for long periods of time, thereby providing access to the study of the nanochemistry of Ca. Particles synthesized in this manner were characterized by UV-visible spectroscopy, high resolution electron microscopy, and powder X-ray diffraction methods. Under an electron beam, two adjacent Ca nanoparticles undergo coalescence to form a larger particle.

Testing concordance in species boundaries using acoustic, morphological, and molecular data in the field cricket genus Itaropsis (Orthoptera: Grylloidea, Gryllidae: Gryllinae)

In most taxa, species boundaries are inferred based on differences in morphology or DNA sequences revealed by taxonomic or phylogenetic analyses. In crickets, acoustic mating signals or calling songs have species-specific structures and provide a third data set to infer species boundaries. We examined the concordance in species boundaries obtained using acoustic, morphological, and molecular data sets in the field cricket genus Itaropsis. This genus is currently described by only one valid species, Itaropsis tenella, with a broad distribution in western peninsular India and Sri Lanka. Calling songs of males sampled from four sites in peninsular India exhibited significant differences in a number of call features, suggesting the existence of multiple species. Cluster analysis of the acoustic data, molecular phylogenetic analyses, and phylogenetic analyses combining all data sets suggested the existence of three clades. Whatever the differences in calling signals, no full congruence was obtained between all the data sets, even though the resultant lineages were largely concordant with the acoustic clusters. The genus Itaropsis could thus be represented by three morphologically cryptic incipient species in peninsular India; their distributions are congruent with usual patterns of endemism in the Western Ghats, India. Song evolution is analysed through the divergence in syllable period, syllable and call duration, and dominant frequency.

A new 6-component accelerometer force balance for short duration ground testing facilities

A new six-component accelerometer force balance is developed and used in the HST2 shock tunnel of Indian Institute of Science. Aerodynamic forces and moments for a hypersonic slender body measured using this balance system at a free stream Mach number of 5.75 and Reynolds number of 1.5 million and stagnation enthalpy of 1.5 and 2 MJ/kg are presented. These measured values compare well with the theoretical values estimated using modified Newtonian theory.

Mechanistic insights into type III restriction enzymes

Type III restriction-modification (R-M) enzymes need to interact with two separate unmethylated DNA sequences in indirectly repeated, head-to-head orientations for efficient cleavage to occur at a defined location next to only one of the two sites. However, cleavage of sites that are not in head-to-head orientation have been observed to occur under certain reaction conditions in vitro. ATP hydrolysis is required for the long-distance communication between the sites prior to cleavage. Type III R-M enzymes comprise two subunits, Res and Mod that form a homodimeric Mod(2) and a heterotetrameric Res(2)Mod(2) complex. The Mod subunit in M-2 or R2M2 complex recognizes and methylates DNA while the Res subunit in R2M2 complex is responsible for ATP hydrolysis, DNA translocation and cleavage. A vast majority of biochemical studies on Type III R-M enzymes have been undertaken using two closely related enzymes, EcoP1I and EcoP15I. Divergent opinions about how the long-distance interaction between the recognition sites exist and at least three mechanistic models based on 1D- diffusion and/or 3D-DNA looping have been proposed.

A novel ``pro-sensitizer'' based sensing of enzymes using Tb(III) luminescence in a hydrogel matrix

Chemically synthesized ``pro-sensitizers'' release the sensitizer in the presence of lipase or beta-glucosidase, triggering a significant luminescence response from a lanthanide based hydrogel.

Statistical Methods for Accelerated Life Testing with Particular Reference to Resin Impregnated Paper Bushings

Electrical failure of insulation is known to be an extremal random process wherein nominally identical pro-rated specimens of equipment insulation, at constant stress fail at inordinately different times even under laboratory test conditions. In order to be able to estimate the life of power equipment, it is necessary to run long duration ageing experiments under accelerated stresses, to acquire and analyze insulation specific failure data. In the present work, Resin Impregnated Paper (RIP) a relatively new insulation system of choice used in transformer bushings, is taken as an example. The failure data has been processed using proven statistical methods, both graphical and analytical. The physical model governing insulation failure at constant accelerated stress has been assumed to be based on temperature dependent inverse power law model.

Active Sequential Hypothesis Testing with Application to a Visual Search Problem

We consider a visual search problem studied by Sripati and Olson where the objective is to identify an oddball image embedded among multiple distractor images as quickly as possible. We model this visual search task as an active sequential hypothesis testing problem (ASHT problem). Chernoff in 1959 proposed a policy in which the expected delay to decision is asymptotically optimal. The asymptotics is under vanishing error probabilities. We first prove a stronger property on the moments of the delay until a decision, under the same asymptotics. Applying the result to the visual search problem, we then propose a ``neuronal metric'' on the measured neuronal responses that captures the discriminability between images. From empirical study we obtain a remarkable correlation (r = 0.90) between the proposed neuronal metric and speed of discrimination between the images. Although this correlation is lower than with the L-1 metric used by Sripati and Olson, this metric has the advantage of being firmly grounded in formal decision theory.