Parasoft Corporation

Daniel John Dominguez

Adam K Kolawa

Wayne P Ariola, Jr

Marek Kucharski

Richard Kent Newman

James Edmond Clune, Iii

Neel Deepak Gandhi

William C McCusker, Iii

Sang Uk Seong

Jason R Schadewald

Joshua William Scoggins

Uwe Samitsch Kronholm

A method for tracking high-level source attribution of a generated assembly language code includes: receiving commands for compiling or linking a high-level language code; analyzing the received commands to determine whether a command is a compiler command for compiling the high-level language code or a link command for linking the low level object code; when the command is a compiler command: generating assembly language code by compiling the high-level language code, parsing the generated assembly language code to generate an internal representation for the assembly language code, storing the internal representation in a computer memory; and generating associated linker input artifacts for linking; when the command is a link command: updating the internal representation with the associated linker input artifacts; and generating a report file from the updated internal representation.

Method for tracking high-level source attribution of generated assembly language code

A computer implemented method for monitoring an overall health of a software project. The method includes: providing a plurality of business process checkers; storing a plurality of criteria, wherein each of the plurality of criteria measures an aspect of the software project process; storing an upper bound parameter and a lower bound parameter for each business process checker; assimilating data from one or more data sources related to aspects of the software project process; calculating, by each business process checker, a score for each criterion responsive to said upper bound and lower bound parameters and said data from said one or more data sources; calculating an overall health score for the software project from each calculated score for each criterion; and displaying an indication of the overall health of the software project responsive to the calculated overall health score.

System and method for automatically monitoring the overall health of a software project

A method for enforcing business rules in a computer program, using static analysis. The method includes: storing a plurality of business rules corresponding to a plurality of business processes representing a behavior of an enterprise; parsing a representation of business processes in the computer program to create a parse tree; extracting execution paths from the parse tree; creating control flow graphs and data flow graphs from the extracted execution paths, wherein the created control flow graphs and data flow graphs adhere to one or more of the stored business rules; following the created control flow graphs and data flow graphs; applying said one or more of the stored business rules to the created control flow graphs and data flow graphs; and reporting whether any of the applied rules is violated.

System and method for enforcement of business rules using static analysis

An integration platform for managing long term processes. The platform includes a runtime engine that manages the process instances and communication with the processes to provide Web services. The runtime engine includes an execution engine module and a prediction module. The prediction module generates predictions for executing processes for inbound and outbound messages and eventual process outcomes. The predictions may be utilized when requisite data is unavailable or under defined circumstances. The prediction module utilizes process history, process description and process state data to generate relevant prediction data. The prediction module may include a learning module that applies analytical algorithms to the process history and descriptions to create models for use by the prediction module.

System and method for predictive process management

Growing community of inventors

Azusa, CA, United States of America

Daniel John Dominguez