Systems and methods for automated support for repairing input model errors

• US 8,769,516 B2
• Filed: 08/19/2010
• Issued: 07/01/2014
• Est. Priority Date: 08/19/2010
• Status: Active Grant

• Current Assignee: International Business Machines Corporation
• Original Assignee: International Business Machines Corporation
• Inventors: Dhoolia, Pankaj, Kumarasamy Mani, Senthil Kumar, Sinha, Saurabh, Sinha, Vibha Singhal
• Primary Examiner(s): Singh, Gurkanwaljit
• Assistant Examiner(s): Miller, Alan S
• Application Number:
  US12/859,678
• Publication Number:
  US 20120047391A1
• Time in Patent Office: 1,412 Days
• Field of Search: None
• US Class Current: 717/154
• CPC Class Codes: G06F 11/3604 Software analysis for verifying properties of programs byte-code verification G06F9/44589

Abstract

Systems and associated methods for automated repair support for input model faults are described. Embodiments automate generation of fault repair support by producing one or more repair action suggestions for a given input model containing faults. Responsive to an indication of one or more faults within the model, embodiments utilize a fault index to ascertain the nature of faults within the model and to compile one or more repair action suggestions. Users can review the repair action suggestions, and preview the impact each of these suggestions will have on the model if implemented, and select an appropriate repair action for repairing a model containing faults.

Claims

1. A method for automated repair support for input model errors comprising:

utilizing a processor to execute computer code configured to perform the steps of;

accessing an input model;

transforming the input model to produce an output;

accessing input indicating one or more errors within the output;

said transforming comprising propagating at least one taint mark to the output and generating a taint log;

creating a fault index, associated with the taint log, for the one or more errors, the fault index relating the one or more errors to the at least one taint mark;

using the fault index to compile one or more repair action suggestions to repair the one or more errors; and

outputting the one or more repair action suggestions.

2. The method according to claim 1, wherein to compile one or more repair action suggestions to repair the one or more errors further comprises conducting a fault index analysis to identify one or more repair action suggestions.

3. The method according to claim 1, wherein to compile one or more repair action suggestions to repair the one or more errors further comprises conducting a pattern analysis to identify one or more repair action suggestions.

4. The method according to claim 3, wherein conducting a pattern analysis to identify one or more repair action suggestions further comprises clustering elements of the output corresponding to execution paths into one or more equivalence classes based on structure within the taint log.

5. The method according to claim 4, wherein conducting a pattern analysis to identify one or more repair action suggestions further comprises utilizing the elements clustered to identify the one or more repair action suggestions.

6. The method according to claim 1, further comprising pruning the one or more repair action suggestions.

7. The method according to claim 6, wherein pruning the one or more repair action suggestions further comprises removing one or more of a duplicate repair action suggestion and an invalid repair action suggestion.

8. The method according to claim 7, wherein pruning the one or more repair action suggestions further comprises:

executing a modification of the input model using the one or more repair action suggestions; and

comparing one or more additional outputs of said transform with the output.

9. The method according to claim 1, further comprising generating an indication of an impact a selected repair action suggestion would have on the input model if implemented.

10. The method according to claim 1, further comprising applying the one or more repair action suggestions to modify the input model.

11. The method according to claim 1, further comprising applying the one or more repair action suggestions to modify the input model responsive to a user selection of a repair action suggestion.

12. The method according to claim 1, wherein the fault index further corresponds to an error marker in the output.

13. The method according to claim 12, wherein the fault index further includes metadata, and wherein the metadata of the fault index comprises runtime information corresponding to one or more of:

entities being accessed, and boolean expressions associated with one or more statements in a transform.

14. The method according to claim 1, wherein the one or more repair action suggestions further comprise one or more of:

addition of an element to the input model;

addition of an attribute to an element of the input model; and

a modification of an attribute of an element of the input model.

15. A computer program product for automated repair support for input model errors comprising:

a computer readable storage medium having computer readable program code embodied therewith, the computer readable program code comprising;

computer readable program code configured to access an input model;

computer readable program code configured to transform the input model to produce an output;

computer readable program code configured to access input indicating one or more errors in the output;

computer readable program code configured to transform the input model via propagating at least one taint mark the output and generating a taint log;

computer readable program code configured to create a fault index, associated with the taint log, for the one or more errors, the fault index relating the one or more errors to the at least one taint mark;

computer readable program code configured to use the fault index to compile one or more repair action suggestions to repair the one or more errors; and

computer readable program code configured to output the one or more repair action suggestions.

16. The computer program product according to claim 15, further comprising computer readable program code configured to generate an indication of an impact a selected repair action suggestion would have on the input model if implemented.

17. The computer program product according to claim 15, further comprising computer readable program code configured to apply the one or more repair action suggestions to modify the input model.

18. The computer program product according to claim 15, further comprising further comprising computer readable program code configured to apply the one or more repair action suggestions to modify the input model responsive to a user selection of a repair action suggestion.

19. The computer program product according to claim 15, wherein the one or more repair action suggestions further comprise one or more of:

addition of an element to the input model;

addition of an attribute to an element of the input model; and

a modification of an attribute of an element of the input model.

20. A system for automated repair support for input model errors comprising:

one or more processors; and

a memory operatively connected to the one or more processors;

wherein, responsive to execution of computer readable program code accessible to the one or more processors, the one or more processors are configured to;

access an input model;

transform the input model to produce an output;

access input indicating one or more errors in the output;

wherein to transform comprises transforming the input model via propagating at least one taint mark to the output and generating a taint log;

create a fault index, associated with the taint log, for the one or more errors, the fault index relating the one or more errors to the at least one taint mark;

use the fault index to compile one or more repair action suggestions to repair the one or more errors; and

output the one or more repair action suggestions.