Les systèmes logiciels modernes se caractérisent par un besoin d'évolutions perpétuelles et rapides, comme par exemple dans le monde de l'informatique mobile. Pour faciliter le développe\-ment et l'évolution rapide de systèmes complexes, des approches de génie logiciel ont été proposées, telles que les architectures logicielles et la méthode de conception agile. Néanmoins, les solutions actuelles offrent peu de support pour permettre l'évolution fiable d'un système, c'est-à-dire permettre sa modification tout en garantissant le respect de ses exigences de qualités de service et de bon fonctionnement global. La contribution de cette thèse est CALICO, un canevas de développement agile pour la conception et l'évolution fiable de systèmes logiciels à composants et orientés services. Le développement agile repose sur l'utilisation d'un cycle de développement itératif et incrémental qui permet à l'architecte d'itérer entre les étapes de conception de l'architecture et de débogage du logiciel dans son environnement d'exécution. A chaque itération du cycle, l'architecte peut faire évoluer son logiciel et fiabiliser ses évolutions grâce à l'exécution d'analyses statiques et dynamiques complémentaires. Ainsi, lors de la conception et de l'évolution d'un système, l'architecte dispose d'un ensemble de métamodèles pour spécifier la structure de l'architecture de son logiciel et ses diverses exigences de qualité de services. Lors du déploiement, CALICO utilise les modèles spécifiés pour instancier le système sur la plate-forme d'exécution cible et les garde synchronisés avec le logiciel lors de son exécution. De cette façon, l'architecte dispose toujours d'une vue conceptuelle qui lui permet de raisonner sur les propriétés critiques de son logiciel lors d'une évolution. De plus, pour fiabiliser ces évolutions, CALICO offre un cadre fédérateur qui autorise la réutilisation de nombreux outils d'analyse statique des architectures logicielles et de débogage dynamique qui étaient jusqu'alors dispersés dans différentes plates-formes existantes. Ainsi, chaque évolution peut être analysée statiquement sur la vue conceptuelle avant d'être propagée au système logiciel. Les analyses dynamiques reposent quant à elles sur des valeurs disponibles à l'exécution. La capture de ces valeurs est effectuée grâce à une instrumentation automatique du système logiciel. CALICO permet donc de fiabiliser les évolutions même si les plates-formes d'exécution sous-jacentes ne le proposent pas nativement. Notre contribution se concrétise par une implémentation multi plates-formes. La version actuelle prend en charge quatre plates-formes à composants et une plate-forme à services. Par ailleurs, les tests de performances que nous avons réalisés démontrent que CALICO est utilisable pour la conception et l'évolution fiable de larges applications jusqu'à 10000 composants et services, ce qui correspond à la montée en charge maximale de la plupart des plates-formes d'exécution.

L'étude de cette thèse porte sur trois méthodes de validation dynamiques : les méthodes de vérification, d'enforcement (mise en application), et de test de propriétés lors de l'exécution des systèmes. Nous nous intéresserons à ces approches en l'absence de spécification comportementale du système à valider. Pour notre étude, nous nous plaçons dans la classification Safety-Progress des propriétés. Ce cadre offre plusieurs avantages pour la spécification de propriétés sur les systèmes. Nous avons adapté les résultats de cette classification, initialement développés pour les séquences infinies, pour prendre en compte de manière uniforme les séquences finies. Ces dernières peuvent être vues comme une représentation abstraite de l'exécution d'un système. Se basant sur ce cadre général, nous nous sommes intéressés à l'applicabilité des méthodes de validation dynamiques. Nous avons caractérisé les classes de propriétés vérifiables, enforçables, et testables. Nous avons ensuite proposé trois approches génériques de vérification, d'enforcement, et de test de propriétés opérant à l'exécution des systèmes. Nous avons montré comment il était possible d'obtenir, à partir d'une propriété exprimée dans le cadre de la classification Safety-Progress, des mécanismes de vérification, d'enforcement, ou de test dédiés à la propriété considérée. Enfin, nous proposons également les outils j-VETO et j-POST mettant en œuvre l'ensemble des résultats proposés sur les programmes Java.

