29,647 research outputs found
Recommended from our members
Using formal methods to support testing
Formal methods and testing are two important approaches that assist in the development of high quality software. While traditionally these approaches have been seen as rivals, in recent
years a new consensus has developed in which they are seen as complementary. This article reviews the state of the art regarding ways in which the presence of a formal specification can be used to assist testing
Efficient solvability of Hamiltonians and limits on the power of some quantum computational models
We consider quantum computational models defined via a Lie-algebraic theory.
In these models, specified initial states are acted on by Lie-algebraic quantum
gates and the expectation values of Lie algebra elements are measured at the
end. We show that these models can be efficiently simulated on a classical
computer in time polynomial in the dimension of the algebra, regardless of the
dimension of the Hilbert space where the algebra acts. Similar results hold for
the computation of the expectation value of operators implemented by a
gate-sequence. We introduce a Lie-algebraic notion of generalized mean-field
Hamiltonians and show that they are efficiently ("exactly") solvable by means
of a Jacobi-like diagonalization method. Our results generalize earlier ones on
fermionic linear optics computation and provide insight into the source of the
power of the conventional model of quantum computation.Comment: 6 pages; no figure
Recommended from our members
Verdict functions in testing with a fault domain or test hypotheses
In state based testing it is common to include verdicts within test cases, the result of the test case being the verdict reached by the test run. In addition, approaches that reason about test effectiveness or produce tests that are guaranteed to find certain classes of faults are often based on either a fault domain or a set of test hypotheses. This paper considers how the presence of a fault domain or test hypotheses affects our notion of a test verdict. The analysis reveals the need for new verdicts that provide more information than the current verdicts and for verdict functions that return a verdict based on a set of test runs rather than a single test run. The concepts are illustrated in the contexts of testing from a non-deterministic finite state machine and the testing of a datatype specified using an algebraic specification language but are potentially relevant whenever fault domains or test hypotheses are used
Abstract State Machines 1988-1998: Commented ASM Bibliography
An annotated bibliography of papers which deal with or use Abstract State
Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm
The foundational legacy of ASL
Abstract. We recall the kernel algebraic specification language ASL and outline its main features in the context of the state of research on algebraic specification at the time it was conceived in the early 1980s. We discuss the most significant new ideas in ASL and the influence they had on subsequent developments in the field and on our own work in particular.
- …