La complexité croissante des systèmes réactifs fait que le test devient une technique de plus en plus importante dans le développement de tels systèmes. Un grand intérêt est notamment accordé au test de conformité qui consiste à vérier si les comportements d'un système sous test sont corrects par rapport à sa spécication. Au cours des dernières années, les théories et outils de test de conformité pour la génération automatique de test se sont développés. Dans ces théories et algorithmes, les spécications des systèmes réactifs sont souvent modélisées par différentes variantes des systèmes de transitions. Cependant, ces théories et outils ne prennent pas explicitement en compte les données du système puisque le modèle sous-jacent de système<br />de transitions ne permet pas de le faire. Ceci oblige à énumérer les valeurs des données avant de construire le modèle de système de transitions d'un système, ce qui peut provoquer le problème de l'explosion de l'espace d'états. Cette énumération a également pour effet d'obtenir des cas de test où toutes les données sont instanciées. Or, cela contredit la pratique industrielle où les cas de test sont de vrais programmes avec des variables et des paramètres. La génération de tels<br />cas de test exige de nouveaux modèles et techniques. Dans cette thèse, nous atteignons deux objectifs. D'une part, nous introduisons un modèle appelé système symbolique de transitions à entrée/sortie qui inclut explicitement toutes les données d'un système réactif. D'autre part, nous proposons et implémentons une nouvelle technique de génération de test qui traite symboliquement les données d'un système en combinant l'approche de génération de test proposée auparavant par notre groupe de recherche avec des techniques d'interprétation abstraite. Les cas de test générés automatiquement par notre technique satisfont des propriétés de correction: ils émettent toujours un verdict correct.

Made available in DSpace on 2014-12-17T14:20:11Z (GMT). No. of bitstreams: 1 MariaID.pdf: 2616630 bytes, checksum: 52ad4f00b748245639aa68af9848f73b (MD5) Previous issue date: 2008-06-27 / Cette ?tude propose de r?aliser une lecture du chouri?o, une confiture faite avec du sang, fabriqu?e et consomm?e dans tout le Serid? potiguar. Grace ? l observation ethnographique r?alis?e entre 2003 et 2007, nous d?couvrons une ?conomie domestique, une organisation sociale, des formes de sociabilit? et de solidarit? contruites autour de l ?levage des porcs et des pratiques culinaires. Cette observation a aussi r?v?l? un style alimentaire, des discours, des perceptions, des go?ts et des comportements relatifs ? la consommation de la confiture qui r?sultent, em grande partie, de la relation dynamique entre une norme id?alis?e et des pratiques observ?es qui ont montr? des tensions et des contradictions entre ce qui est dit et ce qui est fait. Avec l ?tude du chouri?o, nous re?lisons une lecture de la culture alimentaire; notre intention a ?t? de probl?matiser l applicabilit? des normes sociales et leur inscription dans la r?alit?. Ainsi, em faisant une analyse simbolique du chouri?o, nous consid?rons ensemble les aspects sociaux et symboliques et nous d?crivons comment les habitants du Serid? pensent leur alimentation en corr?lation avec les pratiques alimentaires et les formes de sociabilit?. L ?tude a r?v?l? que les pr?ncipes de confiance et d interconnaissance, fond?s sur les liens sociaux, structurent les relations constitu?es autour de l ?levage des porcs et de la production, de la distribution et de la consommation du chouri?o. D un point de vue symbolique, le sang est central dans le style alimentaire: il appara?t comme une anti-nourriture et r?v?le des prohibitions et des transgressions. La contrastivit? entre les pratiques et les discours est en relation directe avec la nature du chouri?o, fait avec le sang du porc et consid?r? comme un dessert / Este estudo prop?e uma leitura do chouri?o, um doce feito de sangue, fabricado e consumido, em todo o Serid? potiguar. Gra?as ? observa??o etnogr?fica que realizamos de 2003 a 2007, descobrimos uma economia dom?stica, uma organiza??o social, formas de sociabilidade e de solidariedade em torno da cria??o de porcos e da culin?ria. Essa observa??o tamb?m revelou um estilo alimentar, discursos, percep??es, gostos e comportamentos relativos ao consumo do doce que resultam, em grande parte, de uma rela??o din?mica entre uma norma idealizada e pr?ticas observadas que mostraram tens?es e contradi??es entre o dito e o feito. Na leitura da cultura alimentar que realizamos, com o estudo do chouri?o nossa inten??o foi problematizar a aplicabilidade das normas sociais e sua inscri??o na realidade. Assim, ao fazermos uma an?lise simb?lica do chouri?o, consideramos em conjunto os aspectos sociais e os simb?licos e descrevemos como os seridoenses pensam sua alimenta??o em correla??o com as pr?ticas alimentares e as sociabilidades. O estudo revelou que os princ?pios da confian?a e do interconhecimento , baseados nos la?os sociais, estruturam rela??es constitu?das em torno da cria??o do porco e da produ??o, da distribui??o e do consumo do chouri?o. De um ponto de vista simb?lico, no estilo alimentar, o sangue ? central: aparece como uma n?o-comida e releva proibi??es e transgress?es. A contrastividade entre pr?ticas e discursos tem rela??o direta com a natureza do chouri?o, feito com o sangue do porco e considerado um doce

En partant et en s'appuyant sur l’approche de Walter Benjamin et la question d’aura dans l’œuvre cinématographique, cette thèse se propose d'analyser deux films tunisiens, «Les silences du palais" de M. Tletli et "Baba Aziz" de N. Khmir. Le choix d'un tel corpus repose sur des exigences auratiques dans le mode d'appréhension des deux cinéastes, notamment dans leurs approches esthétiques, explorant tous les systèmes formels dans un ordre sensible où reigne le visible et le sonore dans une parfaite harmonie. En tenant compte des aspects formels des deux films, l'on a essayé de les décomposer à travers les différentes séquences où l'on a noté que ces analyses sont sensiblement orientées par l’adaptation du concept de «l'aura» dans un sens de mise en jeu entre absence/présence. Nous proposons une relecture que nous espérons originale, mettant les deux films à l’épreuve de nouveaux égards. Au fond, les analyses dans ce travail ont pour objectif de voir dans quelle mesure la question auratique dicte la mise en scène des deux cinéastes du corpus, malgré les exigences techniques et artistiques qu'impose la praxis filmique. Aussi, il est bien question de montrer la pluralité des codes auratiques et l’importance de déchiffrement dans l'approche analytique de la séquence cinématographique. / Based on Benjamin Walter‘s approach and the question of aura in cinematographic works, this thesis aims at analyzing two Tunisian films “the Silences of the Palace” directed by M. Tletli and “Baba Aziz” by N. Khmir. The selection of the two films stems from an aura of expectations within the two filmmakers’ apprehension and more specifically their aesthetic approaches which explore in a sensitive manner all the formal systems, and where the visual and acoustics reign in perfect harmony. Taking into account the formal aspects of these two films, a thorough analysis of different sequences where the question of aura is identified and the issue of presence and absence is brought into play. This new reading is hopefully to be original for further considerations. Indeed the aim of this work is to see how far the question of aura within the two filmmakers predetermines direction in spite of the technical and artistic requirements dictated by filmmaking. It is also of paramount importance to show the different aura codes and the decoding strategy in the analytical approach of cinematographic sequences.