International Business Machines Corporation

Annie T T Ying

Julian Timothy Dolby

John Erik Wittern

Mark N Wegman

Jim Alain Laredo

Clay Edwin Williams

Murray Robert Cantor

Yunhui Zheng

Robert Delmonico

Jinqiu Yang

Giuseppe Valetto

Avik Sinha

Sunita Chulani

Vedakkedathu T Rajan

A debugging tool and method for statically verifying programs that invoke web-based services through API calls is provided. The tool receives source code that comprises one or more invocation of web APIs for requesting web-based services. The tool also receives a set of web API specifications. The tool extracts a set of request information for each web API invocation in the source code, the set of request information including a usage string of an URL endpoint. The tool verifies whether the set of request information complies with the received web API specifications and reports a result of the verification.

Analysis to check web API code usage and specification

A tool that automatically generates a web API specification from a web API documentation is provided. The tool extracts a base uniform resource locator (URL) string from the received documentation by identifying URL strings in the documentation that are valid web application programming interface (API) calls. The tool infers path templates by identifying and clustering path expressions in the documentation that invoke the same URL endpoints. The tool extracts hypertext transfer protocol (HTTP) request type and query parameters associated with the inferred path templates. The tool generates a specification that includes the extracted base URL, the inferred path templates, the extracted HTTP request types, and the extracted query parameters.

Generating web API specification from online documentation

A method and system of reducing risk in the life cycle of a product, in one aspect, obtain one or more tasks required to achieve an overall task, determine risk impact of each task, the risk impact being an impact of each task on the likelihood of failure for the overall task and compute risk of overall task based on risk impacts of the tasks. The method and system utilize said risk impact of each task to schedule the tasks in such a way so as to reduce said risk of overall task as rapidly as possible.

Method for reducing risk associated with a task

Growing community of inventors

White Plains, NY, United States of America

Annie T T Ying