191 research outputs found
Generating a checking sequence with a minimum number of reset transitions
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)
Distinguishing sequences for partially specified FSMs
Distinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing
Checking experiments for stream X-machines
This article is a post-print version of the published article which may be accessed at the link below. Copyright © 2010 Elsevier B.V. All rights reserved.Stream X-machines are a state based formalism that has associated with it a particular development process in which a system is built from trusted components. Testing thus essentially checks that these components have been combined in a correct manner and that the orders in which they can occur are consistent with the specification. Importantly, there are test generation methods that return a checking experiment: a test that is guaranteed to determine correctness as long as the implementation under test (IUT) is functionally equivalent to an unknown element of a given fault domain Κ. Previous work has show how three methods for generating checking experiments from a finite state machine (FSM) can be adapted to testing from a stream X-machine. However, there are many other methods for generating checking experiments from an
FSM and these have a variety of benefits that correspond to different testing scenarios. This paper shows how any method for generating a checking experiment from an FSM can be adapted to generate a checking experiment for testing an implementation against a stream X-machine. This is the case whether we are testing to check that the IUT is functionally equivalent to a specification or we are testing to check that every trace (input/output sequence) of the IUT is also a trace of a nondeterministic specification. Interestingly, this holds even if the fault domain Κ used is not that traditionally associated with testing from a stream
X-machine. The results also apply for both deterministic and nondeterministic implementations
Timed Implementation Relations for the Distributed Test Architecture
In order to test systems that have physically distributed interfaces, called ports, we might use a distributed approach in which there is a separate tester at each port. If the testers do not synchronise during testing then we cannot always determine the relative order of events observed at different ports and this leads to new notions of correctness that have been described using corresponding implementation relations. We study the situation in which each tester has a local clock and timestamps its observations. If we know nothing about how the local clocks relate then this does not affect the implementation relation while if the local clocks agree exactly then we can reconstruct the sequence of observations made. In practice, however, we are likely to be between these extremes: the local clocks will not agree exactly but we have some information regarding how they can differ. We start by assuming that a local tester interacts synchronously with the corresponding port of the system under test and then extend this to the case where communications can be asynchronous, considering both the first-in-first-out (FIFO) case and the non-FIFO case. The new implementation relations are stronger than implementation relations for distributed testing that do not use timestamps but still reflect the distributed nature of observations. This paper explores these alternatives and derives corresponding implementation relations
Comparison of the results of laparoscopic appendectomies with application of different techniques for closure of the appendicular stump
Search for pentaquark in high statistics measurement of at CLAS
The exclusive reaction was studied in the
photon energy range between 1.6-3.8 GeV searching for evidence of the exotic
baryon . The decay to requires the assignment of
strangeness to any observed resonance. Data were collected with the CLAS
detector at the Thomas Jefferson National Accelerator Facility corresponding to
an integrated luminosity of 70 . No evidence for the
pentaquark was found. Upper limits were set on the production cross section as
function of center-of-mass angle and mass. The 95% CL upper limit on the
total cross section for a narrow resonance at 1540 MeV was found to be 0.8 nb.Comment: Submitted to Physical Review Letter
Measurement of Deeply Virtual Compton Scattering with a Polarized Proton Target
The longitudinal target-spin asymmetry A_UL for the exclusive
electroproduction of high energy photons was measured for the first time in
p(e,e'p\gamma). The data have been accumulated at Jefferson Lab with the CLAS
spectrometer using 5.7 GeV electrons and a longitudinally polarized NH_3
target. A significant azimuthal angular dependence was observed, resulting from
the interference of the Deeply Virtual Compton Scattering and Bethe-Heitler
processes. The amplitude of the sin(phi) moment is 0.252 +/- 0.042(stat) +/-
0.020(sys). Theoretical calculations are in good agreement with the magnitude
and the kinematic dependence of the target-spin asymmetry, which is sensitive
to the generalized parton distributions H and H-tilde.Comment: Modified text slightly, added reference
Search for the pentaquark in the reaction
A search for the \thp in the reaction was completed
using the CLAS detector at Jefferson Lab. A study of the same reaction,
published earlier, reported the observation of a narrow \thp resonance. The
present experiment, with more than 30 times the integrated luminosity of our
earlier measurement, does not show any evidence for a narrow pentaquark
resonance. The angle-integrated upper limit on \thp production in the mass
range of 1.52 to 1.56 GeV/c for the reaction is
0.3 nb (95% CL). This upper limit depends on assumptions made for the mass and
angular distribution of \thp production. Using \lamstar production as an
empirical measure of rescattering in the deuteron, the cross section upper
limit for the elementary reaction is estimated to be
a factor of 10 higher, {\it i.e.}, nb (95% CL).Comment: 5 figures, submitted to PRL, revised for referee comment
Q^2 Dependence of the S_{11}(1535) Photocoupling and Evidence for a P-wave resonance in eta electroproduction
New cross sections for the reaction are reported for total
center of mass energy =1.5--2.3 GeV and invariant squared momentum transfer
=0.13--3.3 GeV. This large kinematic range allows extraction of new
information about response functions, photocouplings, and coupling
strengths of baryon resonances. A sharp structure is seen at 1.7 GeV.
The shape of the differential cross section is indicative of the presence of a
-wave resonance that persists to high . Improved values are derived for
the photon coupling amplitude for the (1535) resonance. The new data
greatly expands the range covered and an interpretation of all data with
a consistent parameterization is provided.Comment: 31 pages, 9 figure
A Bayesian analysis of pentaquark signals from CLAS data
We examine the results of two measurements by the CLAS collaboration, one of
which claimed evidence for a pentaquark, whilst the other found no
such evidence. The unique feature of these two experiments was that they were
performed with the same experimental setup. Using a Bayesian analysis we find
that the results of the two experiments are in fact compatible with each other,
but that the first measurement did not contain sufficient information to
determine unambiguously the existence of a . Further, we suggest a
means by which the existence of a new candidate particle can be tested in a
rigorous manner.Comment: 5 pages, 3 figure
- âŠ