Abstract FR:

Le besoin de creer de nouveaux protocoles de communication, plus fiables et plus rapides, est apparu avec l'evolution des systemes de communication. Cependant ces protocoles sont aussi beaucoup plus complexes que les protocoles precedents. Les techniques de description formelle telles que estelle, permettent de specifier un protocole de communication selon un formalisme bien defini, prouver son bon fonctionnement ou mener une simulation quasi exhaustive afin de pouvoir accorder une confiance justifiee en son bon fonctionnement. Il faut pour cela que la specification soit d'une complexite maitrisable. Nous entendons par maitrisable, une complexite telle qu'elle permette de comprendre aisement ce qui est ecrit, de definir facilement des jeux de tests ou bien de pouvoir mener une simulation dans un temps compatible avec le temps de developpement du projet et de pouvoir apporter de modifications sans remettre toute la structure de la specification en cause. La maitrise de la complexite des specifications de protocoles necessite de bien comprendre ou se situe cette complexite, ses causes et ses consequences et d'etre capable de la quantifier. Nous avons donc d'abord determine tous les elements a l'origine de complexite des specifications estelle. Nous avons ensuite concu les mesures permettant de quantifier la complexite a partir de ces elements. Un outil d'analyse de complexite, ecat, a egalement ete developpe, permettant une large experimentation sur 28 specifications non triviales qui representent plus de 100 000 lignes de code. Enfin, un modele de qualite est propose avec un exemple de mise en uvre.