Extraction de modèles paramétrés au cours du test de composants logiciels
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.
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.
R.GROZ, M.SHAHBAZ, K.LI
apprentissage, automates, composants, intégration, test.
regular inference, automata, components, testing.
Français
|
