A model-based approach for testing GUI using hierarchical predicate transition nets

Proceedings - International Conference on Information Technology-New Generations, ITNG 2007

Volumn , Issue , 2007, Pages 366-370

  Reza, Hassan ^a   Endapally, Sandeep ^a   Grant, Emanuel ^a  

^a UNIVERSITY OF NORTH DAKOTA   (United States)

Author keywords

Coverage criteria; GUI testing; HPrTNs; Model based software testing; Software testing

Indexed keywords

HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; SOFTWARE TESTING;

COVERAGE CRITERIA; MODEL BASED SOFTWARE TESTING;

GRAPHICAL USER INTERFACES;

EID: 34548128024     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITNG.2007.9     Document Type: Conference Paper

References (16)

1. L. Peterson. Petri Net Theory and Modeling of the Systems. Prentice Hall, 1981.
2. A. Memon, M. Soffa and M. Pollack, Coverage Criteria for GUI testing, ACM SIGSOFT Software Engineering Notes, Notes.vol.26 no.5, September 2001.
3. W. Newman. A System for Interactive Graphical Programming, Spring Joint Computer Conference, AFIPS Press, May 1968.
4. D. Rosenthal. Managing Graphical Resources, Computer Graphics, Jan 1983.
5. P. Palanque, and R. Bastide, Petri net based design of user driven interfaces using the interactive cooperative objects formalism, L.I.S Universite Toulouse I Place Anatole France,31042 Toulouse Cedex, France.
6. M Green, A survey of three dialog models, ACM transactions on graphics vol.5, no.3 pg:244-275, July 1986.
7. H. Zhu, and X. He, A theory of testing high level Petri nets, Oxford Brookes University, UK.
8. P. Gerrard, Testing GUI Applications, Eurostar, Edinburgh UK, 24-28 November 1997.
9. X. He, and J. Lee, A Methodology for Constructing predicate transition net specifications, Software-Practice and experience, vol. 21, no.8, pg: 845-875 August 1991.
10. S. Rapps, and E. Weyuker. Selecting Software Test Data Using Data Flow Information. IEEE Transactions on Software Engineering, vol.11, no.4, pg:367-375, April 1985.
11. th World Computer Congress, Beijing, China, August 2000.
12. E. Juan, J. Tasai, and T. Murata. Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules. ACM Transactions on Programming Languages and Systems, vol.20, no.5, pg: 917-979, September 1988.
13. P. Jorgensen. Software Testing: A Craftsman's Approach. CRC Press, Inc, 1995.
14. I. El Far, and J. Whittaker, J.A. Model-based Software Testing. In Encyclopedia on Software Engineering, published by Wiley, 2001.
15. H. Reza, E. Grant: Using Architectural Modeling for Integration Testing. Software Engineering Research and Practice (SERP '05), pg: 330-337, June 2005.
16. th International Symposium on Fault-Tolerant Computing, Seattle, June 1997.