Chinnapongse, VivienLee, InsupSokolsky, OlegWang, ShaohuiJones, Paul L2023-05-222023-05-222009-11-162009-11-23https://repository.upenn.edu/handle/20.500.14332/6473While 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.The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-10265-3_19CPS Model-Based Designmodel-based testinggui-driven medical devicesGraphics and Human Computer InterfacesSoftware EngineeringPresentation