If a fault, f_1 is fixed by a change c_1 it mean that the failure F(f_1) associated with the fault, f_1, disappears (i.e. ¬F (f_1)).

However, to be more precise, we should take account of time: it can be f_1 is fixed by a change C(c_1,t_1) for time t_1 to t_2 because ∆t.t_1≤t≤t_2.≠F( f_1,t).

All fixes are thereby generalized to transient fixes, with the ‘traditional’ view of a fix as the limit (fixed for an indefinite period).

This raises the following questions:

  • What other code can influence a transient fix (changing its status from fixed to unfixed)?
  • Perhaps the dependency analysis and mutation analysis can be helpful here?

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.