Méthodes efficaces de test de conformité fonctionelle pour les bibliothèques de programmation parallèle et distribuée

par Lukasz Garstecki

Thèse de doctorat en Informatique. Systèmes et communication

Soutenue en 2004

à Grenoble, INPG en cotutelle avec Faculty of Electronics, Telecommunications and Informatics-Gdansk Wrzeszcz, Poland .

    mots clés mots clés


  • Résumé

    Cette thèse présente une méthodologie complète de création de Suites de Tests de Conformité pour les langages de programmation, bibliothèques et APIs, une attention particulière étant portée aux bibliothèques de programmation parallèles et distribuées. L'auteur a commencé sa recherche dans le domaine du test de conformité pour les bibliothèques de programmation parallèle et distribuée, mais la méthodologie Consecutive Confinements Method (CoCoM), inventée par l'auteur, s'est révélée assez générale pour être appliquée à une large classe de bibliothèques de programmation, langages et APIs, y compris les modèles de programmation séquentiels et non séquentiels basés sur la programmation impérative. La méthodologie CoCoM est basée sur des notions définies dans la norme internationale ISO/IEC 13210: Information Technology --- Requirements and Guidelines for Test Methods Specifications and Test Method Implementations for Measuring Conformance to POSIX Standards, et à laquelle est fournit des extensions. CoCoM peut être vue comme un cadre général où différentes méthodologies et des outils variés peuvent être incorporés, permettant une adaptation à n'importe quel formalisme spécifique, pour lequel un moteur de traitement est fourni en support. Dans le cadre de sa thèse, l'auteur a développé une maquette d'outil appelé CTS Designer, qui implémente des parties importantes de la norme ISO/IEC 13210 et de la méthodologie CoCoM et qui peut être considéré comme le principal composant intégrateur du cadre formel mentionné ci-dessus.


  • Pas de résumé disponible.

  • Titre traduit

    Effective methods for functional conformance testing of parallel and distributed programming libraries


  • Résumé

    The thesis presents a complete methodology for creating Conformance Test Suites for programming languages, libraries and APIs, with a special attention to parallel and distributed programming libraries. Author has started his research in the field of conformance testing for parallel and distributed programming libraries, but methodology Consecutive Confinements Method (CoCoM), invented by Author, turned out to be general enough to be applied to a wider class of programming libraries, languages and APIs, including both sequential and non-sequential programming models based on imperative programming paradigm. Methodology CoCoM is based on notions defined in the international standard ISO/IEC 13210: Information Technology --- Requirements and Guidelines for Test Methods Specifications and Test Method Implementations for Measuring Conformance to POSIX Standards, and attempts to extend it. CoCoM can be seen as a framework, where many different methodologies and tools can be incorporated, allowing for expansion towards any specific formalism, for which a supporting processing engine can be found. For the purpose of the Thesis Author has developed a prototype tool called CTS Designer, which implements significant parts of the standard ISO/IEC 13210 and the CoCoM methodology and shall be considered a top integrating component of a dedicated formal framework postulated before.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 177 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 173-177

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : TS04/INPG/0068
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS04/INPG/0068/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.