Formal Testing of Object-Oriented Software: From the Method to the Tool
Cécile Péraire · Infoscience (Ecole Polytechnique Fédérale de Lausanne) · 1998
Je remercie tout d'abord le Professeur Alfred Strohmeier qui m'a accueillie au sein de son équipe, et qui a accepté d'être mon directeur de thèse.Ses encouragements à participer à des conférences pour promouvoir mes travaux, et à suivre des cours à l'étranger pour compléter ma formation, ont rendu ces quatre années de thèse très enrichissantes.Je suis particulièrement reconnaissante au Docteur Didier Buchs qui est à l'origine de ce travail de doctorat et qui l'a encadré.Sa passion communicative pour la recherche, sa juste appréciation des options à prendre ou à rejeter, sa disponibilité ainsi que son amitié, ont été les garants du bon déroulement de cette thèse.De plus, je remercie Didier pour la confiance et les responsabilités qu'il m'a accordées lors de la création de son cours "Génie Logiciel Avancé".Ce fut une expérience passionnante et très formatrice.Je remercie vivement les Professeurs Pierre Bonzon, Marie-Claude Gaudel et Alain Wegmann qui m'on fait l'honneur d'accepter d'être membre du jury.Je remercie tout particulièrement Marie-Claude pour m'avoir invitée au Laboratoire de Recherche en Informatique afin d'y suivre des cours de DEA sur les méthodes formelles.Durant ces quatre années, elle a gardé un oeil attentif sur mes travaux, et ses conseils m'ont permis d'en améliorer la qualité.Je remercie chaleureusement Stéphane Barbey, avec qui nous avons oeuvré à la réalisation de nos thèses respectives sur le test de logiciel, ou, pour reprendre un lapsus révélateur, de "notre" thèse!Ce mémoire lui doit beaucoup, et je lui témoigne toute ma reconnaissance et mon amitié.Un grand merci à tous ceux qui, de près ou de loin, m'ont aidée à la réalisation de l'outil CO-OPNTEST: Bruno Marre, Eric Moreau et Jörg Kienzle.Merci également à Pascale Thévenod-Fosse et Hélène Waeselynck pour le regard critique qu'elles ont su porter sur mon travail.Mes remerciements vont aussi à tous mes collègues du LGL, grâce à qui ce doctorat a put être réalisé dans une ambiance amicale et