Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Temperature (over) compensation in an oscillatory surface reaction

Biological rhythms are regulated by homeostatic mechanisms that assure that physiological clocks function reliably independent of temperature changes in the environment. Temperature compensation, the independence of the oscillatory period on temperature, is known to play a central role in many biological rhythms, but it is rather rare in chemical oscillators. We study the influence of temperature on the oscillatory dynamics during the catalytic oxidation of formic acid on a polycrystalline platinum electrode. The experiments are performed at five temperatures from 5 to 25 degrees C, and the oscillations are studied under galvanostatic control. Under oscillatory conditions, only non-Arrhenius behavior is observed. Overcompensation with temperature coefficient (q(10), defined as the ratio between the rate constants at temperature T + 10 degrees C and at T) < I is found in most cases, except that temperature compensation with q(10) approximate to I predominates at high applied currents. The behavior of the period and the amplitude result from a complex interplay between temperature and applied current or, equivalently, the distance from thermodynamic equilibrium. High, positive apparent activation energies were obtained under voltammetric, nonoscillatory conditions, which implies that the non-Arrhenius behavior observed under oscillatory conditions results from the interplay among reaction steps rather than, from a weak temperature dependence of the individual steps.