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žené v:
Podrobná bibliografia
Vydané v:Computer (Long Beach, Calif.) Ročník 43; číslo 3; s. 59 - 66
Hlavní autori: Halle, S., Bultan, T., Hughes, G., Alkhalaf, M., Villemaire, R.
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: New York IEEE 01.03.2010
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:
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 prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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.
Bibliografia: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