Please use this identifier to cite or link to this item:
Title: Increasing Functional Coverage by Inductive Testing: A Case Study
Authors: Walkinshaw, Neil
Bogdanov, Kirill
Derrick, John
Paris, Javier
First Published: Nov-2010
Presented at: 22nd IFIP International Conference on Testing Software and Systems, Natal, Brazil, 8-10 November 2010
Start Date: 8-Nov-2010
End Date: 10-Nov-2010
Publisher: Springer Verlag
Citation: Testing Software and Systems, 2010, Lecture Notes in Computer Science, 2010, 6435, pp. 126-141 (16)
Abstract: This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by probing the system behaviour with tests, and using the test results to construct an internal model of software behaviour, which is then used to generate further tests. The idea in itself is not new, but prior attempts to implement this idea have been hampered by expense and scalability, and inflexibility with respect to testing strategies. In the past, inductive testing techniques have tended to focus on the inferred models, as opposed to the suitability of the test sets that were generated in the process. This paper presents a flexible implementation of the inductive testing technique, and demonstrates its application with case-study that applies it to the Linux TCP stack implementation. The evaluation shows that the generated test sets achieve a much better coverage of the system than would be achieved by similar non-inductive techniques.
DOI Link: 10.1007/978-3-642-16573-3_10
ISSN: 0302-9743
ISBN: 978-3-642-16572-6
Version: Post-print
Status: Peer-reviewed
Type: Conference Paper
Rights: Copyright © IFIP International Federation for Information Processing 2010. Deposited with reference to the publisher's archiving policy available on the SHERPA/RoMEO website. The original publication is available at
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
ICTSS2010.pdfPost-review (final submitted)1.31 MBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.