Expérience esthétique et imaginaire scénique : usages de la captation dans la lecture du texte théâtral

Quelle place occupe la captation théâtrale dans l’enseignement du genre théâtral ? Quels sont ses usages et ses fonctions ? C’est à ces questions que la contribution se propose de répondre en retenant le point de vue du spectateur qui vit, même partiellement et modestement, une expérience esthétique sollicitant l’écoute et la vue. À un enjeu esthétique, viennent se greffer des enjeux didactiques : à rebours d’une fonction illustrative de la mise en scène, la captation encourage une réévaluation des modes de lecture du texte théâtral, tant du point de vue de sa segmentation, des hiérarchies ordinaires des scènes à lire, que de la problématisation de l’étude de l’œuvre intégrale ou encore des outils d’analyse régulièrement mobilisés par le texte théâtral. Dans un dernier développement et dans un projet de formation du spectateur qui n’est pas seulement un spectateur de théâtre, l’article s’intéresse à l’observation et la stimulation d’un imaginaire scénique qui participe de la formation du regard et de l’écoute du spectateur, du développement d’une attention esthétique intéressée à l’expression des modes de représentations contemporaines.What place does theatrical recording have in the teaching of theatrical genre? What are its uses and functions? The contribution proposes to answer these questions from the point of view of the spectator who lives, even if partially and modestly, an aesthetic experience involving listening and seeing. In addition to an aesthetic issue, didactic issues are grafted on: contrary to an illustrative function of the staging, the recording encourages a re-evaluation of the modes of reading the theatrical text, as much from the point of view of its segmentation, of the ordinary hierarchies of the scenes to be read, as of the problematization of the study of the complete work or of the tools of analysis regularly mobilized by the theatrical text. In a final development and in a project of training the spectator who is not only a theatre spectator, the article is interested in the observation and the stimulation of a scenic imaginary which participates in the training of the spectator's look and listening, in the development of an aesthetic attention interested in the expression of the contemporary modes of representation

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool

International audienceIn this paper, we present a model-based testing tool resulting from a research project, named TASCCC. This tool is a complete tool chain dedicated to property-based testing in UML/OCL, that integrates various technologies inside a dedicated Eclipse plug-in. The test properties are expressed in a dedicated language based on property patterns. These properties are then used for two purposes. First, they can be employed to evaluate the relevance of a test suite according to specific coverage criteria. Second, it is possible to generate test scenarios that will illustrate or exercise the property. These test scenarios are then unfolded and animated on the Smartesting's CertifyIt model animator, that is used to filter out infeasible sequences. This tool has been used in industrial partnership, aiming at providing an assistance for Common Criteria evaluations, especially by providing test generation reports used to show the link between the test cases and the Common Criteria artefacts

Dramaturgies du diaphane : enjeux esthétiques et politiques d’un paradigme, du symbolisme au néo-symbolisme, de Maeterlinck à Norén, Fosse et Lygre

The dissertation analyzes the aesthetics of diaphanous and its scenic becoming in symbolist and neo-symbolist drama. It aims at refunding the combination that Brecht established between the aesthetics of diaphanous and a pure fascination regimen that annihilates critical judgment. Through the analyze of Appia’s work on Wagnerian “Worttondrama” and of Meyerhold or Régy’s works on Maeterlinck drama, the dissertation aims at emphasizing the role of perceptive alteration in politics of representation. Which ethics, which politics does aesthetics of diaphanous promote? To answer this question, the work analyzes the way that Lars Norén, Jon Fosse and Arne Lygre drama, as reluctant as Brecht to a pure aesthetic approach of representation, nevertheless use diaphanous in a political purpose. Suspension and unclearness then can be considered as ways of perceiving and building reality. Thus is renewed the dialectics of irony and empathy, identity and alteration, politics and metaphysics that fed perspectivist theory of representation. Lars Norén, Jon Fosse and Arne Lygre drama are significant in their purpose of dissolving rhetorical structures and teleology, questioning the status of emotion and judgment that lies in vanishment.La thèse analyse l’esthétique du diffus et son devenir dramaturgique dans les théâtralités symboliste et néo-symboliste. Elle interroge la notion d’atmosphère théâtrale depuis la fin du XIXe siècle sur la scène symboliste, à partir du moment où l’économie de l’immatériel en fait un enjeu spécifique pour l’écriture du drame. A travers l’analyse des travaux d’Appia sur la dramaturgie wagnérienne, de Meyerhold et de Régy sur le théâtre de Maeterlinck, elle vise à repenser la corrélation que la pensée brechtienne a établie entre cette esthétique du diffus et de l’effacement que nous désignons par le substantif « diaphane » et un régime de pure fascination esthétique qui caractérise le divertissement bourgeois. Est ainsi interrogée la place de l’altération perceptive dans la politique de la représentation. Quelle éthique, quelle politique de la représentation la dramaturgie du diaphane fait-elle intervenir ? Dans la première partie, intitulée « Influences et contextes : modélisation d’une théâtralité atmosphérique au XIXe siècle », est analysé comment, dans le contexte d’une autonomisation des arts, s’est développée une esthétique symboliste du diaphane fondée sur le voilage et la dématérialisation. La seconde partie, intitulée « Du symbolisme au néo-symbolisme : devenir scénique du corps diaphane » envisage la proxémie du spectacle et montre comment s'est formée une conception du jeu et de la présence fondée sur une approche auratique. Dans la troisième partie, intitulée « Dramaturgies contemporaines du diaphane », les dramaturgies de Lars Norén, Jon Fosse et Arne Lygre sont plus particulièrement analysées dans la mesure où elles sollicitent à des degrés divers l’esthétique néo-symboliste et travaillent à partir du diaphane dans une perspective politique. La non-transparence apparaît ainsi comme un régime de perception du réel et de construction de la réflexivité qui caractérise ce que nous nommons « théâtre du disparaître »

