Search

This paper presents a model-based testing framework for probabilistic systems. We provide algorithms to generate, execute and evaluate test cases from a probabilistic requirements model. In doing so, we connect ioco-theory for model-based testing and statistical hypothesis testing: our ioco-style algorithms handle the functional aspects, while statistical methods, using $$\chi ^2$$i¾?2 tests and fitting functions, assess if the frequencies observed during test execution correspond to the probabilities specified in the requirements. Key results of our paper are the classical soundness and completeness properties, establishing the mathematical correctness of our framework; Soundness states that each test case is assigned the right verdict. Completeness states that the framework is powerful enough to discover each probabilistic deviation from the specification, with arbitrary precision. We illustrate the use of our framework via two case studies.

This preliminary study investigated the magnetic field radiated from a passing charge bunch traveling over a finite path. Beginning with the infinite path case for a ramp front charge distribution, limits were derived to solve for the magnetic radiation field over a finite path. Radiation pulses were computed and graphed for many different positions of an observer with respect to the beam line. Comparisons of results show that the similarity in pulse shapes does not depend exclusively on the observer's position with respect to the Cerenkov region, but also on certain time conditions in each case. http://archive.org/details/cerenkovradiatio1094521705 Lieutenant Commander, United States Navy Approved for public release; distribution is unlimited.