Les caractéristiques que possède un SMA (distribution de l'intelligence, autonomie, coopération et coordination entre les différentes entités, etc.) n'ont fait qu'élargir leurs domaines d'applications. Cette multiplicité a rendu les SMA complexes, difficiles à analyser dans leur comportement et délicats à évaluer dans leurs performances. La visualisation de l'exécution est une des techniques largement utilisées en évaluation des performances pour des systèmes parallèles. Cette technique fait partie de la phase de mise au point pour les performances. Elle constitue une aide importante pour la compréhension des comportements et par conséquent pour l'étude, la comparaison et l'amélioration des performances des systèmes informatiques. Dans cette thèse nous proposons une approche d'évaluation des SMA basée sur l'étude de comportements interne des agents. Nous présentons un système de visualisation des SMA, MAS-Paje. Ce système traite des étapes de visualisation de l'étape de collecte de données jusqu'à obtenir un fichier de trace de l'exécution d'un SMA conforme au format de trace (SDDF) exigés par l'outil de visualisation Paje des SMA basées sur un modèle prédéfini. Une dimension communication est ajoutée au travail de visualisation dans le but d'étudier le travail collectif des agents. Les travaux sont validés par des expérimentations sur plusieurs SMA implémentant l'application de collecte de minerais.

L'exécution extrajudiciaire est un crime qui viole un des droits le plus fondamentaux de l'homme qui est le droit à la vie. En général, ce crime est exécuté directement par l'ordre de l'État ou bien avec son consentement implicite et quoiqu'il soit toujours condamné par la Communauté internationale. Cependant, le monde entier voit encore le déroulement de ce genre de crime devant ses yeux. Généralement les auteurs de ce crime sont les agents gouvernementaux ou des membres des groupes qui sont sous le contrôle direct ou indirect de l'État. Dans ce cas, les victimes sont parfois disparues avant d'être tuées, et dans certains cas, ce crime se produit lors d'une détention arbitraire. Ces personnes peuvent être également assassinées dans les rues ou même dans leurs propres maisons. Dans les dix dernières années du 21e siècle, le monde a été témoin d'une nouvelle génération de guerre qui est, d'une certaine manière, plus destructrice : la guerre contre le terrorisme. L'exécution extrajudiciaire réapparaît récemment dans les sujets du maintien de la sécurité internationale comme la violation des droits de l'homme pendant la lutte contre le terrorisme, et d'ailleurs, elle expose les multiples modalités d'atteinte à la vie d'un individu ou d'un groupe d'individus dans différents contextes de guerre ou de paix. Or, la protection des victimes contre l'exécution extrajudiciaire et le rôle de la justice pénale internationale sont devenus des sujets très sensibles et il faut apporter une solution à cette violation des droits de l'homme en suggérant quelques mesures juridiques pour éviter les atteintes et protéger les victimes. / An extra-judicial execution is the killing of a person by direct or indirect participation of governmental authorities without any judicial proceeding or legal process and against the international standards of human rights. Extrajudicial execution is by its nature unlawful since it bypasses the due process of the legal jurisdiction in which they occur and it violates human rights principles, especially the rights to life. Extrajudicial killings often target political opponents, human rights defenders, leading political and social figures and may be carried out by the state government or other state authorities like the armed forces and police. After the beginning of the "War on Terror" this crime has passed the borders and many people have been killed in the name of war against terrorism. This new generation of war has introduced new examples of extra-judicial execution. The international community has faced new violation of the right to life and there is a need to improve the protection of the people against these new examples.

L’anxiété de performance musicale (APM) est un phénomène fort répandu chez les musiciens. En effet, 40 % d’entre eux seraient touchés par ce problème, dont 15 % à 25 % de façon encore plus marquée (Fishbein, Middlestadt, Ottati, Strauss et Ellis, 1988). Bien que l’exposition virtuelle compte parmi les traitements visant à atténuer les effets négatifs des troubles anxieux (Olatunji, Cisler et Deacon, 2010; Powers & Emmelkamp, 2008), cette forme de traitement n’a fait l’objet que de rares études en ce qui a trait à l’APM. Cette recherche doctorale vise à atténuer ce manque. Le premier objectif de la thèse est d’analyser l’évolution de l’APM et de la qualité de la prestation au cours d’un entraînement virtuel. Le second objectif est d’évaluer les effets d’une exposition virtuelle sur l’APM et sur la qualité de la prestation des participants en situation réelle de concert. Dix-sept guitaristes et pianistes ont pris part à l’étude. Les participants ont été pairés selon leur niveau d’anxiété et selon leur instrument, puis distribués aléatoirement dans le groupe expérimental (n = 9) ou dans le groupe contrôle (n = 8). Au prétest et au posttest, les participants ont été invités à jouer une pièce de mémoire lors d’un récital public. Par la suite, leur niveau d’APM a été mesuré. La qualité de la prestation musicale a été évaluée par deux juges experts. Entre le prétest et le posttest, les participants du groupe expérimental ont réalisé un entraînement virtuel de six rencontres d’une heure. Les analyses statistiques ayant trait à l’entraînement virtuel indiquent une diminution significative de l’APM d’une rencontre à l’autre, ainsi qu’une augmentation significative de la qualité de la prestation à l’intérieur des rencontres. Entre le prétest et le posttest, nous observons une diminution significative du niveau d’anxiété chez les participants ayant un haut niveau d’anxiété-trait et chez ceux ayant un haut niveau d’anxiété situationnelle au prétest. Une diminution significative du niveau d’anxiété chez les femmes du groupe expérimental ainsi qu’une augmentation significative de la qualité de la prestation entre le prétest et le posttest pour les participants du groupe expérimental ont également été observées. / Music performance anxiety affects numerous musicians and many of them report impairment of their performance due to this problem(Fishbein, Middlestadt, Ottati, Strauss et Ellis, 1988). Virtual reality exposure is increasing as a mode of treatment of anxiety disorders (Olatunji, Cisler et Deacon, 2010; Powers & Emmelkamp, 2008).This doctoral thesis examined a virtual reality exposure training program conceived for the treatment of music performance anxiety. The first objective of this thesis is to analyze the evolution of music performance anxiety and the quality of performance during the virtual training program. The second objective is to estimate the effects of virtual exposure on music performance anxiety and on the quality of the performance of participants during in vivo performance. Seventeen music students were paired and randomly assigned to a control group (n = 8) or to a virtual training group (n = 9). Participants were asked to play a musical piece by memory during two public recitals at three week intervals. Their anxiety was then measured using the Personal Report of Confidence as a Performer scale (PRCP), the S-Anxiety scale from the State-Trait Anxiety Inventory (STAI-Y), the Subjective Units of Distress Scale (SUDS), and by measuring pulse rate. The virtual reality exposure training consisted of six one-hour long sessions of virtual exposure. Findings concerning the virtual reality exposure training indicate a significant decrease of performance anxiety between sessions. The results also indicate a significant increase of performance quality during virtual reality training sessions. Results of the pre- and post-test indicate a significant decrease in performance anxiety for the following participants: (a) musicians in treatment group with a high level of situational anxiety (S-Anxiety), (b) musicians with a high level of trait anxiety (T-Anxiety), (c) for women musicians and (d) for musicians with high immersive tendencies (ITQ). Finally, we observed a significant increase of quality of performance for the experimental group, but not for the control group between pre- and post-test.

La lecture à vue chantée est une tâche exigeante à laquelle la plupart des étudiants en musique de niveau postsecondaire devront se soumettre au cours de leur formation. Elle implique de chanter une mélodie inconnue après une courte préparation mentale, et elle requiert des étudiants qu'ils soient familiers avec la notation des hauteurs et des rythmes sur la portée, qu'ils soient en mesure d'entendre les sons intérieurement, d'ajuster leur voix, de garder la tonalité et de maintenir une pulsation constante. Il n'est donc pas surprenant que cette tâche donne du fil à retordre à bien des étudiants. Pour comprendre les facteurs liés à la performance en lecture à vue chantée, nous avons cherché par ce projet à atteindre les trois objectifs suivants : 1) identifier les relations possibles entre le degré de réussite des étudiants pour résoudre une tâche de lecture à vue chantée et certaines de leurs caractéristiques personnelles ; 2) identifier les relations possibles entre la charge cognitive des étudiants lors d'une tâche de lecture à vue chantée et certaines de leurs caractéristiques personnelles et 3) explorer les stratégies utilisées par les étudiants lors d'une tâche de lecture à vue chantée. Pour atteindre ces objectifs, nous avons recruté 56 étudiants de niveau postsecondaire en musique. Ils ont rempli un questionnaire sociodémographique ainsi que l'Inventaire d'anxiété situationnelle et de trait d'anxiété (IASTA-Y), et ils ont réalisé une tâche d'empan complexe afin de mesurer la capacité de leur mémoire de travail. Ils ont ensuite chanté une mélodie en lecture à vue, pendant que leurs mouvements oculaires ainsi que leur diamètre pupillaire étaient enregistrés. Par la suite, ils ont participé à une entrevue rétrospective où ils ont partagé les stratégies utilisées pour réaliser la lecture à vue chantée. Durant cette récolte de données, ils étaient aidés par des vidéos de leurs mouvements oculaires et par des cartes chaleurs illustrant la répartition de leur attention. D'abord, les résultats suggèrent que l'âge auquel les participants ont commencé la musique est le meilleur prédicteur des résultats obtenus à la tâche de lecture à vue chantée. Ensuite, la réalisation de la tâche a induit une charge cognitive plus élevée auprès des participants ayant moins d'années d'études postsecondaires; chez ces derniers, les scores obtenus à la dimension rythmique de la tâche étaient aussi corrélés négativement à la charge cognitive. Finalement, l'utilisation de certaines catégories de stratégies, notamment le recours à des mouvements, aux connaissances musicales et à des automatismes peut prédire les résultats à une tâche de lecture à vue chantée. Sur le plan pédagogique, les résultats obtenus suggèrent que les enseignants de formation auditive devraient favoriser le développement d'automatismes chez leurs étudiants, leur donner de solides bases de théorie musicale, et leur enseigner une variété de stratégies de façon explicite. Des études futures pourraient notamment dupliquer l'étude avec des mélodies de difficultés variées, comparer l'efficacité de certaines stratégies, ainsi qu'exploiter davantage l'oculométrie, dans le but de dessiner un portrait plus précis et élargi de la réussite en lecture à vue chantée auprès des étudiants de niveau postsecondaire. / Sight-singing is part of most music higher education students' curricula. It requires them to sing an unknown melody after a short mental preparation. Also, it requires them to be familiar with pitch and rhythm notation on the staff, to audiate, to control their voice, to remember their tonal center, and to keep a steady pulse. Unsurprisingly, sight-singing challenges many students. To understand which factors are associated with sight-singing performance, we wanted, with this project, to reach the three following goals: 1) identify possible relationships between sight-singing performance and some of their individual characteristics; 2) identify possible relationships between students' cognitive load during a sight-singing task and some of their individual characteristics and 3) explore strategies participants use when they sight-sing. To reach these goals, we recruited 56 postsecondary-level music students. They filled out a sociodemographic questionnaire and the French-Canadian adaptation of the State-Trait Anxiety Inventory (STAI-Y) and completed complex span tasks to assess their working memory capacity. They then sight-sang a melody while an eye-tracker recorded their eye movements and pupil diameter, the latter informing us about students' cognitive load. They finally shared their strategies during a retrospective interview. During that part of data collection, they could view eye movement videos and heatmaps showing their attention distribution. Results first show that the age when participants began learning music is the best predictor of sight-singing scores. Second, the sight-singing task induced a higher cognitive load among participants with less experience in higher education; among them, rhythmic scores correlated negatively with cognitive load. Finally, some strategies, like movements, musical knowledge, and automatic skills, can predict sight-singing results. From a pedagogical standpoint, results suggest that aural skills teachers should foster automatic skills development among students, give them robust theoretical knowledge, and explicitly teach them a wide array of cognitive strategies. Future studies could compare some strategies' efficiency and optimize eye-tracking usage to draw a broader and more precise picture of sight-singing performance among music students in higher education.

