46 research outputs found
Model-Based Testing of GUI-Driven Applications
While thorough testing of reactive systems is essential to ensure device safety, few testing methods center on GUI-driven applications. In this paper we present one approach for the model-based testing of such systems. Using the AHLTA-Mobile case study to demonstrate our approach, we first introduce a high-level method of modeling the expected behavior of GUI-driven applications. We show how to use the NModel tool to generate test cases from this model and present a way to execute these tests within the application, highlighting the challenges of using an API-geared tool in a GUI-based setting. Finally we present the results of our case study
Electromagnetic Fields of Slowly Rotating Compact Magnetized Stars in Braneworld
We study the structure of electromagnetic field of slowly rotating magnetized
star in a Randall-Sundrum II type braneworld. The star is modeled as a sphere
consisting of perfect highly magnetized fluid with infinite conductivity and
frozen-in dipolar magnetic field. Maxwell's equations for the external magnetic
field of the star in the braneworld are analytically solved in approximation of
small distance from the surface of the star. We have also found numerical
solution for the electric field outside the rotating magnetized neutron star in
the braneworld in dependence on brane tension. The influence of brane tension
on the electromagnetic energy losses of the rotating magnetized star is
underlined. Obtained "brane" corrections are shown to be relevant and have
non-negligible values. In comparison with astrophysical observations on pulsars
spindown data they may provide an evidence for the brane tension and, thus,
serve as a test for the braneworld model of the Universe.Comment: 11 pages, 5 figure