Les manières de créer et de développer des systèmes informatiques ne cessent d'évoluer. La complexité croissante des logiciels informatiques (répartition du code, utilisation de composants externes, limitation des ressources, etc.) nécessite des méthodes de conception et de validation rigoureuses. Dans ce contexte la phase de test s'avère particulièrement importante car elle contribue à garantir un bon fonctionnement de l'implantation du logiciel, dans son environnement réel d'exécution. Cette thèse définit une méthode automatique de génération de tests destinés à évaluer la robustesse d'une implantation, c'est-à-dire sa capacité à respecter certaines propriétés comportementales malgré un environnement d'exécution dégradé (susceptible de fournir des entrées incorrectes, ou d'inclure des composants externes incapables de rendre le service attendu). L'approche que nous proposons est inspirée des techniques de génération de test utilisées en test de conformité des protocoles de communications dans lesquelles les suites de test sont générées à partir d'un modèle comportementale d'une spécification du logiciel. L'originalité de ce travail consiste à étendre cette technique pour prendre en compte un modèle de fautes (exprimant le comportement dégradé de l'environnement sous forme de mutations syntaxiques de la spécification) et un observateur (exprimant l'ensemble des comportements incorrects du point de vue de la robustesse). Les séquences de test produites sont alors correctes dans le sens où elles ne rejettent que des implantations non robustes vis-à-vis de cet observateur. Un prototype a été réalisé dans le cadre de la boîte à outils IF et évaluée sur des exemples d'implantation Java.

L’utilisation de bactéries lactiques (BL), telle que Lactococcus lactis (LL), comme vecteur de transfert d’ADN, constitue une stratégie prometteuse dans la mesure où elles sont considérées sans risque pour la santé. Des souches sauvages (wt) ou recombinantes de LL ont été décrites comme capables de transférer un plasmide dans des cellules épithéliales in vitro et in vivo. Cependant, les mécanismes d'action grâce auxquels certaines souches de LL ont la capacité de transférer de l’ADN plasmidique sont toujours inconnus. C’est pourquoi, nous avons décidé de construire une nouvelle souche recombinante de LL exprimant l’internaline mutée (mlnlA,) à partir de la souche pathogène Listeria monocytogenes, de manière à comprendre par quel procédé l’ADN est transféré à des cellules eucaryotes. Nous avons détecté l’expression de mInIA par FACS et montré que la souche LLmInIA était plus invasive que la souche sauvage wt après co-incubation avec des cellules épithéliales intestinales (IECs) non confluentes ou polarisées. La microscopie confocale confirme ces propriétés d’invasivité de la souche LL-mLnLA capable de transférer plus efficacement le vecteur d’expression eucaryote codant pour l’allergène de la β-lactoglobuline, pValac :BLG, in vitro dans des IECs et dans des cellules dendritiques (DCs). La souche LL-mInIA a aussi la capacité de transférer le vecteur pValac:BLG à des DCs à travers une monocouche de IECs différenciées. Des essais in vivo montrent que des bactéries invasives du genre Lactococcus ont tendance à augmenter l’expression de BLG chez la souris. De plus, il est montré qu’une souche non invasive de LL, ou la souche invasive LL-mInIA, stimulent la sécrétion de la cytokine pro-inflammatoire IL-12 dans des DCs, et que, in vivo, après des essais d’immunisation oraux ou intra nasaux, la souche LL non invasive oriente la réponse immunitaire plutôt vers le type 1, alors que la souche LL invasive génère une réponse de type 2 chez des animaux immunisés. Tous ces résultats apportent un nouvel éclairage sur le mécanisme d’assimilation des lactocoques en tant que vecteurs de transfert de molécules actives. / The use of Lactic Acid Bacteria (LAB), such as Lactococcus lactis (LL), as DNA delivery vehicles represents an interesting strategy as they are regarded as safe. Wild type (wt) LL or recombinant invasive LL, were able to trigger DNA expression by epithelial cells both in vitro and in vivo. However, important information about how LL can transfer DNA plasmids is still missing. Therefore, we decided to construct a new recombinant invasive LL strain expressing mutated Internalin A (mInlA) from the pathogen Listeria monocytogenes to understand the manner by which the DNA is transferred to mammalian cells. mInlA expression was detected by FACS analysis and LL-mInlA strain showed to be more invasive than the wt strain after co-incubation assays with non-confluent or polarized intestinal epithelial cells (IECs). Confocal microscopy confirmed the invasive status of LL-mInlA which demonstrated to deliver more efficiently the eukaryotic expression vector coding the allergen β-lactoglobulin, pValac:BLG, in vitro to IECs and to dendritic cells (DCs). LL-mInlA was also capable to transfer pValac:BLG to DCs across a monolayer of differentiated IECs. In vivo, invasive lactococci tended to increase the number of mice expressing BLG. Moreover, noninvasive or invasive LL-mInlA stimulated the secretion of the pro-inflammatory cytokine IL-12 in DCs and, in vivo, after oral or intranasal immunization trials, non-invasive LL polarized the immune response more in the type 1 direction while invasive LL generated a Th2-type response in immunized animals. All these data gives new insights on the mechanism of lactococci uptake for delivery of therapeutics.

La maladie de Huntington résulte d'une expansion de glutamines dans la protéine huntingtine. Cette mutation lui confère de nouvelles propriétés, dont celle de s'agréger et de produire une neurodégénérescence, qui malgré l'expression ubiquitaire de la huntingtine mutée, est spécifique du striatum. L'objectif de ce travail consistait à explorer le rôle de la dopamine dans cette vulnérabilité striatale. Après avoir démontré que la huntingtine mutée est capable d'activer la voie pro-apoptotique JNK/cJun dans des cultures primaires de neurones striataux (Garcia, Charvin and Caboche, 2004), nous avons étudié l'influence de la dopamine dans ce modèle neuronal. Nous avons alors montré que la dopamine i) active la voie pro-apoptotique JNK/cJun en synergie avec la huntingtine mutée via la production de radicaux libres, ii) augmente la formation d'agrégats via l'activation des récepteurs D2, iii) augmente la toxicité de la huntingtine mutée à travers ces deux effets combinés. Ainsi, nos résultats suggèrent que la dopamine concourt à la vulnérabilité des neurones striataux exprimant la huntingtine mutée (Charvin et al., 2005). Nous avons ensuite évalué in vivo l'effet thérapeutique d'un traitement précoce avec un antagoniste des récepteurs D2 dans un modèle murin de maladie de Huntington. Chez des rats infectés dans le striatum par des lentivirus exprimant la huntingtine normale ou mutée, nous avons montré que l'halopéridol décanoate retarde la formation des agrégats et protègent les neurones striataux exprimant la huntingtine mutée (Charvin et al., soumis). Ces travaux mettent en évidence un rôle potentialisateur de la dopamine dans la vulnérabilité des neurones striataux à la huntingtine mutée et ouvrent des perspectives nouvelles de thérapies pour la maladie de Huntington.