Runtime Verification of Web Service Interface Contracts

Asynchronous JavaScript and XML (Ajax) is a collection of technologies used to develop rich and interactive Web applications. A typical Ajax client runs locally in the user's Web browser and refreshes its interface on the fly in response to user input. Using this method with the AWS-ECS let us...

Full description

Saved in:
Bibliographic Details
Published in:Computer (Long Beach, Calif.) Vol. 43; no. 3; pp. 59 - 66
Main Authors: Halle, S., Bultan, T., Hughes, G., Alkhalaf, M., Villemaire, R.
Format: Journal Article
Language:English
Published: New York IEEE 01.03.2010
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:
Automatic testing
Computer simulation
Contracts
Documentation
Electronic commerce
Information storage
Information storage and retrieval
Information systems
Internet
Java
Mathematical models
Monitoring
Runtime
Software engineering
Testing and debugging
User interfaces
Web services
Web-based services
Websites
XML
ISSN:0018-9162, 1558-0814
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Asynchronous JavaScript and XML (Ajax) is a collection of technologies used to develop rich and interactive Web applications. A typical Ajax client runs locally in the user's Web browser and refreshes its interface on the fly in response to user input. Using this method with the AWS-ECS let us automatically generate test sequences and detect two deviations of their service implementation with respect to the online documentation provided, in less than three minutes of testing. We also provided a framework that allows the runtime monitoring of both client and server contract constraints with minimal modification to an existing Ajax application code. Experiments with the Amazon E-Commerce Service demonstrate the advantages of using a model-based approach for the runtime testing and monitoring of Web applications.
Bibliography:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-1
ObjectType-Feature-2
content type line 23
ISSN:0018-9162
1558-0814
DOI:10.1109/MC.2010.76