Systems and methods for automated support for repairing input model errors

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.

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.