Titre de l'écran-titre (visionné le 13 février 2023) / Cette recherche est une thèse auto-ethnographique encadrée dans les canons méthodologiques de la recherche axée sur la pratique, orientée vers l'interprétation historiciste de cantates et motets du XVIIIe siècle, conservés dans des archives hispano-américaines. Notre objectif est de valider l'application de procédures rhétoriques musicales dans le développement d'une interprétation historiquement vraisemblable. Cette étude est basée sur des principes idéo-esthétiques de l'interprétation historiciste, principalement associés au concept de vraisemblance proposé en 1988 par Richard Taruskin (1945) ; ainsi que sur des préceptes en interaction de la rhétorique musicale et les théories des passions, particulièrement ceux théorisés en 1739 par Johann Mattheson (1681 - 1764). On se focalise notamment sur la relation intersémiotique entre le texte littéraire et les figures rhétoriques qui affectent la mélodie, sur la base de la catégorisation proposée en 2000 par Rubén López-Cano (1966). En ce sens, l'analyse de l'elocutio (style rhétorique, élocution, éloquence) est au centre de cette recherche, dans le but de rendre notre interprétation cohérente avec le discours rhétorique implicite dans les compositions. De même, les préceptes rhétoriques conçus par les compositeurs et appliqués délibérément par nous tout au long de la création de notre propre discours s'expriment lors de notre représentation publique ou pronuntiatio. Comme référence de cette phase rhétorique, nous estimons certaines considérations exposées en 2012 par Rafael Palacios Quiroz (1962), les théorisations publiées en 1752 par Johann Joachim Quantz (1697 - 1773), et des informations iconographiques et documentaires (traités) des XVIIe et XVIIIe siècles. Les procédures herméneutiques liées à ce type de recherche sont développées à partir de l'analyse critique et la triangulation des renseignements contenus dans des sources littéraires et visuelles historiques et contemporaines, ainsi que sur la prise de décisions interprétatives issues du processus dialogique de recherche, de pratique et de réflexion. / This research is an auto-ethnographic thesis framed within the methodological canons of practice-led research, oriented towards an historicist interpretation of 18th-century cantatas and motets preserved in Hispano-American archives. Our goal is to validate the application of musical rhetorical procedures in the development of a historically verisimilar interpretation. This study is based on ideo-aesthetic principles of historicist interpretation, mainly associated with the concept of verisimilitude proposed in 1988 by Richard Taruskin (1945); as well as on interacting precepts of musical rhetoric and theories of the passions, particularly those theorized in 1739 by Johann Mattheson (1681 - 1764). We focus on the intersemiotic relationship between the literary text and the rhetorical figures that affect the melody, based on the categorization proposed in 2000 by Rubén López-Cano (1966). In this sense, the analysis of elocutio (rhetorical style, elocution, eloquence) is at the center of this research, with the aim of making our interpretation consistent with the rhetorical discourse implicit in the compositions. Likewise, the rhetorical precepts devised by composers and deliberately applied by us throughout the creation of our own discourse find expression in our public performance or pronuntiatio. As a reference of this rhetorical phase, we review some considerations exposed in 2012 by Rafael Palacios Quiroz (1962), the theorizations published in 1752 by Johann Joachim Quantz (1697 - 1773), and iconographic and documentary information (treaties) of the XVII and XVIII centuries. The hermeneutical procedures related to this type of research are developed from the critical analysis and triangulation of information contained in historical and contemporary literary and visual sources, as well as from the interpretative decision-making resulting from the process of research, practice, and reflection.

