Rechercher

[ROU04a] Découpe de programmes concurrents avec Quasar

Conférence Nationale avec comité de lecture : ICSSEA, January 2004,

Auteurs: P. Rousseau

motcle:
Résumé: Les environnements nécessitant un haut degré de fiabilité et de sûreté commencent à vouloir utiliser des programmes concurrents. Cependant, du fait de l'indéterminisme lié à la concurrence, il est difficile d'assurer la fiabilité de ceux-ci. Quasar est un outil conçu pour résoudre ce problème. Quasar prouve de manière formelle des propriétés sur des programmes concurrents en passant par la modélisation automatique du code source du programme.Pour éviter de modéliser l'intégralité du code source, nous en éliminons tout d'abord les instructions ne pouvant influencer la propriété à valider. Cette opération se nomme la découpe de programmes (program slicing). Le résultat obtenu lors de cette première, identique au programme original du point de vue de la propriété étudiée, étape peut également être utilisé de manière indépendante pour des tâches de génie logiciel, comme la mise au point, les test et la maintenance, l’évolutivité et l’amélioration du programme ou encore pour comprendre et corriger plus facilement une erreur détectée avec Quasar. Dans cet article, nous donnons un bref aperçu de Quasar ainsi que des principes généraux de la découpe de programmes et de l'utilisation que l'on peut en faire. Puis nous expliquons les techniques mises en place dans Quasar pour la réaliser.

BibTeX

@inproceedings {
ROU04a,
title="{Découpe de programmes concurrents avec Quasar}",
author=" P. Rousseau ",
booktitle="{ICSSEA}",
year=2004,
month="January",
}