Simons, A.J.H. (2006) A theory of regression testing for behaviourally compatible object types. Software Testing, Verification and Reliability, 16 (3). 133 - 156. ISSN 0960-0833
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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2006 John Wiley & Sons. This is an author produced version of a paper subsequently published in Software Testing, Verification and Reliability. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | object-oriented; behavioural subtyping; state refinement; state-based testing; regression testing; testing adequacy |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 07 May 2014 13:25 |
Last Modified: | 07 May 2014 13:25 |
Published Version: | http://dx.doi.org/10.1002/stvr.349 |
Status: | Published |
Publisher: | John Wiley & Sons |
Refereed: | No |
Identification Number: | 10.1002/stvr.349 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:78802 |