Skip to Main content Skip to Navigation
Theses

Enabling white-box reasonings on black-box composition operators in a domain-independent way

Résumé : La complexité des systèmes informatiques a rendu nécessaire leur découpage avant de les recomposer. Cette séparation est un défi connu et les développeurs découpent déjà les tâches au préalable. Néanmoins, séparer sans considérer la recomposition finale entraine des réunifications hâtives et chronophages. Cette composition doit mener au bon et meilleur système avec le minimum d'effort humain. Les opérateurs de composition sont souvent ad-hoc et développés par des non-spécialistes. Ils ne respectent pas de formalismes de haut-niveau et deviennent trop complexes ou informels pour pouvoir raisonner. Nous les appelons des "boites-noires": les techniques nécessitant d'en connaitre l'intérieur ne peuvent être appliquées. Or, ces boites noires doivent garantir des propriétés : d'aucun doit vérifier son idempotence pour l'utiliser dans un contexte distribué ; connaitre son temps d'exécution pour des systèmes réactifs ; vérifier des conflits pour le confronter à des règles d'entreprise. Aucun de ces besoins n'est spécifique à un domaine applicatif. Dans cette thèse, nous présentons une approche indépendante du domaine qui permet, sur des opérateurs existants, (i) de raisonner sur des équations de composition pour (ii) les composer en sécurité, en (iii) proposant une vérification de propriétés similaires à celles de l’état de l’art. Nous avons validé cette approche sur des domaines différents : 19 versions du noyau Linux avec 54 règles de réécriture, réparé 13 « antipatrons » dans 22 applications Android et validé son efficacité sur la composition de 20k images Docker.
Document type :
Theses
Complete list of metadatas

Cited literature [148 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02495825
Contributor : Abes Star :  Contact
Submitted on : Monday, March 2, 2020 - 3:27:10 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:56 PM
Document(s) archivé(s) le : Wednesday, June 3, 2020 - 2:37:41 PM

File

2019AZUR4096.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02495825, version 1

Collections

Citation

Benjamin Benni. Enabling white-box reasonings on black-box composition operators in a domain-independent way. Software Engineering [cs.SE]. Université Côte d'Azur, 2019. English. ⟨NNT : 2019AZUR4096⟩. ⟨tel-02495825⟩

Share

Metrics

Record views

105

Files downloads

78