摘要:
An Internet-connected portal system has a data repository, a data-gathering system, a request processor, a plurality of report algorithms, and a report processor. The request processor receives a request from a user and matches the request to an individual one of the report algorithms. The data-gathering subsystem accesses plural Internet sites associated with the user and extracts raw data therefrom according to needs of the report algorithm. The report processor processes the raw data according to the report algorithm into metasummarized information defined by the report algorithm, and the portal system transmits the metasummarized information as a report to a destination associated with the report request. In some cases there is an aggregated-data database in the data repository storing aggregated data retrieved for specific users periodically, and the request processor checks the aggregated-data database for needed data before requiring the data-gathering system to retrieve data from the associated Internet sites. In the instance that the needed data is stored in the aggregated-data database, the report is prepared from the aggregated data. Reports can be in a mix of text and graphic formats.
摘要:
A network-based URL management and data gathering system is provided. The system utilizes a client-side utility for capturing URLs during normal Web browsing, and a server-side utility for organizing and managing the captured URLs on the network. The server-side utility periodically sends a request to a proxy browsing and data gathering utility for navigating to and retrieving data from Web pages associated with the captured URLs. Data retrieved from the Web pages is returned in summary form for presentation to subscribing users. In preferred embodiments, the system is practiced on the Internet network between users operating an Internet-capable appliance having an Internet connection, and an Internet portal service.
摘要:
An Internet-connected portal system has a data repository, a data-gathering system, a request processor, a plurality of report algorithms, and a report processor. The request processor receives a request from a user and matches the request to an individual one of the report algorithms. The data-gathering subsystem accesses plural Internet sites associated with the user and extracts raw data therefrom according to needs of the report algorithm. The report processor processes the raw data according to the report algorithm into metasummarized information defined by the report algorithm, and the portal system transmits the metasummarized information as a report to a destination associated with the report request. In some cases there is an aggregated-data database in the data repository storing aggregated data retrieved for specific users periodically, and the request processor checks the aggregated-data database for needed data before requiring the data-gathering system to retrieve data from the associated Internet sites. In the instance that the needed data is stored in the aggregated-data database, the report is prepared from the aggregated data. Reports can be in a mix of text and graphic formats.
摘要:
A network-based URL management and data gathering system is provided. The system utilizes a client-side utility for capturing URLs during normal Web browsing, and a server-side utility for organizing and managing the captured URLs on the network. The server-side utility periodically sends a request to a proxy browsing and data gathering utility for navigating to and retrieving data from Web pages associated with the captured URLs. Data retrieved from the Web pages is returned in summary form for presentation to subscribing users. In preferred embodiments, the system is practiced on the Internet network between users operating an Internet-capable appliance having an Internet connection, and an Internet portal service.
摘要:
An Internet portal system for accomplishing a multi-component task involving interaction with one or more Internet Web sites includes an Internet-connected server having access to client-related data, an internet-capable client station usable by a client, and software executing on the server for managing individual component tasks in execution of the multi-component task. The software, in response to initiation of a multi-component task specified by the client, defines the component tasks, identifies Internet Web sources for completion of the tasks, manages interaction with the identified Web sites gathering results of the interactions, integrates the gathered results, and communicates final results to the client at the client station. Tasks may be such as trip planning and may include payment for services rendered at Web sites, such as airline reservations, car rentals and the like. A similar system is provided for broadcasting messages to multiple Internet destinations, and further for gathering answers to such messages and communicating the answers to the client.
摘要:
An Internet search system is structured for efficient data retrieval from semi-structured data sources. The configurable Internet WEB search system has a browser module for navigating to and displaying a WEB page, a block selection and configuration function having input tools for a user to select at least one block portion of a displayed WEB page for data retrieval, a data-type input function for a user to denote data type to be extracted from a selected block portion, and a search implementation function for implementing a search under the search system. The data type entered by the data input function is associated with a WEB page block selected, and upon search implementation the block selected is searched for the data type requested, and data found is retrieved to be provided to the user. In a preferred embodiment portions of the system are executed on a user station, and other portions on a Portal server to which the user may subscribe.
摘要:
In one embodiment, analyze client-tier source code of a client-server software application to extract one or more software modules that handle user-input data of the software application. For each one of the software modules, extract from the software module one or more user-input constraints placed on the user-input data, comprising: analyze source code of the software module to determine one or more failure points in the source code; perform symbolic execution on the software module to extract one or more first expressions that cause the software module to reach the failure points, respectively; obtain a second expression as the disjunction of all the first expressions; obtain a third expression as the negation of the second expression; and extract the user-input constraints from the third expression. Determine one or more user-input data that satisfy all the user-input constraints.
摘要:
In accordance with a particular embodiment of the present invention, a method is offered that includes supporting requirement validation middleware and capturing global requirements or properties for one or more web applications. A template-based formalism is employed to capture the requirements or properties. A small set of relevant temporal patterns are provided from which to choose in capturing the global requirements or properties. In specific embodiments, the method uses a set of pre-coded semi-configurable checkers. A Java-like syntax is used to specify expressions. A library of atomic entities or events (to compose expressions) is automatically generated. In still other embodiments, a small set of light-weight automatically-customizable checkers are employed in capturing the global requirements or properties. The method can be used with both formal and semi-formal techniques.
摘要:
In one embodiment, a method includes automated extraction of the Page Transition Graph (PTG) model for model-based analysis of web applications. Specifically, the method includes accessing one or more JAVASERVER PAGES (JSP) files, one or more Extensible Markup Language (XML) configuration files, and one or more class files of a web application; parsing the JSP files and extracting data in the JSP files that encode user or server events supported by the event-driven application; parsing the XML configuration files and extracting data in the XML configuration files that encode definitions used by the event-driven application when deployed; parsing the class files and extracting data in the class files that encode one or more actions or one or more forms used by the event-driven application when deployed; storing the extracted data as an abstract syntax tree (AST); populating a page transition graph (PTG) of the event-driven application based on the AST; and checking the extracted PTG for navigation errors such as unreachable pages, ghost pages and undefined transitions.
摘要:
In one embodiment, a method may include accessing a particular page of Web application that includes an interactive form having at least one field for entry of data by a user of the Web application, the interactive form rendered by the Web application based on code for the interactive form. The method may also include extracting input validation code from the code, the input validation code including at least one constraint on data entered into the at least one field. The method may additionally include extracting the at least one constraint based on an analysis of the input validation code. The method may further include solving, for the at least one field, for a string value based at least on the at least one constraint for the at least one field. The may also include automatically entering, into the at least one field, the string value. The method may additionally include automatically submitting the interactive form, including the string value entered into the at least one field.