Minimal spanning set for coverage testing of interactive systems

Lecture Notes in Computer Science

Volumn 3407, Issue , 2005, Pages 220-234

  Belli, Fevzi ^a   Budnik, Christof J ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER TESTING; GRAPH THEORY; MATHEMATICAL MODELS;

CONFORMANCE TESTING; INTERACTIVE SYSTEMS; SYSTEM UNDER TEST (SUT); TEST SETS;

INTERACTIVE COMPUTER SYSTEMS;

EID: 24644522056     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31862-0_17     Document Type: Conference Paper

References (26)

1. A. V. Aho, A. T. Dahbura, D. Lee, M. Ü. Uyar, "An Optimization Technique for Protocol Conformance Test Generation Based on UIO Sequences and Rural Chinese Postman Tours", IEEE Trans. Commun. 39, pp. 1604-1615, 1991
2. R. K. Ahuja, T. L. Magnanti, J. B. Orlin, "Network Flows-Theory, Algorithms and Applications", Prentice Hall, 1993.
3. F. Belli, "Finite-State Testing and Analysis of Graphical User Interfaces", Proc. 12th ISSRE, pp. 34-43, 2001
4. F. Belli, N. Nissanke, Ch. J. Budnik, "A Holistic, Event-Based Approach to Modeling, Analysis and Testing of System Vulnerabilities"; Technical Report TR 2004/7, Univ. Paderborn, 2004
5. Ch. J. Budnik, A. Hollmann, R. Moge, "GenPath - A Tool to Generate Paths of different Lengths of an Event Sequence Graph", Technical Report TR 2004/9, Univ. Paderborn, 2004
6. R.V. Binder, "Testing Object-Oriented Systems", Addison-Wesley, 2000
7. G. V. Bochmann, A. Petrenko, "Protocol Testing: Review of Methods and Relevance for Software Testing", Softw. Eng. Notes, ACM SIGSOFT, pp. 109-124, 1994
8. Tsun S. Chow, "Testing Software Designed Modeled by Finite-State Machines", IEEE Trans. Softw. Eng. 4, pp. 178-187, 1978
9. M.E. Delamaro, J.C. Maldonado, A. Mathur, "Interface Mutation: An Approach for Integration Testing", IEEE Trans. on Softw. Eng. 27/3, pp. 228-247, 2001
10. R.A. DeMillo, R.J. Lipton, F.G. Say ward, "Hints on Test Data Selection: Help for the ' Practicing Programmer", Computer 11/4, pp. 34-41, 1978
11. Edsger. W. Dijkstra, "A note on two problems in connexion with graphs.", Journal of Numerische Mathematik, Vol. 1, pp. 269-271, 1959
12. A. Gargantini, C. Heitmeyer, "Using Model Checking to Generate Tests from Requirements Specification", Proc. ESEC/FSE '99, ACM SIGSOFT, pp. 146-162, 1999
13. J. Jorge, N.J. Nunes, J.F. Cunha (Eds.), "Interactive Systems - Design, Specification, and Verification", LNCS 2844, Springer-Verlag, 2003
14. D.E. Knuth, "The Stanford GraphBase", Addison-Wesley, 1993
15. M. Marré, A. Bertolino, "Using Spanning Sets for Coverage Testing", IEEE Trans. on Softw. Eng. 29/11, pp. 974-984, 2003
16. A. M. Memon, M. E. Pollack and M. L. Soffa, "Automated Test Oracles for GUIs", SIGSOFT 2000, pp. 30-39, 2000
17. S. Naito, M. Tsunoyama, "Fault Detection for Sequential Machines by Transition Tours", Proc. FTCS, pp. 238-243, 1981
18. J. Offutt, L. Shaoying, A. Abdurazik, and Paul Ammann, "Generating Test Data From State-Based Specifications", The Journal of Software Testing, Verification and Reliability, 13(1):25-53, Medgeh 2003.
19. D.L. Parnas, "On the Use of Transition Diagrams in the Design of User Interface for an Interactive Computer System", Proc. 24th ACM Nat'1. Conf., pp. 379-385, 1969
20. B. Sarikaya, "Conformance Testing: Architectures and Test Sequences", Computer Networks and ISDN Systems 17, North-Holland, pp. 111-126, 1989
21. R. K. Shehady and D. P. Siewiorek, "A Method to Automate User Interface Testing Using Finite State Machines", in Proc. Int. Symp. Fault-Tolerant Computing FTCS-27, pp. 80-88, 1997
22. K. Tai, Y. Lei, "A Test Generation Strategy for Pairwise Testing", IEEE Trans. On Softw. Eng. 28/1, pp. 109-111, 2002
23. H. Thimbleby "The Directed Chinese Postman Problem", School of Computing Science, Middlesex University, London
24. D.B. West, "Introduction to Graph Theory", Prentice Hall, 1996
25. L. White and H. Almezen, "Generating Test Cases for GUI Responsibilities Using Complete Interaction Sequences", in Proc ISSRE, IEEE Comp. Press, pp. 110-119, 2000
26. WinRunner, Mercury Interactive, http://www.mercuryinteractive.com