Fault-driven stress testing of distributed real-time software based on UML models

Software Testing Verification and Reliability

Volumn 21, Issue 2, 2011, Pages 101-124

  Garousi, Vahid ^a  

^a UNIVERSITY OF CALGARY   (Canada)

Author keywords

distributed systems; fault driven testing; model based testing; network traffic; search based software testing; stress testing; UML

Indexed keywords

DISTRIBUTED SYSTEMS; FAULT-DRIVEN TESTING; MODEL-BASED TESTING; NETWORK TRAFFIC; SEARCH-BASED; STRESS TESTING; UML;

COMPUTER SOFTWARE SELECTION AND EVALUATION; MODEL CHECKING; REAL TIME SYSTEMS; TESTING; UNIFIED MODELING LANGUAGE;

SOFTWARE TESTING;

EID: 79957517071     PISSN: 09600833     EISSN: 10991689     Source Type: Journal    
DOI: 10.1002/stvr.418     Document Type: Article

References (31)

1. Tsai JJP, Bi Y, Yang SJH, Smith RAW,. Distributed Real-Time Systems: Monitoring, Visualization, Debugging, and Analysis, Wiley: New York, 1996.
2. Kuhn R,. Sources of failure in the public switched telephone network. IEEE Computer 1997; 30 (4): 31-36.
3. Object Management Group (OMG). UML 2.1.2 Superstructure Specification, 2007.
4. Pender T,. UML Bible. Wiley: New York, 2003.
5. Garousi V, Briand L, Labiche Y,. Traffic-aware stress testing of distributed systems based on UML models. Proceedings of the International Conference on Software Engineering, Shanghai, China, 2006; 391-400. (Pubitemid 46600936)
6. Mathur AP,. Foundations of Software Testing. Addison-Wesley Professional: Reading, MA, 2008.
7. Avritzer A, Weyuker EJ,. The automatic generation of load test suites and the assessment of the resulting software. IEEE Transactions on Software Engineering 1995; 21 (9): 705-716.
8. Briand LC, Labiche Y, Shousha M,. Using genetic algorithms for early schedulability analysis and stress testing in real-time systems. Journal of Genetic Programming and Evolvable Machines 2006; 7 (2): 145-170. (Pubitemid 44099875)
9. Yang CSD,. Identifying potentially load sensitive code regions for stress testing. Proceedings of the Mid-Atlantic Student Workshop on Programming Languages and Systems, New Paltz, New York, 1996.
10. Zhang J, Cheung SC,. Automated test case generation for the stress testing of multimedia systems. Journal on Software Practice and Experience 2002; 32 (15): 1411-1435.
11. Nilsson R, Offutt J, Andler SF,. Mutation-based testing criteria for timeliness. Proceedings of the International Computer Software and Applications Conference, vol. 1, 2004; 306-312.
12. Nilsson R, Offutt R, Mellin J,. Test case generation for mutation-based testing of timeliness. Proceedings of the International Workshop on Model-Based Testing, Vienna, Austria, 2006; 97-114. (Pubitemid 44584838)
13. Gittens MS,. The extended operational profile model for usage-based software testing. Doctoral Thesis, University of Western Ontario, 2004.
14. Harrold MJ, Soffa ML,. Efficient computation of inter procedural definition-use chains. ACM Transactions on Programming Languages and Systems 1994; 16 (2): 175-204.
15. Object Management Group (OMG). UML Profile for Schedulability, Performance, and Time (v1.1), 2005.
16. Object Management Group (OMG). UML Profile for Modelling and Analysis of Real-Time and Embedded Systems (MARTE), Version 1.0 Beta (Finalization Underway), 2008. Available at: http://www.omg.org/cgi-bin/doc?ptc [6 August 2008 ].
17. Object Management Group (OMG). UML 2.0 Superstructure Specification, 2005.
18. Garousi V,. Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms. PhD Thesis, Department of Systems and Computer Engineering, Carleton University, August 2006.
19. Edwards AWE,. Cogwheels of the Mind: The Story of Venn Diagrams. Johns Hopkins University Press: Baltimore, MD, 2004.
20. Garousi V,. Fault-driven stress testing of distributed real-time systems based on UML models. Technical Report SERG-2007-04, University of Calgary, 2007. Available at: www.enel.ucalgary.ca/~vgarousi/downloads/papers/tr/SERG-2007-04. pdf[August 2009 ].
21. Garousi V, Briand L, Labiche Y,. Traffic-aware model-based stress testing of distributed systems. Technical Report SCE-05-13, Carleton University, 2005. Available at: http://www.sce.carleton.ca/squall/pubs/tech report/TR SCE-05-13.pdf[August 2009 ].
22. Brunton J, Digby G, Doherty A,. Operational philosophy for a metro power network SCADA system. Proceedings of the International Conference on Power System Control and Management, London, England, 1996; 176-180.
23. Chan E-K, Ebenhoh H,. The implementation and evolution of a SCADA system for a large distribution network. IEEE Transactions on Power Systems 1992; 7 (1): 320-326.
24. Toshida N, Uesugi M, Nakata Y, Nomoto M, Uchida T,. Open distributed EMS/SCADA system. Hitachi Review 1998; 47 (5): 208-213. (Pubitemid 128790036)
25. Borland Corporation. Borland Delphi, 2007. Available at: www.borland.com/delphi [August 2009 ].
26. Garousi V, Briand L, Labiche Y,. Traffic-aware stress testing of distributed systems based on UML models. Technical Report SCE-05-13, Carleton University, 2005.
27. Wikipedia. Northeast Blackout of 2003, 2007. Available at: http://en.wikipedia.org/wiki/2003-North-America-blackout [August 2009 ].
28. Garousi V,. GARUS (Genetic Algorithm-based test Requirement tool for real-time distribUted Systems), 2006. Available at: http://www.enel.ucalgary.ca/ vgarousi/tools/GARUS [August 2009 ].
29. Garousi V, Briand L, Labiche Y,. Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms. Elsevier Journal of Systems and Software, Special Issue on Model-Based Software Testing 2008; 81 (2): 161-185. (Pubitemid 350245523)
30. Smith CU, Williams LG,. Software performance engineering. Encyclopedia of Software Engineering (2nd edn). Wiley: New York, 2002.
31. Lazowska ED, Zahorjan J, Graham GS, Sevcik KC,. Quantitative System Performance-Computer System Analysis Using Queueing Network Models. Prentice-Hall: Englewood Cliffs, NJ, 1984.