Une grande majorité de musiciens rapportesouffrird’anxiété deperformance musicale (APM). À plusieurs reprises, le niveau de détresse ainsi que le besoin de soutien relié à l’APM sont apparus particulièrement importants chez les étudiants en musique. Malgré un intérêt grandissant sur le sujet, très peu d’études portentsur l’APM des étudiants en interprétation jazz. Or, afin de pouvoir mieux comprendre l’APM ainsi que de venir en aide à la population des étudiants en interprétation jazz, il importe d’abord de venir vérifier l’APM ainsi que ses liens avec diverses variables chez cette population. Ce mémoire a pour but d’explorer les facteurs pouvant influencer l’APM des étudiants de niveau postsecondaireen interprétation jazz. Plus spécifiquement, le niveau d’APM des étudiantsetsa relation avec l’anxiété trait, le contexte de performance ainsi quela relation entreles expériences de performance musicaleet l’APM ont été explorés. Pour ce faire, une étude transversale par questionnaire employant des mesures quantitatives ainsi que des questions ouvertes qualitatives a été menée auprès de 73 étudiants de niveau post-secondaire en interprétation jazz. Les résultats suggèrent que les étudiants rapportent un niveau d’APM élevéqui estpositivement relié à l’anxiété trait mais non relié au contexte de performance. Les analyses de variances entre le niveau d’APM et les différents types d’expériences de performance musicalene sont passignificatives. Cette populationsembledonc présenterun haut niveaud’APM. Par conséquent, larecherche dans le domaine de l’APM chez cettepopulation est encouragée afinde continuer à mieuxcomprendre l'APM et d’aiderces étudiants. / A large majority of musicians report suffering from musical performance anxiety (MPA). Several research studies have revealed a significant level ofdistress related to MPA, as well as the need for support, among music students. Studies have furthermore identified trait anxiety as a predictor of MPA. However, despite a growing number of studies on the subject, very few studies have so far focused exclusively on MPA as experienced by jazz performance students. This study thus aimed to explore the factors that may contribute to MPA among the jazz interpretation student population. Specifically, this study investigated the relationship between MPA and trait anxiety among post secondary jazz students, and explored the influence of performance context on levels of MPA, as well as the relationship of early performance experiences with MPA. A cross-sectional correlational survey was carried out, comprising quantitative measures as well as qualitative open questions. Seventy-three jazz performance students participated in the survey. Participating students reported a fairly high level of MPA, positively related to trait anxiety but not related to the performancecontext. Levels of MPA did not differ significantly between students who rated their early performance experiences as negative and those who rated the early experiences as positive. Thus, the results indicated that irrespective of positive or negative early performance experiences, third level jazz performance students experienced considerable MPA. This study points to the need for further research focused on the context of jazz performance studies, in order to better understand how these students can be supported, and provide a more complete understanding of MPA.

