Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
AXIS: The Next Generation of Java Soap
AXIS: The Next Generation of Java Soap
Testing transition systems: an annotated bibliography
Modeling and verification of parallel processes
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
Service-Oriented Computing: Key Concepts and Principles
IEEE Internet Computing
The monitorability of service-level agreements for application-service provision
WOSP '07 Proceedings of the 6th international workshop on Software and performance
Model-Based Generation of Testbeds for Web Services
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications
SEAA '08 Proceedings of the 2008 34th Euromicro Conference Software Engineering and Advanced Applications
The Future of Software: Adaptation and Dependability
Software Engineering
Service-Oriented Architectures Testing: A Survey
Software Engineering
Model-based testing of environmental conformance of components
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Pex: white box test generation for .NET
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
CUTE and jCUTE: concolic unit testing and explicit path model-checking tools
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Test generation based on symbolic specifications
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
A symbolic framework for model-based testing
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
EAGLE: engineering software in the ubiquitous globe by leveraging uncErtainty
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Integration architecture synthesis for taming uncertainty in the digital space
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Testing web service's compositions following TASSA methodology
Proceedings of the 14th International Conference on Computer Systems and Technologies
| Hi-index | 0.00 |
The emergence of the Service Oriented Architecture (SOA) is changing the way in which software applications are developed. A service-oriented application consists of the dynamic composition of autonomous services independently developed by different organizations and deployed on heterogenous networks. Therefore, validation of SOA poses several new challenges, without offering any discount for the more traditional testing problems. In this chapter we overview the PLASTIC validation framework in which different techniques can be combined for the verification of both functional and extra-functional properties, spanning over both off-line and on-line testing stages. The former stage concerns development time testing, at which services are exercised in a simulated environment. The latter foresees the monitoring of a service live usage, to dynamically reveal possible deviations from the expected behaviour. Some techniques and tools which fit within the outlined framework are presented.