Abstract: This disclosure relates generally to method and system for incremental functional approach-based dataflow analysis. Static dataflow analysis can take hours to days depending on size and complexity of the code. In today's agile development environment faster analysis is required which can handle incremental changes to the code in an efficient manner. The method includes by performing a static dataflow analysis over a set of functions of a source code. Further, obtains a set of impacted functions from the source code and executes a dataflow analysis over the set of impacted functions of the source code. The method performs an incremental functional approach-based dataflow analysis over the set of impacted functions including an incremental bottom-up analysis and an incremental top-down analysis. The method efficiently updates results of dataflow analysis in response to incremental changes which is fast and scalable and minimizes the number of procedures by comparing summaries across the versions.

Abstract: This disclosure relates generally to method and system for identifying static analysis alarms based on semantics of changed source code. The disclosed technique is integrated in the proprietary static analysis tool that identifies semantics of the change and reports only impacted alarms. The method receives source code and a property over variables to be verified for identifying one or more impacted alarms. Further, an incremental analysis based on the one or more change program points are performed to mark one or more impacted functions in the current version of the source code and then generating a data flow analysis (DFA) and a program dependence graph (PDG) for the one or more impacted functions. Further, a change-based alarm identification technique is utilized for the one or more impacted static analysis alarms from the one or more impacted functions in the current version of source code based on semantics of change.

Abstract: The invention disclosed relates to the field of requirement specification in application development. This invention provides a system for business process automation which can generate an executable optimized requirements set by capturing the requirements from the users and processing them to create prototypes. Feedback is obtained from external users on the played prototypes to correct and enhance the requirements to obtain an optimized, complete, correct and consistent requirements set. This helps in the successful development of business application with minimal errors in a very short time.

Abstract: The invention disclosed relates to the field of requirement specification in application development. This invention provides a system for business process automation which can generate an executable optimized requirements set by capturing the requirements from the users and processing them to create prototypes. Feedback is obtained from external users on the played prototypes to correct and enhance the requirements to obtain an optimized, complete, correct and consistent requirements set. This helps in the successful development of business application with minimal errors in a very short time.

Abstract: A method of automation of business processes and apparatus therefor consisting of capturing requirements for carrying out of the process discretely and separately from hands on users and from managers; classifying the captured requirements into data (i) from the functional requirements viewpoint as herein defined; (ii) from the functional architectural viewpoint as herein defined; (iii) from the technical architecural viewpoint as herein defined; and (i) from the deployment architectural requirements viewpoint as herein defined; providing templates for the requirement data; providing a tool for posting requirements in a machine readable format; using the posting tool to post the classified captured requirements into the templates; providing a functional requirement analyzer for analyzing the posted data in the functional requirements view point; analyzing the requirements posted in functional requirement viewpoint template, including the step of error removal by feed back; processing the analyzed functional r