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 27/8 - 2008  - pp.977-1006  - doi:10.3166/tsi.27.977-1006
TITRE
Extraction de modèles paramétrés au cours du test de composants logiciels

RÉSUMÉ
Un des principaux obstacles à l'utilisation d'approches formelles dans la pratique industrielle actuelle est l'absence de modèles. Nous proposons de profiter des étapes de test pour extraire des modèles, en utilisant des algorithmes d'inférence de machines. Ceci permet de réinjecter des modèles dans le processus logiciel au stade où on intègre les composants. Ces modèles peuvent à leur tour assister les démarches ultérieures liées au développement du système. Nous travaillons sur des modèles d'automates étendus avec des paramètres et des prédicats, mais sans variables internes. Nous proposons un algorithme permettant d'inférer de tels modèles. Nous montrons aussi comment cet algorithme peut être utilisé dans une démarche incrémentale dans laquelle on affine simultanément les modèles et les tests d'intégration.


ABSTRACT
The use of formal methods is often hindered by the lack of model. In current industrial practice, new services are usually built by assembling third-party software components for which no model is available. In this paper, we propose to extract models while testing components, by using grammatical inference algorithms. In this way, it is possible to reinsert models into the software development process at integration stage. We use finite state models extended with predicates and parameters on inputs and outputs, but without internal variables.


AUTEUR(S)
Roland GROZ, Muzammil SHAHBAZ, Keqin LI

MOTS-CLÉS
apprentissage, automates, composants, intégration, test.

KEYWORDS
regular inference, automata, components, testing.

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  (516 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier