White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Simons, A.J.H. (2007) JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction. Automated Software Engineering, 14 (4). pp. 369-418. ISSN 1573-7535


Download (354Kb)


Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally.

Item Type: Article
Copyright, Publisher and Additional Information: © 2007 Springer. This is an author produced version of a paper published in Automated Software Engineering. Uploaded in accordance with the publisher's self-archiving policy.
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Sherpa Assistant
Date Deposited: 21 Feb 2008 12:32
Last Modified: 08 Feb 2013 16:55
Published Version: http://dx.doi.org/10.1007/s10515-007-0015-3
Status: Published
Publisher: Springer
Refereed: Yes
Identification Number: 10.1007/s10515-007-0015-3
URI: http://eprints.whiterose.ac.uk/id/eprint/3656

Actions (repository staff only: login required)