5,519 research outputs found
Three Books on the Scottish Sixties
Discusses three recent books about Scottish culture in the 1960s: a collection of documents and interviews, The International Writers\u27 Conference Revisited, ed. Bartie and Bell; a collection of essays, The Scottish Sixties, ed. Bell and Gunn; and a monograph, The Edinburgh Festivals, by Angela Bartie
An Investigation into Improving Test Effectiveness for Embedded Software
This thesis reports on the investigation of the effectiveness of software testing on
embedded systems. The aim was to improve confidence in the current methods
employed or to find new methods which could improve the hit rate of defects found
before software is sent to a customer. We investigate previous work into software
testing effectives and various black box testing methods. There are various Black Box
testing methodologies that can be employed to detect errors in systems with varying
degrees of success. In this thesis we investigate the transformation of the white box
testing technique of Definition Use (DU) Path testing using a RESOLVE like
specification, to be applied as black box test method. We do not use RESOLVE it
self, instead we defined our own method of automatic test generation based on the
principles of RESOLVE. Then we compare this method to more commonly used
requirements driven test selection, and pure boundary value analysis (BVA) testing
techniques. The results reported in this thesis indicate that BVA and DU test selection
methods create tests that are covered by unit and integration tests. The current
requirements driven test cases create tests with a combination of features working in
tandem. It was found that combination of features was more likely to find defects
because developers tests had a lesser focus on this area. The tests generated by the
BVA and DU test selection methods did not find any defects that their respective
methods were intended to find. This is due to the development team already having
tests that covered these areas and defects had been fixed before system tests could be
run. Based on the fact that the current test selection methods find defects and the
methods we investigated do not, this adds confidence that the system test approach to
testing is effective. The investigation of defects found showed that timing related
errors are common and that a test selection method designed to find timing related
defects would be worth investigating. The investigation also revealed a useful method
in automatic generation of test cases. The RESOLVE like specification was used to
apply a DU testing as a black box test method. This method showed to be more time
efficient at generating test cases than the existing requirements driven approach.
Although the test cases did not reveal significant defects, due to the overlap with
integration testing, it could be a useful method for developers to generate test cases
Fast Bunch Integrators at Fermilab During Run II
The Fast Bunch Integrator is a bunch intensity monitor designed around the
measurements made from Resistive Wall Current Monitors. During the Run II
period these were used in both Tevatron and Main Injector for single and
multiple bunch intensity measurements. This paper presents an overview of the
design and use of these systems during this period.Comment: 6 p
Asymptotic analysis of multiscale approximations to reaction networks
A reaction network is a chemical system involving multiple reactions and
chemical species. Stochastic models of such networks treat the system as a
continuous time Markov chain on the number of molecules of each species with
reactions as possible transitions of the chain. In many cases of biological
interest some of the chemical species in the network are present in much
greater abundance than others and reaction rate constants can vary over several
orders of magnitude. We consider approaches to approximation of such models
that take the multiscale nature of the system into account. Our primary example
is a model of a cell's viral infection for which we apply a combination of
averaging and law of large number arguments to show that the ``slow'' component
of the model can be approximated by a deterministic equation and to
characterize the asymptotic distribution of the ``fast'' components. The main
goal is to illustrate techniques that can be used to reduce the dimensionality
of much more complex models.Comment: Published at http://dx.doi.org/10.1214/105051606000000420 in the
Annals of Applied Probability (http://www.imstat.org/aap/) by the Institute
of Mathematical Statistics (http://www.imstat.org
- …