Integration Testing from Structured First-Order Specifications via Deduction Modulo.

Delphine Longuet 1 Marc Aiguier 2
1 ForTesse
LRI - Laboratoire de Recherche en Informatique
Abstract : Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large software systems are generally built out of small specifications of individual modules, by enriching their union. The aim of integration testing is to test the composition of modules assuming that they have previously been verified, i.e. assuming their correctness. One of the main method for the selection of test cases from first-order specifications, called axiom unfolding, is based on a proof search for the different instances of the property to be tested, thus allowing the coverage of this property. The idea here is to use deduction modulo as a proof system for structured first-order specifications in the context of integration testing, so as to take advantage of the knowledge of the correctness of the individual modules.
Type de document :
Communication dans un congrès
Martin Leucker, Carroll Morgan. Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. Springer-Verlag, 5684, pp.261-276, 2009, LNCS. 〈10.1007/978-3-642-03466-4_17 〉
Liste complète des métadonnées

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

https://hal-ecp.archives-ouvertes.fr/hal-00812193
Contributeur : Marc Aiguier <>
Soumis le : jeudi 11 avril 2013 - 18:17:00
Dernière modification le : vendredi 29 juin 2018 - 12:12:27
Document(s) archivé(s) le : vendredi 12 juillet 2013 - 04:09:22

Fichier

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

Identifiants

Collections

Citation

Delphine Longuet, Marc Aiguier. Integration Testing from Structured First-Order Specifications via Deduction Modulo.. Martin Leucker, Carroll Morgan. Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. Springer-Verlag, 5684, pp.261-276, 2009, LNCS. 〈10.1007/978-3-642-03466-4_17 〉. 〈hal-00812193〉

Partager

Métriques

Consultations de la notice

428

Téléchargements de fichiers

98