Une Approche Formelle pour la Combinaison des Tests Fonctionnels et des Tests de Charge - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2020

Une Approche Formelle pour la Combinaison des Tests Fonctionnels et des Tests de Charge

Résumé

In this work, we propose a model-based test platform aiming to combine functional and load tests. An appropriate model to represent this correlation is proposed. The proposed formalism is based on the model of extended timed automata with inputs/ outputs and shared integer variables. In addition, we propose a technique to derive analog clock based tests from the specification of the system under test.
Dans ce travail, nous proposons une plate-forme de test basée sur mo-dèle ayant pour but de combiner des tests fonctionnels et des tests de charge. Un modèle adéquat permettant de représenter cette corrélation est proposé. Il s'agit du modèle des automates temporisés étendus avec des entrées/sorties et des variables entières partagées. De plus, nous proposons une technique pour dériver des tests à base d'horloges analogiques à partir de la spécification du système sous test.
Fichier principal
Vignette du fichier
Une Approche Formelle pour la Combinaison des Tests Fonctionnels et des Tests de Charge.pdf (122.17 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02504682 , version 1 (10-03-2020)

Identifiants

  • HAL Id : hal-02504682 , version 1

Citer

Moez Krichen, Afef Jmal Maâlej. Une Approche Formelle pour la Combinaison des Tests Fonctionnels et des Tests de Charge. [Rapport de recherche] Laboratoire ReDCAD, Université de Sfax, Tunisie. 2020. ⟨hal-02504682⟩

Collections

TDS-MACS LARA
53 Consultations
32 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More