Article

Timed Extended Invariants for the Passive Testing of Web Services

Authors:

Edgardo Montes de Oca,

Bachar WehbiAuthors Info & Claims

ICWS '10: Proceedings of the 2010 IEEE International Conference on Web Services

Pages 592 - 599

https://doi.org/10.1109/ICWS.2010.17

Published: 05 July 2010 Publication History

Publisher Site

Abstract

The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise level integration. Formal testing of such Web-based technology is a key point to guarantee its reliability. In this paper, we choose a non-intrusive approach based on monitoring to propose a conformance passive testing methodology to check that a composed Web service respects its functional requirements. This methodology is based on a set of formal invariants representing properties to be tested including data and time constraints. Passive testing of an industrial system (that uses a composition of Web services) is briefly presented to demonstrate the effectiveness of the proposed approach.

Cited By

View all

Merayo MHierons RNúñez M(2018)Passive testing with asynchronous communications and timestampsDistributed Computing10.1007/s00446-017-0308-031:5(327-342)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/s00446-017-0308-0
Buga AFreudenthaler BMartinez-Gil JNemes SPaoletti L(2017)Management of accurate profile matching using multi-cloud service interactionProceedings of the 19th International Conference on Information Integration and Web-based Applications & Services10.1145/3151759.3151831(161-165)Online publication date: 4-Dec-2017
https://dl.acm.org/doi/10.1145/3151759.3151831
Che XMaag SNguyen HZaïdi F(2015)Guiding Testers' Hands in Monitoring ToolsProceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 944710.1007/978-3-319-25945-1_7(105-123)Online publication date: 23-Nov-2015
https://dl.acm.org/doi/10.1007/978-3-319-25945-1_7
Show More Cited By

Timed Extended Invariants for the Passive Testing of Web Services
1. Information systems
  1. World Wide Web

Recommendations

Online Testing Framework for Web Services
ICST '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation

Testing conceptually consists of three activities: test case generation, test case execution and verdict assignment. Using online testing, test cases are generated and simultaneously executed (i.e. the complete test scenario is built during test ...
Formal passive testing of timed systems: theory and tools

This paper presents a methodology to perform passive testing of timed systems. In passive testing, the tester does not interact with the implementation under test. On the contrary, execution traces are observed without interfering with the behaviour of ...
Passive testing of web services
WS-FM'10: Proceedings of the 7th international conference on Web services and formal methods

This paper presents a methodology to perform passive testing based on invariants of distributed systems with time information. This approach is supported by the following idea: A set of invariants represents the most relevant expected properties of the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ICWS '10: Proceedings of the 2010 IEEE International Conference on Web Services

July 2010

701 pages

ISBN:9780769541280

Publisher

IEEE Computer Society

United States

Publication History

Published: 05 July 2010

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 23 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Merayo MHierons RNúñez M(2018)Passive testing with asynchronous communications and timestampsDistributed Computing10.1007/s00446-017-0308-031:5(327-342)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/s00446-017-0308-0
Buga AFreudenthaler BMartinez-Gil JNemes SPaoletti L(2017)Management of accurate profile matching using multi-cloud service interactionProceedings of the 19th International Conference on Information Integration and Web-based Applications & Services10.1145/3151759.3151831(161-165)Online publication date: 4-Dec-2017
https://dl.acm.org/doi/10.1145/3151759.3151831
Che XMaag SNguyen HZaïdi F(2015)Guiding Testers' Hands in Monitoring ToolsProceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 944710.1007/978-3-319-25945-1_7(105-123)Online publication date: 23-Nov-2015
https://dl.acm.org/doi/10.1007/978-3-319-25945-1_7
Nguyen HPoizat PZaïdi FOssowski SLecca P(2012)Passive conformance testing of service choreographiesProceedings of the 27th Annual ACM Symposium on Applied Computing10.1145/2245276.2232020(1528-1535)Online publication date: 26-Mar-2012
https://dl.acm.org/doi/10.1145/2245276.2232020
Lalanne FChe XMaag S(2011)Data-centric property formulation for passive testing of communication protocolsProceedings of the 13th IASME/WSEAS international conference on Mathematical Methods and Computational Techniques in Electrical Engineering conference on Applied Computing10.5555/2183027.2183058(176-181)Online publication date: 17-Nov-2011
https://dl.acm.org/doi/10.5555/2183027.2183058

Abstract

Cited By

Recommendations

Online Testing Framework for Web Services

Formal passive testing of timed systems: theory and tools

Passive testing of web services

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations