Colloque

Augmentation automatique de la fiabilité d'un logiciel

Ali Jaoua

Nadir Belkhiter

R. Khedri

Membre a labase

Ali Jaoua

Résumé du colloque

L'étude de la tolérance aux fautes dans les programmes nous a permis de trouver les conditions de consistance d'un état courant du programme en cours d'exécution relativement à sa spécification. Parmi les méthodes de recouvrement avant de programmer, l'approche dite préventive se caractérise par une plus grande simplicité. Testée sur des petits programmes, la méthode préventive a fourni des résultats satisfaisants aussi bien au niveau de la fiabilité que de l'efficacité. L'objectif de cette étude est de proposer une méthode de transformation automatique d'une version initiale d'un logiciel en une version cible plus fiable dans le sens où celle-ci va transférer dans types d'erreurs traitées lors de la conception et du hardware, dont la probabilité d'occurrence est suffisamment faible. La transformation proposée s'effectue suivant les deux étapes de la conception d'une version, à savoir (1) une compilation locale sur la base des spécifications du programme base sur la connaissance des spécifications de ses modules. L'automatisation proposée nous amène vers la définition d'un ensemble de règles de calcul de l'information critique et de génération d'un module fiable (en particulier la définition des conditions permettant une terminaison correcte).

Contexte

Section :

Intelligence artificielle et génie logiciel

Thème du colloque :

Intelligence artificielle et génie logiciel

Hôte : Université de Sherbrooke

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Intelligence artificielle et génie logiciel

Assistance intelligente à la rétro-ingénierie des systèmes

Ettore Merlo

Transformation de spécifications de domaines d'application en structures d'entité sous REFINE

Marc Frapper

Réutilisation de logiciel : apprentissage machine dans le cadre d'un outil de réutilisation orienté…

Hafeh Mili

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Intelligence artificielle et génie logiciel

Augmentation automatique de la fiabilité d'un logiciel

Ali Jaoua

Augmentation automatique de la fiabilité d'un logiciel

Ali Jaoua

Algorithmes de Décomposition Canonique d'un Schéma Relationnel

Théodore Moukam