Simons, A.J.H. and Zhao, W.W. (2009) Dynamic Analysis of Algebraic Structure to Optimize Test Generation and Test Case Selection. In: Testing: Academic and Industrial Conference - Practice and Research Techniques 2009 . TAIC PART '09. TAIC PART 2009, 04-06 Sep 2009, Windsor, UK. IEEE , pp. 33-42. ISBN 978-0-7695-3820-4
Abstract
Where no independent specification is available, object-oriented unit testing is limited to exercising all interleaved method paths, seeking unexpected failures. A recent trend in unit testing, that interleaves dynamic analysis between each test cycle, has brought useful reductions in test-set sizes by pruning redundant prefix paths. This paper describes a dynamic approach to analyzing the algebraic structure of test objects, such that prefix paths ending in observer or transformer operations yielding unchanged, or derived states may be detected and pruned on-the-fly during testing. The fewer retained test cases are so close to the ideal algebraic specification cases that a tester can afford to confirm or reject these cases interactively, which are then used as a test oracle to predict many further test outcomes during automated testing. The algebra-inspired algorithms are incorporated in the latest version of the JWalk lazy systematic unit testing tool suite, which discovers key test cases, while pruning many thousands of redundant test cases.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2009 IEEE. This is an author produced version of a paper subsequently published in Testing: Academic and Industrial Conference - Practice and Research Techniques, 2009. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | JAVA CLASSES; SPECIFICATIONS; TOOL |
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: | 01 Jun 2016 15:19 |
Last Modified: | 19 Dec 2022 13:33 |
Published Version: | http://dx.doi.org/10.1109/TAICPART.2009.28 |
Status: | Published |
Publisher: | IEEE |
Refereed: | Yes |
Identification Number: | 10.1109/TAICPART.2009.28 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:98338 |