Testing is an event-centric activity

Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012

Volumn , Issue , 2012, Pages 198-206

  Belli, Fevzi ^a   Beyazit, Mutlu ^a   Memon, Atif ^b  

^a UNIVERSITY OF PADERBORN   (Germany)

^b Institute of Advanced Computer Science   (United States)

Author keywords

Directed graph; Event; Event centric; Modeling; State; Testing

Indexed keywords

EVENT; EVENT SEQUENCE GRAPHS; EVENT-CENTRIC; EVENT-FLOW GRAPH; INPUT SPACE; STATE; TEST ADEQUACY CRITERIA; TEST CASE; TEST EFFICIENCY; TEST ENGINEERS; WORKFLOW MODELS;

C (PROGRAMMING LANGUAGE); DIRECTED GRAPHS; MODELS; SECURITY OF DATA; SOFTWARE RELIABILITY; TESTING;

GRAPHICAL USER INTERFACES;

EID: 84866907629     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERE-C.2012.24     Document Type: Conference Paper

References (27)

1. M. Abramovici, M.A. Breuer, A.D. Friedman, Digital Systems Testing and Testable Design, Computer Science Press, 1990.
2. K.I. Satish, "Tutorial on design for testability (DFT) "An ASIC design philosophy for testability from chips to systems"," Proc. 6th Annual IEEE International ASIC Conference and Exhibit, 1993, pp.130-139.
3. T.W. Williams, K.P. Parker, "Design for Testability - A Survey," IEEE Transactions on Computers, vol. 31, no. 1, Jan. 1982, pp. 2-15.
4. A.M. Memon, M.L. Soffa, M.E. Pollack, "Coverage Criteria for GUI Testing," Proc. 8th European Software Engineering Conference Held Jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE-9), ACM, 2001, pp. 256-267.
5. F. Belli, "Finite-State Testing and Analysis of Graphical User Interfaces," Proc. 12th International Symposium on Software Reliability Engineering (ISSRE 2001), IEEE, Nov. 2001, pp. 34-43.
6. OASIS ebXML Implementation Interoperability and Conformance (IIC) TC, "Event-driven Test Scripting Language," Working Draft 0.85, Nov. 7, 2007.
7. European Telecommunications Standards Institute (ETSI), "The Testing and Test Control Notation Version 3 (TTCN-3)," ETSI European Standard (ES) 201 873, 2003/2003.
8. Object Management Group, "Unified Modeling Language (UML)," http://www.omg.org/spec/UML/.
9. T.S. Chow, "Testing Software Design Modeled by Finite-State Machines," IEEE Transactions on Software Engineering, vol. SE-4, no. 3, pp.178-187, May 1978.
10. Fujiwara, S., G.v. Bochmann, F. Khendek, M. Amalou, A. Ghedamsi, "Test selection based on finite state models," IEEE Transactions on Software Engineering, vol. 17, no. 6, Jun. 1991, pp.591-603.
11. D. Lee, M. Yannakakis, "Principles and methods of testing finite state machines - A survey," Proceedings of the IEEE, vol. 84, no. 8, Aug 1996, pp. 1090-1123.
12. R. Hierons, H. Ural, "Generating a checking sequence with a minimum number of reset transitions," Automated Software Engineering, vol. 17, no. 3, 2010, pp. 217-250.
13. S. Mouchawrab, L.C. Briand, Y. Labiche, "Assessing, Comparing, and Combining Statechart-based testing and Structural testing: An Experiment," Proceedings of the ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM2007), IEEE, 2007, pp. 41-50.
14. E.F. Moore, "Gedanken Experiments on Sequential Machines," Automata Studies, Annals of Mathematical Studies, vol. 34, Princeton University Press, 1956, pp. 129-153.
15. G.H. Mealy, "A Method for Synthesizing Sequential Circuits," Bell Systems Technical Journal, vol. 34, Sep. 1955, pp.1045-1079.
16. J. Myhill, "Finite Automata and the Representation of Events," Technical Report, WADD TR 57-624, Wright Patterson AFB, 1957, pp. 112-137.
17. J.I. Ianow, "Logic Schemes of Algorithms, Problems of Cybernetics I," 1958, pp. 87-144. (in Russian)
18. K. Jensen, N. Wirth, "Pascal User Manual and Report," P.B. Hansen, D. Gries, C. Moler, G. Seegmüller, N. Wirth, Eds., Springer-Verlag, 1974.
19. R.D. Tennent, Specifying Software, Cambridge University Press, 2002.
20. B. Korel, "Automated Test Data Generation for Programs with Procedures," Proc. International Symposium on Software Testing and Analysis (ISSTA 1996), ACM, 1996, pp. 209-215.
21. F. Belli and C.J. Budnik, "Test Minimization for Human-Computer Interaction," International Journal of Applied Intelligence, vol. 26, no.2, 2007, pp. 161-174.
22. Private Communication: The idea of ESG extension, mainly reflecting Professor Ina Schieferdecker's idea, bases on early, unpublished discussions between her and Fevzi Belli, 2006
23. F. Belli, M. Linschulte, "On 'Negative' Tests of Web Applications," Annals of Mathematics, Computing & Teleinformatics, vol. 1, no. 5, 2008, pp. 44-56.
24. A.M. Memon, Q. Xie, "Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software," IEEE Transactions on Software Engineering, vol. 31, no. 10, Oct. 2005, pp. 884-896.
25. X. Yuan, A.M. Memon, "Using GUI Run-Time State as Feedback to Generate Test Cases," Proc. 29th International Conference on Software Engineering (ICSE 2007), IEEE, May 2007, pp. 396-405.
26. P. Brooks, A.M. Memon, "Automated GUI Testing Guided by Usage Profiles," Proc. 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), ACM, 2007, pp. 333-342.
27. F. Belli, A.T. Endo, M. Linschulte, A. Simao, "Model-based testing of web service compositions," IEEE 6th International Symposium on Service Oriented System Engineering (SOSE2011), IEEE, 12-14 Dec. 2011, pp.181-192.