Performability modelling tools and techniques
Performance Evaluation
Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package
Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study
IEEE Transactions on Software Engineering
AXIS: The Next Generation of Java Soap
AXIS: The Next Generation of Java Soap
STG: A Symbolic Test Generation Tool
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Early performance testing of distributed software applications
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Precise Service Level Agreements
Proceedings of the 26th International Conference on Software Engineering
Service-Oriented Computing: Key Concepts and Principles
IEEE Internet Computing
Automating experimentation on distributed testbeds
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Performance engineering of service compositions
Proceedings of the 2006 international workshop on Service-oriented software engineering
Model driven benchmark generation for web services
Proceedings of the 2006 international workshop on Service-oriented software engineering
The monitorability of service-level agreements for application-service provision
WOSP '07 Proceedings of the 6th international workshop on Software and performance
A Test Bed for Web Services Protocols
ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
A QoS test-bed generator for web services
ICWE'07 Proceedings of the 7th international conference on Web engineering
Model-based testing of environmental conformance of components
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
A test generation framework for quiescent real-time systems
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
Data Flow-Based Validation of Web Services Compositions: Perspectives and Examples
Architecting Dependable Systems V
Service-Oriented Architectures Testing: A Survey
Software Engineering
The PLASTIC Framework and Tools for Testing Service-Oriented Applications
Software Engineering
Automatic Test Case Generation for Interacting Services
Service-Oriented Computing --- ICSOC 2008 Workshops
A programming model for self-adaptive open enterprise systems
Proceedings of the 5th International Workshop on Middleware for Service Oriented Computing
Testing in Service Oriented Architectures with dynamic binding: A mapping study
Information and Software Technology
CAGE: customizable large-scale SOA testbeds in the cloud
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
Dynamic plans for integration testing of self-adaptive software systems
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Empirical evaluation of cloud-based testing techniques: a systematic review
ACM SIGSOFT Software Engineering Notes
Defining an SLA-Aware method to test service-oriented systems
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Hi-index | 0.00 |
A Web Service is commonly not an independent software entity, but plays a role in some business process. Hence, it depends on the services provided by external Web Services, to provide its own service. While developing and testing a Web Service, such external services are not always available, or their usage comes along with unwanted side effects like, e.g., utilization fees or database modifications. We present a model-based approach to generate stubs for Web Services which respect both an extra-functional contract expressed via a Service Level Agreement (SLA), and a functional contract modeled via a state machine. These stubs allow a developer to set up a testbed over the target platform, in which the extra-functional and functional behavior of a Web Service under development can be tested before its publication.