Frappée par les rendements décroissants de la performance séquentielle et les limitations thermiques, l’industrie des microprocesseurs s’est tournée résolument vers les multiprocesseurs sur puce. Ce mouvement a ramené des problèmes anciens et difficiles sous les feux de l’actualité du développement logiciel. Les compilateurs sont l’une des pièces maitresses du puzzle permettant de poursuivre la traduction de la loi de Moore en gains de performances effectifs, gains inaccessibles sans exploiter le parallélisme de threads. Pourtant, la recherche sur les systèmes parallèles s’est concentrée sur les aspects langage et architecture, et le potentiel reste énorme en termes de compilation de programmes parallèles, d’optimisation et d’adaptation de programmes parallèles pour exploiter efficacement le matériel. Cette thèse relève ces défis en présentant Erbium, un langage de bas niveau fondé sur le traitement de flots de données, et mettant en œuvre des communications multi-producteur multi-consommateur ; un exécutif parallèle très efficace pour les architectures x86 et des variantes pour d’autres types d’architectures ; un schéma d’intégration du langage dans un compilateur illustré en tant que représentation intermédiaire dans GCC ; une étude des primitives du langage et de leurs dépendances permettant aux compilateurs d’optimiser des programmes Erbium à l’aide de transformations spécifiques aux programmes parallèles, et également à travers des formes généralisées d’optimisations classiques, telles que l’élimination de redondances partielles et l’élimination de code mort. / As transistors size and power limitations stroke computer industry, hardware parallelism arose as the solution, bringing old forgotten problems back into equation to solve the existing limitations of current parallel technologies. Compilers regain focus by being the most relevant puzzle piece in the quest for the expected computer performance improvements predicted by Moores law no longer possible without parallelism. Parallel research is mainly focused in either the language or architectural aspects, not really giving the needed attention to compiler problems, being the reason for the weak compiler support by many parallel languages or architectures, not allowing to exploit performance to the best. This thesis addresses these problems by presenting: Erbium, a low level streaming data-flow language supporting multiple producer and consumer task communication; a very efficient runtime implementation for x86 architectures also addressing other types of architectures; a compiler integration of the language as an intermediate representation in GCC; a study of the language primitives dependencies, allowing compilers to further optimise the Erbium code not only through specific parallel optimisations but also through traditional compiler optimisations, such as partial redundancy elimination and dead code elimination.

