Un outil d'assistance à la construction de tests de modèles à composants et services - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

Un outil d'assistance à la construction de tests de modèles à composants et services

Résumé

Dans l’article "COSTOTest : A Tool for Building and Running Test Harness for Service-Based Component Models" publié dans les proceedings de la conférence internationale ISSTA 2016 [1] et présenté en session démonstration, nous décrivons comment l’outil COSTOTest nous assiste pour tester directement les modèles de composants logiciels basés sur les services. Ces travaux concernent la vérification de systèmes logiciels à base de composants et services (Service-based Component ou SBC) et exploitent l’ingénierie dirigée par les modèles (IDM).
Fichier principal
Vignette du fichier
AFADL2017_paper_17.pdf (75.11 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01628306 , version 1 (03-11-2017)

Identifiants

  • HAL Id : hal-01628306 , version 1

Citer

Pascal Andre, Gilles Ardourel, Jean-Marie Mottu, Gerson Sunyé. Un outil d'assistance à la construction de tests de modèles à composants et services. 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2017, Montpellier, France. ⟨hal-01628306⟩
195 Consultations
134 Téléchargements

Partager

More