A framework for runtime V&V in business-critical Service Oriented Architectures

Service Oriented Architectures (SOA) present features that allow companies to react quickly to changes through the provision of new or modified services in their environments. However, the application of verification and validation (V&V) techniques in such environments is a very challenging task, due to their complexity and dynamic nature, hampering the application of traditional V&V. In this context, this paper justifies the needs for a runtime V&V approach, presents a framework for its implementation in critical SOA systems, and discusses some important challenges that must be addressed.

[1]  Andrea Bondavalli,et al.  A Service Discovery Approach for Testing Dynamic SOAs , 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

[2]  Andrea Bondavalli,et al.  A Testing Service for Lifelong Validation of Dynamic SOA , 2011, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.

[3]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

[4]  Mike P. Papazoglou,et al.  Service oriented architectures: approaches, technologies and research issues , 2007, The VLDB Journal.

[5]  Koushik Sen,et al.  Rule-Based Runtime Verification , 2004, VMCAI.

[6]  Hans-Gerhard Gross,et al.  Runtime Integration and Testing for Highly Dynamic Service Oriented ICT Solutions -- An Industry Challenges Report , 2009, 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques.

[7]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[8]  Bob Lockhart.  Software Verification and Validation: A Practitioner's Guide. Steven R. Rakitin. Published by Artech House, Norwood, Massachusetts, U.S.A., 1997. ISBN: 0-89006-889-5, 274 pages. Price: U.K. £47.00, U.S.A. $59.00, Hard Cover. , 1998 .

[9]  Osman Balci.  Validation, verification, and testing techniques throughout the life cycle of a simulation study , 1994, WSC '94.

[10]  Gerardo Canfora,et al.  Service-Oriented Architectures Testing: A Survey , 2009, ISSSE.

[11]  Steven R. Rakitin.  Software verification and validation - a practitioner's guide , 1997 .

[12]  Wei-Tek Tsai,et al.  A Framework for Contract-Based Collaborative Verification and Validation of Web Services , 2007, CBSE.

[13]  Jerry Banks,et al.  Handbook of simulation - principles, methodology, advances, applications, and practice , 1998, A Wiley-Interscience publication.

[14]  Marco Vieira,et al.  SOA-Scanner: An Integrated Tool to Detect Vulnerabilities in Service-Based Infrastructures , 2013, 2013 IEEE International Conference on Services Computing.

[15]  Glenford J. Myers,et al.  The art of software testing (2. ed.) , 2004 .

[16]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[17]  T.C. Lethbridge,et al.  Guide to the Software Engineering Body of Knowledge (SWEBOK) and the Software Engineering Education Knowledge (SEEK) - a preliminary mapping , 2001, 10th International Workshop on Software Technology and Engineering Practice.