backward analysis

backward analysis

(theory)An analysis to determine properties of the inputs ofa program from properties or context of the outputs. E.g. ifthe output of this function is needed then this argument isneeded.

Compare forward analysis.