Diaphanous drama : aesthetic and political issues of a paradigm, from symbolism to neo-symbolism, from Maeterlinck to Norén, Fosse and Lygre drama

La thèse analyse l’esthétique du diffus et son devenir dramaturgique dans les théâtralités symboliste et néo-symboliste. Elle interroge la notion d’atmosphère théâtrale depuis la fin du XIXe siècle sur la scène symboliste, à partir du moment où l’économie de l’immatériel en fait un enjeu spécifique pour l’écriture du drame. A travers l’analyse des travaux d’Appia sur la dramaturgie wagnérienne, de Meyerhold et de Régy sur le théâtre de Maeterlinck, elle vise à repenser la corrélation que la pensée brechtienne a établie entre cette esthétique du diffus et de l’effacement que nous désignons par le substantif « diaphane » et un régime de pure fascination esthétique qui caractérise le divertissement bourgeois. Est ainsi interrogée la place de l’altération perceptive dans la politique de la représentation. Quelle éthique, quelle politique de la représentation la dramaturgie du diaphane fait-elle intervenir ? Dans la première partie, intitulée « Influences et contextes : modélisation d’une théâtralité atmosphérique au XIXe siècle », est analysé comment, dans le contexte d’une autonomisation des arts, s’est développée une esthétique symboliste du diaphane fondée sur le voilage et la dématérialisation. La seconde partie, intitulée « Du symbolisme au néo-symbolisme : devenir scénique du corps diaphane » envisage la proxémie du spectacle et montre comment s'est formée une conception du jeu et de la présence fondée sur une approche auratique. Dans la troisième partie, intitulée « Dramaturgies contemporaines du diaphane », les dramaturgies de Lars Norén, Jon Fosse et Arne Lygre sont plus particulièrement analysées dans la mesure où elles sollicitent à des degrés divers l’esthétique néo-symboliste et travaillent à partir du diaphane dans une perspective politique. La non-transparence apparaît ainsi comme un régime de perception du réel et de construction de la réflexivité qui caractérise ce que nous nommons « théâtre du disparaître ».The dissertation analyzes the aesthetics of diaphanous and its scenic becoming in symbolist and neo-symbolist drama. It aims at refunding the combination that Brecht established between the aesthetics of diaphanous and a pure fascination regimen that annihilates critical judgment. Through the analyze of Appia’s work on Wagnerian “Worttondrama” and of Meyerhold or Régy’s works on Maeterlinck drama, the dissertation aims at emphasizing the role of perceptive alteration in politics of representation. Which ethics, which politics does aesthetics of diaphanous promote? To answer this question, the work analyzes the way that Lars Norén, Jon Fosse and Arne Lygre drama, as reluctant as Brecht to a pure aesthetic approach of representation, nevertheless use diaphanous in a political purpose. Suspension and unclearness then can be considered as ways of perceiving and building reality. Thus is renewed the dialectics of irony and empathy, identity and alteration, politics and metaphysics that fed perspectivist theory of representation. Lars Norén, Jon Fosse and Arne Lygre drama are significant in their purpose of dissolving rhetorical structures and teleology, questioning the status of emotion and judgment that lies in vanishment

Scenario Based Test Generation Using Test Designer

International audienceThis paper presents a Scenario Based Testing approach for UML/OCL behavioral models. Scenarios are expressed using a regular expression syntax, that makes it possible to specify iterations and choices between sequences of operation calls, specific operation behaviors to be activated, and intermediate states that have to be reached by the scenario. This expressive scenario language describes sequences of operations that compose the scenario and restrict the execution of the model to representative subset that complements the functional test cases produced by a test generator. This approach is tool supported by a scenario editor and coupled with the model animation engine of the Test Designer tool that is used to animate unfolded test cases and check their consistency with respect to the initial test scenario. The resulting abstract test cases can then be integrated back to the Test Designer repository so as to benefit from the test publishers offered by the tool

MBT_Sec – Model-Based Testing for Security Components

International audienceNous présentons dans ce papier le projet ANR ASTRID Maturation MBT_Sec (Model-Based Testing for Security Components). Ce projet vise à l’intégration et à l’industrialisation de travaux de recherche ayant pour objectif le test fonctionnel de sécurité, appliqué aux composants cryptographiques

SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models

Best paper Award of the conferenceInternational audienc

Tool Support for Refactoring Manual Tests

International audienceManual test suites are typically described by natural language, and over time large manual test suites become disordered and harder to use and maintain. This paper focuses on the challenge of providing tool support for refactoring such test suites to make them more usable and maintainable. We describe how we have applied various machine-learning and NLP techniques and other algorithms to the refactoring of manual test suites, plus the tool support we have built to embody these techniques and to allow test suites to be explored and visualised. We evaluate our approach on several industry test suites, and report on the time savings that were obtained

Nouveaux mécanismes de filtrage de tests basés sur le modèle

International audienceno abstrac

Model-based security verification and testing for smart-cards

Model-Based Testing (MBT) is a widely used methodology for generating tests aiming to ensure that the system behaviour conforms to its specification. Recently, it has been successfully applied for testing certain security properties. However, for the success of this approach, it is an important prerequisite to consider the correctness of test models with respect to the given security property. In this paper we present an approach for smart-card specific security properties that permits to validate the system with MBT from test schemas. We combine this MBT approach with UMLsec security verification technique, by using UMLsec stereotypes to verify the model w.r.t. given security properties and gain more confidence in the model. We then define an automatic procedure to generate security test from the UMLsec model via so-called "test schemas". We validate this approach on a fragment of the Global Platform specification and report on available tool support