ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 21/9 - 2002  - pp.1163-1187
TITRE
Utilisation des contraintes pour la génération automatique de cas de test structurels

RÉSUMÉ
Une des difficultés majeures pour l’automatisation du processus de test structurel réside dans la production automatique des cas de test, c’est-à-dire la détermination d’un ensemble de valeurs d’entrée pour lesquelles un point choisi du programme sera exécuté. Nous présentons ici une nouvelle méthode où ce problème est transformé en un problème de résolution de contraintes. La traduction du programme initial en un système de contraintes est effectuée en utilisant la forme SSA et les dépendances de contrôle. Des opérateurs spécifiques, implantés avec des contraintes gardées, ont été introduits pour autoriser le traitement de contraintes propres à cette application. INKA, le système prototype qui a été développé, permet de traiter des programmes utilisant un sous-ensemble significatif des constructions du langage

ABSTRACT
The generation of test data is one of the main difficulties of the unit testing process of software in industrial applications. Thus, a major challenge consists in generating test data automatically, i.e., in finding input values for which a selected point in a procedure is executed. We introduce here an original framework where the latter problem is transformed into a constraint solving problem. The initial program is translated into a constraint system by means of the well known ”single static assignment” form and control dependencies. Specific operators, based upon entailment techniques, have been introduced to tackle this kind of applications. INKA, the prototype system we have developed, allows us to handle programs that use a significant subset of the features of the

AUTEUR(S)
Bernard BOTELLA, Arnaud GOTLIEB, Claude MICHEL, Michel RUEHER, Patrick TAILLIBERT

MOTS-CLÉS
test structurel, cas de test, programmation par contraintes, contraintes gardées

KEYWORDS
structural testing, test data, constraint programming, entailment techniques

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (296 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier