Cet article examine la « danse serpentine », la première des danses que Loïe Fuller donne aux Fol... more Cet article examine la « danse serpentine », la première des danses que Loïe Fuller donne aux Folies-Bergère en novembre 1892. L'examen du dispositif mobilisé par Loïe Fuller dans la « serpentine » est ici interrogé au niveau technique, pragmatique et symbolique afin de mieux comprendre l'ancrage de la danseuse dans le champ socio-culturel de cette fin de XIXe siècle.
EA3959-IRET Thèse présentée pour l'obtention d'un doctorat en Études Théâtrales JULIEN BOTELLA DR... more EA3959-IRET Thèse présentée pour l'obtention d'un doctorat en Études Théâtrales JULIEN BOTELLA DRAMATURGIES DU DIAPHANE Enjeux esthétiques et politiques d'un paradigme, du symbolisme au néo-symbolisme, de Maeterlinck à Norén, Fosse et Lygre Thèse dirigée par M. le professeur Arnaud Rykner,
Pour une didactique du théâtre : entre textes, jeux et représentations Expérience esthétique et i... more Pour une didactique du théâtre : entre textes, jeux et représentations Expérience esthétique et imaginaire scénique : usages de la captation dans la lecture du texte théâtral Aesthetic experience and scenic imagination: uses of capture in the reading of the theatrical text
La thèse analyse l’esthétique du diffus et son devenir dramaturgique dans les théâtralités symbol... more 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’un...
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020
Manual test suites are typically described by natural language, and over time large manual test s... more Manual 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.
International Journal on Software Tools for Technology Transfer, 2018
This article presents a successful industrial application of a model-based testing approach to th... more This article presents a successful industrial application of a model-based testing approach to the validation of security components. We present a smart combination of three test selection criteria applied to testing security requirements of components such as Hardware Security Modules (HSM). This combination relies on the use of static test selection criteria, namely structural model coverage, complemented by dynamic test selection criteria, based on abstract test scenarios or temporal properties, designed to target corner cases of security functional requirements. Our approach is implemented in an industrial and scalable MBT tool. We evaluated and successfully applied it on three real-world security components. The outcome of these experiences showed that the three test selection criteria target distinct kinds of errors in the software and are able to reveal inconsistencies in the specification. Moreover, a 5-year experience of working with both manufacturers and evaluators of security components, along with other industial collaborations, showed that the approach is easy to adopt in the industry and the time spent to learn the methodology is negligible with respect to its benefits. Finally, the approach can be completely applied in a more general context on systems that underlay thorough validation of compliance to specifications or audits.
The Software Communications Architecture (SCA) is a software architecture provided and published ... more The Software Communications Architecture (SCA) is a software architecture provided and published by the Joint Tactical Networking Center (JTNC). Facing the multiplicity of the waveforms and the diversity of the platform architectures and form factors, the original aims of the SCA are to facilitate the waveform development in terms of portability and waveform deployments onto heterogeneous Software Defined Radio (SDR) platforms. In this paper, we present an approach using Model-Based Testing (MBT) to ensure the conformance of a software radio platform with SCA requirements. In this approach, an MBT model is developed on the basis of SCA specifications, and conformance tests and scripts are generated and then run on the targeted software radio platform. This approach has been developed within a French research project, called OSeP,
Tobias is a combinatorial test generation tool which can efficiently generate a large number of t... more Tobias is a combinatorial test generation tool which can efficiently generate a large number of test cases by unfolding a test pattern and computing all combinations of parameters. In this paper, we first propose a model-based testing approach where Tobias test cases are first run on an executable UML/OCL specification. This animation of test cases on a model allows to filter out invalid test sequences produced by blind enumeration, typically the ones which violate the preconditions of operations, and to provide an oracle for the valid ones. We then introduce recent extensions of the Tobias tool which support an incremental unfolding and filtering process, and its associated toolset. This allows to address explosive test patterns featuring a large number of invalid test cases, and only a small number of valid ones. For instance, these new constructs could mandate test cases to satisfy a given predicate at some point or to follow a given behavior. The early detection of invalid test cases improves the calculation time of the whole generation and execution process, and helps fighting combinatorial explosion.
This paper introduces an original security testing approach guided by risk assessment, by means o... more This paper introduces an original security testing approach guided by risk assessment, by means of risk coverage, to perform and automate vulnerability testing for Web applications. This approach, called Risk-Based Vulnerability Testing, adapts Model-Based Testing techniques, which are mostly used currently to address functional features. It also extends Model-Based Vulnerability Testing techniques by driving the testing process using security test patterns selected from risk assessment results. The adaptation of such techniques for Risk-Based Vulnerability Testing defines novel features in this research domain. In this paper, we describe the principles of our approach, which is based on a mixed modeling of the System Under Test: the model used for automated test generation captures some behavioral aspects of the Web applications, but also includes vulnerability test purposes to drive the test generation process.
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013
ABSTRACT We present an approach to use techniques of model-based testing (MBT) applied on securit... more ABSTRACT We present an approach to use techniques of model-based testing (MBT) applied on security cryptographic components. This application of MBT is done in the context of a qualification testing phase made by an entity independent from designers, developers and sponsors of the cryptographic components under test. This qualification phase targets both hardware and software cryptographic components and the testing activities cover functional and security testing objectives. In this context, we present the application of MBT for two cryptographic components (one hardware and one software) and show the complementary of test selection criteria based on one side on a structural coverage of the behavioral model used for test generation, and on the other side on a test purpose approach to meet some security test objectives. The test purpose language used in this project is novel and has been designed to complete behavioral model coverage criteria in the MBT process.
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013
In this paper, we present a model-based testing tool resulting from a research project, named TAS... more In 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.
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011
... tors exist such as Smartesting's Test Designer [20], TGV [12] or STG [7], SpecEx... more ... tors exist such as Smartesting's Test Designer [20], TGV [12] or STG [7], SpecExplorer [6], etc. ... This paper proposes a Scenario-Based Testing approach for UML/OCL models, based on a ... In this con-text, the scenarios are described using an ad hoc language based on regular ...
2011 Sixth International Conference on Availability, Reliability and Security, 2011
ABSTRACT Model-Based Testing (MBT) is a widely used methodology for generating tests aiming to en... more ABSTRACT 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.
Cet article examine la « danse serpentine », la première des danses que Loïe Fuller donne aux Fol... more Cet article examine la « danse serpentine », la première des danses que Loïe Fuller donne aux Folies-Bergère en novembre 1892. L'examen du dispositif mobilisé par Loïe Fuller dans la « serpentine » est ici interrogé au niveau technique, pragmatique et symbolique afin de mieux comprendre l'ancrage de la danseuse dans le champ socio-culturel de cette fin de XIXe siècle.
EA3959-IRET Thèse présentée pour l'obtention d'un doctorat en Études Théâtrales JULIEN BOTELLA DR... more EA3959-IRET Thèse présentée pour l'obtention d'un doctorat en Études Théâtrales JULIEN BOTELLA DRAMATURGIES DU DIAPHANE Enjeux esthétiques et politiques d'un paradigme, du symbolisme au néo-symbolisme, de Maeterlinck à Norén, Fosse et Lygre Thèse dirigée par M. le professeur Arnaud Rykner,
Pour une didactique du théâtre : entre textes, jeux et représentations Expérience esthétique et i... more Pour une didactique du théâtre : entre textes, jeux et représentations Expérience esthétique et imaginaire scénique : usages de la captation dans la lecture du texte théâtral Aesthetic experience and scenic imagination: uses of capture in the reading of the theatrical text
La thèse analyse l’esthétique du diffus et son devenir dramaturgique dans les théâtralités symbol... more 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’un...
2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020
Manual test suites are typically described by natural language, and over time large manual test s... more Manual 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.
International Journal on Software Tools for Technology Transfer, 2018
This article presents a successful industrial application of a model-based testing approach to th... more This article presents a successful industrial application of a model-based testing approach to the validation of security components. We present a smart combination of three test selection criteria applied to testing security requirements of components such as Hardware Security Modules (HSM). This combination relies on the use of static test selection criteria, namely structural model coverage, complemented by dynamic test selection criteria, based on abstract test scenarios or temporal properties, designed to target corner cases of security functional requirements. Our approach is implemented in an industrial and scalable MBT tool. We evaluated and successfully applied it on three real-world security components. The outcome of these experiences showed that the three test selection criteria target distinct kinds of errors in the software and are able to reveal inconsistencies in the specification. Moreover, a 5-year experience of working with both manufacturers and evaluators of security components, along with other industial collaborations, showed that the approach is easy to adopt in the industry and the time spent to learn the methodology is negligible with respect to its benefits. Finally, the approach can be completely applied in a more general context on systems that underlay thorough validation of compliance to specifications or audits.
The Software Communications Architecture (SCA) is a software architecture provided and published ... more The Software Communications Architecture (SCA) is a software architecture provided and published by the Joint Tactical Networking Center (JTNC). Facing the multiplicity of the waveforms and the diversity of the platform architectures and form factors, the original aims of the SCA are to facilitate the waveform development in terms of portability and waveform deployments onto heterogeneous Software Defined Radio (SDR) platforms. In this paper, we present an approach using Model-Based Testing (MBT) to ensure the conformance of a software radio platform with SCA requirements. In this approach, an MBT model is developed on the basis of SCA specifications, and conformance tests and scripts are generated and then run on the targeted software radio platform. This approach has been developed within a French research project, called OSeP,
Tobias is a combinatorial test generation tool which can efficiently generate a large number of t... more Tobias is a combinatorial test generation tool which can efficiently generate a large number of test cases by unfolding a test pattern and computing all combinations of parameters. In this paper, we first propose a model-based testing approach where Tobias test cases are first run on an executable UML/OCL specification. This animation of test cases on a model allows to filter out invalid test sequences produced by blind enumeration, typically the ones which violate the preconditions of operations, and to provide an oracle for the valid ones. We then introduce recent extensions of the Tobias tool which support an incremental unfolding and filtering process, and its associated toolset. This allows to address explosive test patterns featuring a large number of invalid test cases, and only a small number of valid ones. For instance, these new constructs could mandate test cases to satisfy a given predicate at some point or to follow a given behavior. The early detection of invalid test cases improves the calculation time of the whole generation and execution process, and helps fighting combinatorial explosion.
This paper introduces an original security testing approach guided by risk assessment, by means o... more This paper introduces an original security testing approach guided by risk assessment, by means of risk coverage, to perform and automate vulnerability testing for Web applications. This approach, called Risk-Based Vulnerability Testing, adapts Model-Based Testing techniques, which are mostly used currently to address functional features. It also extends Model-Based Vulnerability Testing techniques by driving the testing process using security test patterns selected from risk assessment results. The adaptation of such techniques for Risk-Based Vulnerability Testing defines novel features in this research domain. In this paper, we describe the principles of our approach, which is based on a mixed modeling of the System Under Test: the model used for automated test generation captures some behavioral aspects of the Web applications, but also includes vulnerability test purposes to drive the test generation process.
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013
ABSTRACT We present an approach to use techniques of model-based testing (MBT) applied on securit... more ABSTRACT We present an approach to use techniques of model-based testing (MBT) applied on security cryptographic components. This application of MBT is done in the context of a qualification testing phase made by an entity independent from designers, developers and sponsors of the cryptographic components under test. This qualification phase targets both hardware and software cryptographic components and the testing activities cover functional and security testing objectives. In this context, we present the application of MBT for two cryptographic components (one hardware and one software) and show the complementary of test selection criteria based on one side on a structural coverage of the behavioral model used for test generation, and on the other side on a test purpose approach to meet some security test objectives. The test purpose language used in this project is novel and has been designed to complete behavioral model coverage criteria in the MBT process.
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation, 2013
In this paper, we present a model-based testing tool resulting from a research project, named TAS... more In 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.
2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, 2011
... tors exist such as Smartesting's Test Designer [20], TGV [12] or STG [7], SpecEx... more ... tors exist such as Smartesting's Test Designer [20], TGV [12] or STG [7], SpecExplorer [6], etc. ... This paper proposes a Scenario-Based Testing approach for UML/OCL models, based on a ... In this con-text, the scenarios are described using an ad hoc language based on regular ...
2011 Sixth International Conference on Availability, Reliability and Security, 2011
ABSTRACT Model-Based Testing (MBT) is a widely used methodology for generating tests aiming to en... more ABSTRACT 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.
Uploads
Papers by julien botella