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.

The gas flow rate increase obtained by an oscillating piezoelectric actuator on a micronozzle

Micronozzles with piezoelectric actuator were fabricated and investigated. The micronozzles were fabricated in glass substrates using a powder-blasting technique, and the actuator is a bimorph structure made from a piezoelectric polymer. The actuator was located at the nozzle outlet, and was driven in an oscillating mode by applying an alternating voltage across the actuator electrodes. With a pressure difference between inlet and outlet, the gas flow rate through the device was increased. This effect was quantified, and compared to a similar micronozzle with no actuator. The increase in the flow rate was defined as the gas flow through the micronozzle with actuator oscillating minus the gas flow without actuator, was found to depend on the inlet pressure, the pressure ratio, and the nozzle throat diameter. (C) 2008 Elsevier B.V. All rights reserved.