1. Domain and value checking of web application invocation arguments
- Author
-
William G. J. Halfond
- Subjects
Web standards ,Web-based simulation ,medicine.medical_specialty ,Programming language ,business.industry ,Computer science ,computer.software_genre ,Dynamic Invocation Interface ,Web design ,medicine ,Web application ,Web service ,business ,computer ,Web modeling ,Data Web - Abstract
Invocations are widely used by many web applications, but have been found to be a common source of errors. This paper presents a new technique that can statically verify that an invocation's set of argument names, types, and request method match the constraints of a target interface. An empirical evaluation of the technique shows that it is successful at identifying previously unknown errors in web applications.
- Published
- 2011
- Full Text
- View/download PDF