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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Computer (Long Beach, Calif.) Ročník 43; číslo 3; s. 59 - 66
Hlavní autoři: Halle, S., Bultan, T., Hughes, G., Alkhalaf, M., Villemaire, R.
Médium: Journal Article
Jazyk:angličtina
Vydáno: New York IEEE 01.03.2010
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
Bibliografie: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