Comparing finite state machine test coverage criteria

To plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and, thus, empirical data are needed. The results of an experimental evaluation of several coverage criteria for finite state machines (FSMs) are presented, namely, state and transition coverage; initialisation fault and transition fault coverage. The first two criteria focus on FSM structure, whereas the other two on potential faults in FSM implementations. The authors elaborate a comparison approach that includes random generation of FSM, construction of an adequate test suite and test minimisation for each criterion to ensure that tests are obtained in a uniform way. The last step uses an improved greedy algorithm.

Fast Acquisition of (13)C NMR Spectra using the Steady-state Free Precession Sequence

In this paper, we show that the steady-state free precession sequence can be used to acquire (13)C high-resolution nuclear magnetic resonance spectra and applied to qualitative analysis. The analysis of brucine sample using this sequence with 60 degrees flip angle and time interval between pulses equal to 300 ms (acquisition time, 299.7 ms; recycle delay, 300 ms) resulted in spectrum with twofold enhancement in signal-to-noise ratio, when compared to standard (13)C sequence. This gain was better when a much shorter time interval between pulses (100 ms) was applied. The result obtained was more than fivefold enhancement in signal-to-noise ratio, equivalent to more than 20-fold reduction in total data recording time. However, this short time interval between pulses produces a spectrum with severe phase and truncation anomalies. We demonstrated that these anomalies can be minimized by applying an appropriate apodization function and plotting the spectrum in the magnitude mode.

Checking Completeness of Tests for Finite State Machines

In testing from a Finite State Machine (FSM), the generation of test suites which guarantee full fault detection, known as complete test suites, has been a long-standing research topic. In this paper, we present conditions that are sufficient for a test suite to be complete. We demonstrate that the existing conditions are special cases of the proposed ones. An algorithm that checks whether a given test suite is complete is given. The experimental results show that the algorithm can be used for relatively large FSMs and test suites.

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.

Excited-State Dynamics in fac-[Re(CO)(3)(Me(4)phen)(L)](+)

Excited-state dynamics in fac-[Re(CO)(3)(Me(4)phen)(cis-L)](+) (Me(4)phen = 3,4,7,8-tetramethyl-1,10-phenanthroline, L = 4-styrylpyridine (stpy) or 1,2-bis(4-pyridyl)ethylene (bpe)) were investigated by steady-state and time-resolved techniques. A complex equilibrium among three closely lying excited states, 3IL(cis-L), (3)MLCT(Re -> me4phen), and (3)IL(Me4phen), has been established. Under UV irradiation, cis-to-trans isomerization of coordinated cis-L is observed with a quantum yield of 0.15 in acetonitrile solutions. This photoreaction competes with radiative decay from (3)MLCT(Re -> Me4phen) and (3)IL(Me4phen) excited states, leading to a decrease in the emission quantum yield relative to the nonisomerizable complex fac-[Re(CO)(3)(Me(4)phen)(bpa)](+) (bpa = 1,2-bis(4-pyridyl)ethane). From temperature-dependent time-resolved emission measurements in solution and in poly(methyl methacrylate) (PMMA) films, energy barriers (Delta E(a)) for interconversion between (3)MLCT(Re -> me4Phen) and (3)IL(Me4phen) emitting states were determined. For L = cis-stpy, Delta E(a) = 11 (920 cm(-1)) and 15 kJ mol(-1) (1254 cm(-1)) in 5:4 propionitrile/butyronitrile and PMMA, respectively. For L = cis-bpe, Delta E(a) = 13 kJ mol(-1) (1087 cm(-1)) in 5:4 propionitrile/butyronitrile. These energy barriers are sufficient to decrease the rate constant for internal conversion from higher-lying (3)IL(me4phen) state to (3)MLCT(Re -> Me4phen), k(i) congruent to 10(6) s(-1). The decrease in rate allows for the observation of intraligand phosphorescence, even in fluid medium at room temperature. Our results provide additional insight into the role of energy gap and excited-state dynamics on the photochemical and photophysical properties of Re(I) polypyridyl complexes.