Conception de logiciels de communication testables

Les protocoles associes aux systemes repartis et aux reseaux de communication sont devenus tres complexes. La consideration de la testabilite dans le cycle de developpement du protocole est devenue imperative si on veut reduire les couts des tests: Au cours de ce travail de recherche, nous decrivons comment la testabilite peut etre integree dans le cycle de developpement du protocole.;Dans cette these, nous avons etudie la testabilite des protocoles de communication sur trois modeles de conception differents: les relations, les automates a etats finis et les automates a etats finis etendus. A un niveau d'abstraction eleve, le modele des relations fournit une bonne plateforme pour l'etude de la testabilite. Ce modele peut etre meme utilise au niveau de l'etape d'analyse des besoins. A un niveau d'abstraction moins eleve, nous avons utilise les automates a etats finis comme modele de base pour la specification et l'etude de la testabilite. Ce modele a ete largement exploite pour la specification des protocoles de communication et la generation automatique des sequences de test. Pour prendre en compte l'aspect de donnees, nous avons utilise le modele des automates a etats finis etendus. Ce modele offre une representation de la specification a un niveau d'abstraction encore moins eleve ce qui permet de considerer les aspects de donnees.;Pour les deux premiers modeles nous avons cherche les facteurs qui influencent les tests et nous en avons propose une evaluation individuelle. Nous avons utilise ces facteurs pour predire la testabilite et pour guider le processus de raffinement de la specification. Ce processus est iteratif; il se termine lorsque le concepteur juge que le niveau de testabilite est adequat ou lorsqu'aucun changement n'est plus encore possible. Nous avons normalise toutes nos metriques entre 0 et 1. Partant d'une specification de depart ou l'un des facteurs a une valeur faible (proche de 0), une transformation est dite bonne si elle ameliore cette valeur pour la rapprocher de 1.;Pour le modele des automates a etats finis etendus, les mesures precedantes ne nous informent pas sur l'aspect des donnees. Pour cela, nous avons propose une transformation qui en tient compte. Elle permet de completer une specification en vue de raccourcir la longueur de sa suite de test. Suite a l'application de la transformation, nous avons propose une mesure pour evaluer le gain de testabilite (Abstract shortened by UMI.).