Jones, Paul L
Now showing 1 - 2 of 2
PublicationModel-Based Testing of GUI-Driven Applications(2009-11-16) Chinnapongse, Vivien; Lee, Insup; Sokolsky, Oleg; Wang, Shaohui; Jones, Paul L; Chinnapongse, Vivien; Lee, Insup; Sokolsky, Oleg; Wang, Shaohui; Jones, Paul LWhile 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. PublicationSafety-Assured Development of the GPCA Infusion Pump Software(2011-10-01) Kim, BaekGyu; Ayoub, Anaheed; Sokolsky, Oleg; Lee, Insup; Jones, Paul; Zhang, Yi; Jetley, Raoul; Kim, BaekGyu; Ayoub, Anaheed; Sokolsky, Oleg; Lee, Insup; Jones, Paul; Zhang, Yi; Jetley, RaoulThis paper presents our effort of using model-driven engineering to establish a safety-assured implementation of Patient-Controlled Analgesic (PCA) infusion pump software based on the generic PCA reference model provided by the U.S. Food and Drug Administration (FDA). The reference model was first translated into a network of timed automata using the UPPAAL tool. Its safety properties were then assured according to the set of generic safety requirements also provided by the FDA. Once the safety of the reference model was established, we applied the TIMES tool to automatically generate platform-independent code as its preliminary implementation. The code was then equipped with auxiliary facilities to interface with pump hardware and deployed onto a real PCA pump. Experiments show that the code worked correctly and effectively with the real pump. To assure that the code does not introduce any violation of the safety requirements, we also developed a testbed to check the consistency between the reference model and the code through conformance testing. Challenges encountered and lessons learned during our work are also discussed in this paper.