Résumé | La construction de logiciel implique l'intervention de plusieurs
développeurs qui collaborent à l'édition d'artefacts logiciels
hétérogènes tout au long du processus de développement. Ces
artefacts logiciels sont, par exemple, des documents textuels
précisant les exigences du système, des modèles d'analyse et de
conception, du code, des tests, des guides utilisateur, etc. Tous
ces artefacts, quelle que soit leur nature, décrivent des parties
d'un même système. Ils se doivent d'être cohérents.
L'approche dite de « gestion de la cohérence » considère qu'il
n'est pas possible d'assurer la cohérence globale de tous les
artefacts logiciels à tout moment. N'importe quel artefact peut
être temporairement incohérent. Les incohérences temporaires
seront corrigées le moment venu par l'équipe de développement. La
principale problématique de cette approche réside dans le suivi
des incohérences. Il faut en effet pouvoir détecter
l'introduction de nouvelles incohérences ainsi que la suppression
d'incohérences existantes lors des modifications successives
faites par les développeurs sur les artefacts ; et ce, sans gêner
le cours du processus de développement.
Dans cet exposé nous présenterons Praxis, notre approche de
gestion de la cohérence qui a la particularité d'être basée sur
la trace de construction des artefacts logiciels. Praxis détecte
la présence ou l'absence d'incohérence dans les artefacts. Les
incohérences sont spécifiées par des règles logiques portant sur
les opérations de construction. Cette représentation a l'avantage
de supporter la mise en ½uvre d'une détection incrémentale
offrant des gains de performances très intéressants. De plus,
elle permet la définition de règles d'incohérence dites
méthodologiques permettant de spécifier des ordres temporels
entre les opérations de construction. |