La validation des logiciels est une partie cruciale dans le cycle de leur développement. Deux techniques de vérification et de validation se sont démarquées au cours de ces dernières années : l'analyse statique et l'analyse dynamique. Les points forts et faibles des deux techniques sont complémentaires. Nous présentons dans cette thèse une combinaison originale de ces deux techniques. Dans cette combinaison, l'analyse statique signale les instructions risquant de provoquer des erreurs à l'exécution, par des alarmes dont certaines peuvent être de fausses alarmes, puis l'analyse dynamique (génération de tests) est utilisée pour confirmer ou rejeter ces alarmes. L'objectif de cette thèse est de rendre la recherche d'erreurs automatique, plus précise, et plus efficace en temps. Appliquée à des programmes de grande taille, la génération de tests, peut manquer de temps ou d'espace mémoire avant de confirmer certaines alarmes comme de vraies erreurs ou conclure qu'aucun chemin d'exécution ne peut atteindre l'état d'erreur de certaines alarmes et donc rejeter ces alarmes. Pour surmonter ce problème, nous proposons de réduire la taille du code source par le slicing avant de lancer la génération de tests. Le slicing transforme un programme en un autre programme plus simple, appelé slice, qui est équivalent au programme initial par rapport à certains critères. Quatre utilisations du slicing sont étudiées. La première utilisation est nommée all. Elle consiste à appliquer le slicing une seule fois, le critère de simplification étant l'ensemble de toutes les alarmes du programme qui ont été détectées par l'analyse statique. L'inconvénient de cette utilisation est que la génération de tests peut manquer de temps ou d'espace et les alarmes les plus faciles à classer sont pénalisées par l'analyse d'autres alarmes plus complexes. Dans la deuxième utilisation, nommée each, le slicing est effectué séparément par rapport à chaque alarme. Cependant, la génération de tests est exécutée pour chaque programme et il y a un risque de redondance d'analyse si des alarmes sont incluses dans d'autres slices. Pour pallier ces inconvénients, nous avons étudié les dépendances entre les alarmes et nous avons introduit deux utilisations avancées du slicing, nommées min et smart, qui exploitent ces dépendances. Dans l'utilisation min, le slicing est effectué par rapport à un ensemble minimal de sous-ensembles d'alarmes. Ces sous-ensembles sont choisis en fonction de dépendances entre les alarmes et l'union de ces sous-ensembles couvre l'ensemble de toutes les alarmes. Avec cette utilisation, on a moins de slices qu'avec each, et des slices plus simples qu'avec all. Cependant, l'analyse dynamique de certaines slices peut manquer de temps ou d'espace avant de classer certaines alarmes, tandis que l'analyse dynamique d'une slice éventuellement plus simple permettrait de les classer. L'utilisation smart consiste à appliquer l'utilisation précédente itérativement en réduisant la taille des sous-ensembles quand c'est nécessaire. Lorsqu'une alarme ne peut pas être classée par l'analyse dynamique d'une slice, des slices plus simples sont calculées. Nous prouvons la correction de la méthode proposée. Ces travaux sont implantés dans sante, notre outil qui relie l'outil de génération de tests PathCrawler et la plate-forme d'analyse statique Frama-C. Des expérimentations ont montré, d'une part, que notre combinaison est plus performante que chaque technique utilisée indépendamment et, d'autre part, que la vérification devient plus rapide avec l'utilisation du slicing. De plus, la simplification du programme par le slicing rend les erreurs détectées et les alarmes restantes plus faciles à analyser