Génération de tests à partir de modèles
Génération de Tests pour les Systèmes Temps-Réel à partir de Modèles SysML: Contexte, Motivations et Objectifs
... de génération de tests à partir de modèles SysML pour les systèmes embarqués ...la génération de tests pour les systèmes embarqués ...de tests outillée pour les systèmes ...
7
Génération de tests de vulnérabilité web à partir de modèles
... de génération de tests à partir de modèles, plus communément appelées MBT pour Model-Based Testing (Utting, Legeard, 2006), ont connu depuis plusieurs années un intérêt et un essor ...à ...
16
Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués
... Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes.. embarqués.[r] ...
196
Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes
... 7.1. Cr´eation et conduite d’une strat´egie Motif d’animations Avec ce param`etre, le superviseur de strat´egies pr´ecise les transitions autoris´ees durant les diff´erents pas de l’animation.D’un point de vue ...
216
Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes.
... Pour constituer le g´en´erateur de tests de notre d´emarche, deux outils, d´ecrits dans ce chapitre, sont employ´es. Le premier outil utilis´e dans notre d´emarche pour raisonner sur un mod`ele math´ematique est ...
216
Génération de tests à partir de critères dynamiques de sélection et par abstraction
... test, génération de tests symboliques 1 Introduction La génération de tests à partir de modèles [ UL06 , BJK + 05 ], appelée MBT (Model-Based Testing), est une démarche dont ...
16
Génération automatique de tests à partir de patrons de propriétés
... La génération de tests à partir de modèles fonctionnels [BEI 95], ou test boîte noire, est un concept consistant à utiliser un modèle formel, décrivant le comportement du système, à la fois ...
16
Génération de tests à partir de modèle UML/OCL pour les systèmes critiques évolutifs
... des tests selon les huit statuts du cycle de vie du test, nommée SeTGaM, pour tes- ter les systèmes ...des tests à partir des comportements issus des transitions du diagramme d’états/transitions et ...
204
Génération de tests de vulnérabilité pour la structure des fichiers cap en Java Card
... À partir de cette modélisation, le VTG va générer des modèles comportant des fautes en utilisant la mutation de ...de tests de vulnéra- bilité. Pour assurer une bonne complétude de tests, il ...
77
Génération des réseaux de Pétri à partir Des modèles OSSAD
... Un projet ossadien conduit donc à l’élaboration de trois types de modèles récapitulés dans le tableau 2.5 suivant : 2.4. Exemple de modélisation ossadienne : Une organisation est composée de trois fonctions ...
68
Génération automatique de tests logiciels dans le contexte de la certification aéronautique
... à partir d’un langage de spécification muni d’une sémantique ...de tests, par la génération de contre- exemples pour certaines propriétés choisies en fonction des objectifs de ...
177
Vers une nouvelle génération de modèles d'habitats numériques.
... de modèles d’habitat n’ont pas toujours les compétences nécessaires en topographie pour réaliser un protocole de mesures de terrain ...des modèles statistiques est dû aux paramètres hydrauliques (largeur et ...
40
Génération automatique de modèles d'application Temps-Réel
... de génération du code (au moins dans un langage de type C) se révèle délicat, il doit cependant être possible de générer des résultats avec des erreurs sur l’évaluation du pire cas pouvant dépasser un facteur 4 ou ...
51
Utilisation des modèles de génération synthétique en mode prévisionnel.
... Dans la première étape de la génération des séries-mères, des séries d'apports prévisionnels sont produites à l'aide du modèle météo-apport utilisé avec les conditions hy[r] ...
42
Génération automatique de modèles calibrés. Une méthodologie complète
... Les modèles analytiques sont ordinairement utilisés lors de la conception de nou- veaux systèmes, lors du dimensionnement de systèmes existants ou bien dans l’op- tique d’une planification de capacité sur un ...
13
Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique
... la génération de tests numériques est utilisée dans plusieurs outils de génération de tests pour la vérification et validation de logiciels ...des tests pour des intervalles à ...
179
Génération de tests de vulnérabilité pour des programmes Java Card itératifs
... Notre modèle final est l’aboutissements de 4 mois de travail entre janvier et avril 2016 dans lequel plusieurs mini-modèles ont été réalisés. Le mois de janvier a été dédié à la mise en place des conventions sur ...
123
Génération de squelettes des contrats de classes et des tests unitaires en Java
... Les tests boîtes noires n’utilisent aucune information concernant la structure interne d’un composant du système à tester par contre les tests boîtes blanches nécessites de connaitre en détail la structure ...
114
Génération de modèles comportemementaux des applications des applications réparties
... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ...
146
Tests multiples simulés et tests de normalité basés sur plusieurs moments dans les modèles de régression
... ABSTRACT This paper illustrates the usefulness of resampling based methods in the context of multiple (simul- taneous) tests, with emphasis on econometric applications. Economic theory often suggests joint (or ...
26