University of Leicester
Browse

Increasing Functional Coverage by Inductive Testing: A Case Study

Download (1.28 MB)
conference contribution
posted on 2012-07-03, 14:55 authored by Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris
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.

History

Citation

Testing Software and Systems, 2010, Lecture Notes in Computer Science, 2010, 6435, pp. 126-141 (16)

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

22nd IFIP International Conference on Testing Software and Systems, Natal, Brazil, 8-10 November 2010

Version

  • AM (Accepted Manuscript)

Published in

Testing Software and Systems

Publisher

Springer Verlag

issn

0302-9743

isbn

978-3-642-16572-6

Copyright date

2010

Available date

2012-07-03

Publisher version

http://www.springerlink.com/content/p8g505743h858515/?MUD=MP

Editors

Petrenko, Alexandre;Simao, Adenilso;Maldonado, José Carlos

Temporal coverage: start date

2010-11-08

Temporal coverage: end date

2010-11-10

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC