A theory of regression testing for behaviourally compatible object types: Research Articles

  • Authors:

  • Anthony J. H. Simons

  • Affiliations:

  • Department of Computer Science, University of Sheffield, Regent Court, 211 Portobello Street, Sheffield S1 4DP, U.K.

  • Venue:
  • Software Testing, Verification & Reliability - UKTest 2005: The Third U.K. Workshop on Software Testing Research
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

A behavioural theory of object compatibility is presented, which has implications for object-oriented regression testing. The theory predicts that only certain models of state refinement yield compatible types, dictating the legitimate design styles to be adopted in object statecharts. The theory also predicts that conformity-testing using regression tests is inadequate. Functionally complete test-sets that are applied as regression tests to subtype objects are usually expected to cover the functionality of the original type, even though they are clearly not expected to cover extra functionality introduced in the subtype. However, such regression testing is proven to cover strictly less than the original state-space in the new context and so provides much weaker confidence than expected. A different retesting model is proposed, based on full automatic test regeneration from the subtype's specification. This method can guarantee equivalent levels of confidence after retesting. The behavioural conformity desired by regression testing can then be proven by verification in the theory. Copyright © 2006 John Wiley & Sons, Ltd.A version of this paper was originally presented at UKTest 2005: The Third U.K. Workshop on Software Testing Research, held at the University of Sheffield, U.K., 5–6 September 2005. It is reproduced here in revised and extended form with the permission of the Workshop organizers