Abstract: A method, non-transitory computer readable medium, and apparatus that extracts a plurality of attributes from a software requirements specification wherein each attribute is associated with a data type and one or more properties. Constraint representation syntax is applied to the extracted attributes based on the data type and the one or more properties associated with each attribute to generate a plurality of constraints, wherein the constraint representation syntax is a machine readable format. Each of the plurality of constraints is output and optionally associated with one or more nodes of a specification requirements model.

Abstract: Systems and methods for deriving a service level agreement for an application hosted on a cloud platform are defined. In accordance with at least one embodiment, deriving the service level agreement comprises packaging the application for deployment on a cloud platform, executing the packaged application in a sandboxed environment and capturing one or more application performance characteristics thereby, executing the packaged application in a sandboxed virtualized platform and further capturing one or more application performance characteristics thereby, mapping the one or more captured application performance characteristics to one or more service level objectives, and deriving a service level agreement on the basis of the one or more service level objectives, wherein the service level agreement comprises at least one of the one or more service level objectives.

Abstract: The present invention provides a method, system and computer program product for identifying regression test cases for a software application by identifying one or more units of functionalities of the software application, structuring the use case activity diagrams using the identified units of functionalities, modifying the structured use case activity diagrams when there is a change in the software application, and analyzing the modifications made to the structured use case activity diagrams to identify regression test cases for the changes in the software application.

Abstract: Methods and systems for monitoring and controlling a service level agreement are disclosed. A disclosed embodiment comprises a cloud platform hosting at least one application associated with at least one service level agreement, a monitoring module for collecting at least one metric relating to an application hosted on the cloud platform and terms of a service level agreement associated with each of the one or more metrics, and monitoring the metric collected against a service level objective in the service level agreement. The system may additionally comprise a controlling module for mapping a service level objective to a predefined operation rule, identifying one or more actions to be taken in accordance with the rule, assigning a priority to the one or more actions identified in accordance with the rule; and performing the one or more actions in accordance with the assigned priority of each of the one or more actions.

Abstract: A system and method for generating functional tests to verify code migrated from a first host to a second host. In one embodiment, source code is analyzed in order to generate functional tests that can be used for testing the re-hosted application. In particular, user-input scenarios are extracted from the source code and system output responses are determined based on the user-input scenarios. Functional tests can then be generated using the extracted user-input scenarios and output responses to ensure that the re-hosted application responds in a like manner.

Abstract: A method and system for managing communication between a plurality of team members are provided. The method includes, at a first agent associated with a team member, receiving inputs from a team member about an event associated with one or more team members. The method further includes sending an event request to agents of one or more team members and receiving responses from them. Based on the responses, the first agent either cancels the event, schedules the event, or reschedules the event.

Abstract: Embodiments of the disclosure relate to a method and system for measuring preventability metric of an application. The preventability metric quantifies the extent to which bugs and failures, and the causes for failures are diagnosed in the application. Also, the extent to which appropriate preventive or corrective activities are deployed before deployment of the application is provided. Further, a framework to monitor and control the preventability metric systematically is disclosed. The methodology is to obtain the efficiency of the preventive techniques used on the application, use the obtained efficiency measures to arrive at a preventability metric that quantifies the preventability of failures of the application.

Abstract: A system and method for generating functional tests to verify code migrated from a first host to a second host. In one embodiment, source code is analyzed in order to generate functional tests that can be used for testing the re-hosted application. In particular, user-input scenarios are extracted from the source code and system output responses are determined based on the user-input scenarios. Functional tests can then be generated using the extracted user-input scenarios and output responses to ensure that the re-hosted application responds in a like manner.

Abstract: The present invention provides a method, system and computer program product for generating one or more functional test cases for testing a software application. One or more use-case activity diagrams are developed for the software application on the basis of a predefined set of rules. The consistency of the use-case activity diagrams is checked automatically. Further, the consistent use-case activity diagrams are validated with one or more users. Furthermore, the one or more functional test cases are generated automatically from the validated use-case activity diagrams.

Abstract: The present invention provides a method, system and computer program product for identifying regression test cases for a software application by identifying one or more units of functionalities of the software application, structuring the use case activity diagrams using the identified units of functionalities, modifying the structured use case activity diagrams when there is a change in the software application, and analyzing the modifications made to the structured use case activity diagrams to identify regression test cases for the changes in the software application.

Abstract: The present invention provides a method, system and computer program product for generating one or more test cases for testing a software application by identifying one or more units of functionalities of the software application, structuring use cases of the software application, using the identified units of functionalities, generating a first set of use case activity diagrams from the structured use cases, and generating test cases from the generated use case activity diagrams.

Abstract: The present invention provides a method, system and computer program product for generating one or more functional test cases for testing a software application. One or more use-case activity diagrams are developed for the software application on the basis of a predefined set of rules. The consistency of the use-case activity diagrams is checked automatically. Further, the consistent use-case activity diagrams are validated with one or more users. Furthermore, the one or more functional test cases are generated automatically from the validated use-case activity diagrams.