Aider les PME à valider la qualité des logiciels
Le langage de spécification et de description (LDS) est couramment utilisé dans le domaine des télécommunications pour la description des fonctionnalités et la génération de codes logiciels. Ce langage est aujourd'hui de plus en plus utilisé dans d'autres applications en temps réel comme les équipements médicaux et les avions ou autres systèmes de transport. Le projet SDL-SAFE a mis au point une méthodologie pour l'évaluation automatique de la qualité des logiciels à l'aide du LDS. Cette méthodologie est structurée autour de plusieurs étapes. Dans un premier temps, les objectifs de style, ou le caractère souhaité de l'implémentation générale, sont définis. Ceux-ci sont ensuite développés plus avant en règles LDS spécifiques afin d'établir un cadre strict sur la manière dont un système de haute qualité peut être défini dans le langage. Un modèle d'évaluation de la qualité est alors construit sur la base de critères de validation de la qualité et complété par l'extraction de mesures de la qualité. Enfin, les règles, le modèle et les mesures sont utilisés pour définir un processus automatique d'évaluation de la qualité du système logiciel en cours de développement. Le projet SDL-SAFE a également mis au point un jeu d'outils logiciels, dont un analyseur de syntaxe et de structure et un analyseur sémantique pour s'assurer que le système LDS est complet et auto-cohérent. Le processus d'évaluation de la qualité passe alors à l'établissement de règles de qualité et à leur regroupement en fonction des éléments critiques du système. Ce processus est utile pour les PME dans la mesure où il permet à des groupes de règles d'être mis en correspondance avec des critères de qualité des logiciels, au lieu de devoir faire correspondre chaque règle individuellement. La technologie et la méthodologie développées par le projet réduisent les coûts de conception, de test et d'implémentation, améliorent la précision des tests et produisent des conceptions fiables pour des systèmes efficaces. Elles présentent un intérêt particulier pour les développeurs de logiciels des PME européennes qui sont toujours plus nombreux et manquent de ressources pour l'évaluation et la validation de la qualité.