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.

A comparative study on the effects of the benzodiazepine midazolam and the dopamine agents, apomorphine and sulpiride, on rat behavior in the two-way avoidance test

In recent years. studies in behavioral pharmacology have shown the involvement of dopaminergic mechanisms in avoidance behavior as assessed by the two-way active avoidance test (CAR). Changes in dopaminergic transmission also occur in response to particularly threatening challenges. However, studies on the effects of benzodiazepine (BZD) drugs ill this test are still unclear. Given the interplay of dopamine and other neurotransmitters in the neurobiology of anxiety and schizophrenia the aim of this work was to evaluate the effects of systemic administration of midazolam, the dopaminergic agonist apomorphine, and the D(2) receptor antagonist sulpiride using the CAR, a test that shows good sensitivity to typical neuroleptic drugs. Whereas midazolam did not alter the avoidance response. apomorphine increased and sulpiride reduced them in this test. Escape was not affected by any drug treatments. Heightened avoidance was not associated with the increased motor activity caused by apomorphine. In contrast with the benzodiazepine midazolam, activation of post-synaptic D(2) receptors with apomorphine facilitates, whereas the D(2) receptor antagonism with sulpiride inhibited the acquisition of the avoidance behavior. Together, these results bring additional evidence for a role of D(2) mechanisms in the acquisition of the active avoidance. (C) 2009 Elsevier Inc. All rights reserved.