Model-Based Testing of GUI-Driven Applications
dc.contributor.author | Chinnapongse, Vivien | |
dc.contributor.author | Lee, Insup | |
dc.contributor.author | Sokolsky, Oleg | |
dc.contributor.author | Wang, Shaohui | |
dc.contributor.author | Jones, Paul L | |
dc.date | 2023-05-17T03:19:13.000 | |
dc.date.accessioned | 2023-05-22T12:48:21Z | |
dc.date.available | 2023-05-22T12:48:21Z | |
dc.date.issued | 2009-11-16 | |
dc.date.submitted | 2009-11-23T12:12:38-08:00 | |
dc.description.abstract | 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. | |
dc.description.comments | The Seventh IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2009), Newport Beach, CA, USA, November 16-18, 2009. | |
dc.identifier.uri | https://repository.upenn.edu/handle/20.500.14332/6473 | |
dc.legacy.articleid | 1455 | |
dc.legacy.fields | 10.1007/978-3-642-10265-3_19 | |
dc.legacy.fulltexturl | https://repository.upenn.edu/cgi/viewcontent.cgi?article=1455&context=cis_papers&unstamped=1 | |
dc.rights | The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-10265-3_19 | |
dc.source.beginpage | 203 | |
dc.source.endpage | 214 | |
dc.source.issue | 423 | |
dc.source.journal | Departmental Papers (CIS) | |
dc.source.journaltitle | Lecture Notes in Computer Science: Software Technologies for Embedded and Ubiquitous Systems | |
dc.source.peerreviewed | true | |
dc.source.status | published | |
dc.source.volume | 5860 | |
dc.subject.other | CPS Model-Based Design | |
dc.subject.other | model-based testing | |
dc.subject.other | gui-driven medical devices | |
dc.subject.other | Graphics and Human Computer Interfaces | |
dc.subject.other | Software Engineering | |
dc.title | Model-Based Testing of GUI-Driven Applications | |
dc.type | Presentation | |
digcom.contributor.author | isAuthorOfPublication|email:vichi@cis.upenn.edu|institution:University of Pennsylvania|Chinnapongse, Vivien | |
digcom.contributor.author | isAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup | |
digcom.contributor.author | isAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg | |
digcom.contributor.author | isAuthorOfPublication|email:shaohui@cis.upenn.edu|institution:University of Pennsylvania|Wang, Shaohui | |
digcom.contributor.author | isAuthorOfPublication|email:PaulL.Jones@fda.hhs.gov|institution:U.S. Food and Drug Administration|Jones, Paul L | |
digcom.identifier | cis_papers/423 | |
digcom.identifier.contextkey | 1070817 | |
digcom.identifier.submissionpath | cis_papers/423 | |
digcom.type | conference | |
dspace.entity.type | Publication | |
relation.isAuthorOfPublication | 8f288a8c-807d-4c37-a212-d59109f33cf9 | |
relation.isAuthorOfPublication | 45a9eed5-3211-4c36-b40d-6394302dfdce | |
relation.isAuthorOfPublication | 35e1b18e-15fe-4438-be3b-84593f70a40a | |
relation.isAuthorOfPublication | 712b9faf-7a56-409e-972d-eb32df779995 | |
relation.isAuthorOfPublication | 561fca01-0cda-414a-8336-322597870fa4 | |
relation.isAuthorOfPublication.latestForDiscovery | 8f288a8c-807d-4c37-a212-d59109f33cf9 | |
upenn.schoolDepartmentCenter | Departmental Papers (CIS) |
Files
Original bundle
1 - 1 of 1