Model-Based Testing of GUI-Driven Applications
作者： Vivien Chinnapongse , Insup Lee , Oleg Sokolsky , Shaohui Wang , Paul L. Jones
DOI: 10.1007/978-3-642-10265-3_19
关键词:
摘要: While thorough testing of reactive systems is essential to ensure device safety, few methods center on GUI-driven applications. In this paper we present one approach for the model-based such systems. Using AHLTA-Mobile case study demonstrate our approach, first introduce a high-level method modeling expected behavior We show how use NModel tool generate test cases from model and way execute these tests within application, highlighting challenges using an API-geared in GUI-based setting. Finally results study.
springer.com
core.ac.uk
sci-hub.st 参考文章(20)
Claude Jard, Thierry Jéron, TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems International Journal on Software Tools for Technology Transfer. ,vol. 7, pp. 297- 315 ,(2005) , 10.1007/S10009-004-0153-X
Ana CR Paiva, João CP Faria, Nikolai Tillmann, Raul AM Vidal, None, A model-to-implementation mapping tool for automated model-based GUI testing formal methods. pp. 450- 464 ,(2005) , 10.1007/11576280_31
Margus Veanes, Jonathan Jacky, Wolfram Schulte, Colin Campbell, Model-Based Software Testing and Analysis with C# ,(2007)
C. Lewis, A model of mental model construction ACM SIGCHI Bulletin. ,vol. 17, pp. 306- 313 ,(1986) , 10.1145/22339.22388
Elsa L. Gunter, Insup Lee, Jaime Lee, Wonhong Nam, Frederick Pearce, Steve Van Albert, Jiaxiang Zhou, Rajeev Alur, David Arney, Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System International Journal on Software Tools for Technology Transfer. ,vol. 5, pp. 308- 319 ,(2004) , 10.1007/S10009-003-0132-7
A.I. Wasserman, Extending State Transition Diagrams for the Specification of Human–Computer Interaction IEEE Transactions on Software Engineering. ,vol. SE-11, pp. 699- 713 ,(1985) , 10.1109/TSE.1985.232519
Jan Tretmans, Test Generation with Inputs, Outputs and Repetitive Quiescence Software - Concepts and Tools. ,vol. 17, pp. 103- 120 ,(1996)
Kwang Ting Cheng, A. S. Krishnakumar, Automatic functional test generation using the extended finite state machine model Proceedings of the 30th international on Design automation conference - DAC '93. pp. 86- 91 ,(1993) , 10.1145/157485.164585
Penelope A. Brooks, Atif M. Memon, Automated gui testing guided by usage profiles automated software engineering. pp. 333- 342 ,(2007) , 10.1145/1321631.1321681
José L. Silva, José Creissac Campos, Ana C.R. Paiva, Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees Electronic Notes in Theoretical Computer Science. ,vol. 208, pp. 77- 93 ,(2008) , 10.1016/J.ENTCS.2008.03.108