Increasing Functional Coverage by Inductive Testing: A Case Study

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.
Type de document :
Communication dans un congrès
Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. Springer, Lecture Notes in Computer Science, LNCS-6435, pp.126-141, 2010, Testing Software and Systems. 〈10.1007/978-3-642-16573-3_10〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01055254
Contributeur : Hal Ifip <>
Soumis le : mardi 12 août 2014 - 09:08:25
Dernière modification le : mercredi 31 janvier 2018 - 15:14:02
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 22:40:11

Fichier

document.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Neil Walkinshaw, Kirill Bogdanov, John Derrick, Javier Paris. Increasing Functional Coverage by Inductive Testing: A Case Study. Alexandre Petrenko; Adenilso Simão; José Carlos Maldonado. 22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. Springer, Lecture Notes in Computer Science, LNCS-6435, pp.126-141, 2010, Testing Software and Systems. 〈10.1007/978-3-642-16573-3_10〉. 〈hal-01055254〉

Partager

Métriques

Consultations de la notice

104

Téléchargements de fichiers

212