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