Simons, A.J.H., Griffths, N. and Thomson, C. (2008) Feedback-Based Specification, Coding and Testing with JWalk. In: Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference. TAIC PART '08, 29-31 Aug 2008, Windsor, UK. IEEE , pp. 69-73. ISBN 978-0-7695-3383-4
Abstract
JWalk is a lazy systematic unit-testing tool for Java, which supports dynamic inference of specifications from code and systematic testing from the acquired specification. This paper describes the feedback-based development methodology that is possible using the JWalk Editor, an original Java-sensitive editor and compiler coupled to JWalk, which helps programmers to prototype Java class designs, generating novel test cases as they code. Systematic exploratory testing alerts the programmer to unusual consequences in the design; and confirmed test results become part of the evolving specification, which adapts continuously to modified classes and extends to subclasses. The cycle of coding, inferring and testing systematically exposes test cases that are often missed in other test-driven development approaches, which rely on programmer intuition to create test cases.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © 2008 IEEE. This is an author produced version of a paper subsequently published in Practice and Research Techniques, 2008. TAIC PART '08. Testing: Academic & Industrial Conference. Uploaded in accordance with the publisher's self-archiving policy. |
Keywords: | JAVA |
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:25 |
Last Modified: | 19 Dec 2022 13:33 |
Published Version: | http://dx.doi.org/10.1109/TAIC-PART.2008.20 |
Status: | Published |
Publisher: | IEEE |
Refereed: | Yes |
Identification Number: | 10.1109/TAIC-PART.2008.20 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:98339 |