A dynamic behaviour and reliability evaluation method for applications that are based on asynchronous processing nodes

ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops

Volumn , Issue , 2010, Pages 309-318

  Palviainen, Marko ^a  

^a VTT TECHNICAL RESEARCH CENTRE OF FINLAND   (Finland)

Author keywords

Behaviour evaluation; ComponentBee; Parallel processing; Reliability evaluation

Indexed keywords

ASYNCHRONOUS PROCESSING; DISTRIBUTED APPLICATIONS; DYNAMIC BEHAVIOURS; JAVA APPLICATIONS; MULTITHREADED; PARALLEL PROCESSING; PROCESSING NODES; RELIABILITY EVALUATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; RELIABILITY; SOFTWARE TESTING; VERIFICATION;

QUALITY ASSURANCE;

EID: 77953795984     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSTW.2010.45     Document Type: Conference Paper

References (47)

1. D. C. Arnold, D. H. Ahn, B. R. De Supinski, G. L. Lee, B. P. Miller, and M. Schulz, "Stack trace analysis for large scale debugging," presented at 21st International Parallel and Distributed Processing Symposium, 2007.
2. Artho, C. et al. JNuke: Efficient Dynamic Analysis for Java. in 16th International Conference on Computer Aided Verification (CAV). 2004. Boston, Massachusetts, USA.
3. P. C. Bates, "Debugging heterogeneous distributed systems using event-based models of behavior," ACM Transactions on Computer Systems (TOCS), vol. 13, pp. 1-31, 1995.
4. P. C. Bates and J. C. Wileden, "EDL: A basis for distributed system debugging tools," presented at 15th Hawaii International Conference on System Sciences, 1982.
5. D. Becker, F. Wolf, W. Frings, M. Geimer, B. J. N. Wylie, and B. Mohr, "Automatic trace-based performance analysis of metacomputing applications," presented at the International Parallel & Distributed Processing Symposium (IPDPS), Long Beach, CA, 2007.
6. A. R. Bernat and B. P. Miller, "Incremental call-path profiling," Concurrency and Computation: Practice and Experience, vol. 19(11), pp. 1533-1547, 2007.
7. Burtscher, M. et al. The VPC Trace-Compression Algorithms. IEEE Transactions on Computers, 2005. 54(11): Pp. 1329-1344.
8. Available at: http://www.eclipse.org/.
9. Available at: http://www.eclipse.org/modeling/emf/.
10. Available at: http://www.eclipse.org/gmf.
11. Available at: http://www.eclipse.org/tptp/.
12. Available at: http://www.eclipse.org/uml2/.
13. Everett, W., S. Keene Jr, and A. Nikora Applying software reliability engineering in the 1990s. IEEE Transactions on Reliability, 1998. 47(3).
14. J. Gao, Y. Wu, L. Chang, and S. Meldal, "Measuring Component-Based Systems Using a Systematic Approach and Environment," presented at Second IEEE International Workshop on Service-Oriented System Engineering (SOSE '06), 2006.
15. Garshol, L.M. BNF and EBNF: What are they and how do they work? Available at: www.garshol.priv.no/download/text/bnf.html. 2002.
16. M. Geimer, B. Kuhlmann, F. Pulatova, F. Wolf, and B. J. N. Wylie, "Scalable collation and presentation of call-path profile data with CUBE," presented at Parallel Computing: Architectures, Algorithms and Applications (ParCo 2007), 2007.
17. K. Goševa-Popstojanova and K. S. Trivedi, "Architecturebased approach to reliability assessment of software systems," Performance Evaluation, vol. 45, pp. 179-204, 2001.
18. Hamou-Lhadj, A. and T.C. Lethbridge A survey of trace exploration tools and techniques. Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, 2004: p. 42-55.
19. Harrow, J. Runtime Checking of Multithreaded Applications with Visual Threads. in SPIN Model Checking and Software Verification. 2000: Springer.
20. Havelund, K. and G. Rosu An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design, 2004. 24(2): Pp. 189-215.
21. J. Horgan and A. Mathur, "Software testing and reliability," Handbook of software reliability engineering, pp. 531-566, 1996.
22. A. Immonen, "A method for predicting reliability and availability at the architectural level, in " presented at Software Product-Lines - Research Issues in Engineering and Management, Berlin, Heidelberg, 2006.
23. A. Immonen and E. Niemelä, "Survey of reliability and availability prediction methods from the viewpoint of software architecture," Software and Systems Modelling, vol. 7(1), pp. 49-65, 2008.
24. Immonen, A. and Palviainen, M. Trustworthiness Evaluation and Testing of Open Source Components. in Seventh International Conference on Quality Software (QSIC'07) 2007. Portland, Oregon, USA: IEEE.
25. Jalote, P. et al. Measuring Reliability of Software Products. in 15th International Symposium on Software Reliability Engineering (ISSRE). 2004. Saint-Malo, Bretagne, France.
26. Available at: https://javacc.dev.java.net/.
27. Jorgensen, P.C. and C. Erickson Object-oriented integration testing. Communications of the ACM, 1994. 37(9): Pp. 30-38.
28. Available at: http://www.quest.com/jprobe/features-benefits.aspx.
29. J. P. Katoen, "Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques," presented at Conference on Design, Automation, and Test in Europe, Munich, Germany, 2008.
30. Koskimies, K. et al. Automated support for modelling OO software. IEEE Software, 1998. 15(1): Pp. 87-94.
31. Long, B., D. Hoffman, and P. Strooper Tool support for testing concurrent Java components. Software Engineering, IEEE Transactions on, 2003. 29(6): Pp. 555-566.
32. J. Loyall, D. Bakken, R. Schantz, J. Zinky, D. Karr, R. Vanegas, and K. Anderson "QoS aspect languages and their runtime integration," Proceedings of the 4th Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers, Berlin, Heidelberg, New York, Tokyo, 1998.
33. M. R. Lyu, "Software reliability engineering: A roadmap," presented at Future of Software Engineering (FOSE'07), 2007.
34. C. E. McDowell and D. P. Helmbold, "Debugging concurrent programs," ACM Computing Surveys (CSUR), vol. 21, pp. 593-622, 1989.
35. Murphy, B. and Gent, T. Measuring System and Software Reliability using an Automated Data Collection Process. Quality and Reliability Engineering International, 1995. 11(5): Pp. 341 - 353.
36. OMG, Unified Modelling Language (UML), version 2.1.1 2007, Object Management Group.
37. S. C. Raju, R. Rajkumar, and F. Jahanian, "Monitoring Timing Constrains in Distributed Real-Time Systems," presented at the 13th IEEE Real-Time Systems Symposium, 1992.
38. Rodrigues, G. N., Rosenblum, D. S, Uchitel, S. Reliability Prediction in Model-Driven Development. MoDELS 2005, Briand, L, Williams, C (Eds.), LNCS 3713, pp. 339-353.
39. Rubel, D. The Heart of Eclipse. ACM Queue, 2006. 4(6): Pp. 36 - 44.
40. S. Schwiderski, "Monitoring the behaviour of distributed systems," University of Cambridge, 1996.
41. Stoller, S.D. Model-Checking Multi-Threaded Distributed Java Programs. International Journal on Software Tools for Technology Transfer, 2002. 4(1): Pp. 71-91.
42. Systä, T., K. Koskimies, and Muller, H. Shimba - an environment for reverse engineering Java software systems. Software-Practice and Experience, 2001. 31(4): Pp. 371-94.
43. H. Thane, Monitoring, Testing and Debugging of Distributed Real-Time Systems. Stockholm: Royal Institute of Technology, 2000.
44. C. D. Turner and D. J. Robson, "The state-based testing of object-oriented programs," presented at Conference on Software Maintenance (CSM-93), 1993.
45. Available at: http://stylebase.tigris.org/.
46. Visser, W. et al. Model Checking Programs. Automated Software Engineering Journal, 2002. 10(2).
47. F. Wolf and B. Mohr, "Automatic performance analysis of hybrid MPI/OpenMP applications," Journal of Systems Architecture, vol. 49, pp. 421-439, 2003.