• Aucun résultat trouvé

Génération automatique

Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique

Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique

... 6.1 Spécification fonctionnelle sous forme de contraintes résolution de CSP pour la preuve de concept de la méthode de génération automatique de tests. Nous nous intéresserons à l’optimisation des ...

179

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

... Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes.. embarqués.[r] ...

196

Génération automatique de tests logiciels dans le contexte de la certification aéronautique

Génération automatique de tests logiciels dans le contexte de la certification aéronautique

... résolution de CSP pour la preuve de concept de la méthode de génération automatique de tests. Nous nous intéresserons à l’optimisation des solutions dans un second temps. Les domaines de définition des ...

177

Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests

Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de tests

... 1.2.6.2 Exécution symbolique dynamique pour la couverture des chemins Williams, Marre, Mouy, et Roger proposent une méthode de génération automatique de données de test pour le langage C [ WMMR05 , BDHTH + ...

145

Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles

Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles

... Figure 1. Positionnement de la génération automatique des observateurs La synthèse d’observateur peut être ainsi résumée. Les informations du TRDD permettent de construire un squelette de comportement de ...

2

Outils d'aide à la génération automatique d'hypertextes pédagogiques

Outils d'aide à la génération automatique d'hypertextes pédagogiques

... de génération automatique de l’hypertexte pédagogique à partir du texte ainsi marqué ; outils de visualisation graphique du contenu conceptuel du ...

8

Génération automatique d'architectures de calcul pour des opérations linéaires : application à l'IDCT sur FPGA

Génération automatique d'architectures de calcul pour des opérations linéaires : application à l'IDCT sur FPGA

... Rapport de recherche n° 4486 — Mars 2002 — 10 pages Résumé : Cet article présente une méthode de génération automatique d’opérateurs arithmétiques matériels pour des calculs basés sur des multiplications ...

14

Génération automatique de correspondances sémantiques entre schémas Une approche par réécriture de requêtes

Génération automatique de correspondances sémantiques entre schémas Une approche par réécriture de requêtes

... 5. Discussion La génération automatique (ou semi-automatique) de correspondances sémantiques n’est pas un problème nouveau. Parmi les travaux existants [RAH 01, MAD 05, SHV 05] se dégagent deux ...

17

Génération automatique d'activités Lexicales dans le système ALEXIA

Génération automatique d'activités Lexicales dans le système ALEXIA

... la génération automatique d’activités lexicales à l’aide d’outils spécifiques au traitement automatique du langage ...reconnaissance automatique des lexies dans les textes, nécessaire pour ...

29

Génération automatique de codes adjoints : Stratégies d'utilisation pour le logiciel Odyssée, Application au code météorologique Meso-NH

Génération automatique de codes adjoints : Stratégies d'utilisation pour le logiciel Odyssée, Application au code météorologique Meso-NH

... Génération automatique de codes adjoints : Stratégies d’utilisation pour le logiciel Odyssée, Application au code météorologique Meso-NH Isabelle Charpentier, Mohammed Ghémirès.. To cite[r] ...

43

Dictionnaires de catégories pour la génération automatique de proverbes : vers une économie sémantique de l'interprétation

Dictionnaires de catégories pour la génération automatique de proverbes : vers une économie sémantique de l'interprétation

... 1. La construction des dictionnaires génératifs La fabrication d'un générateur automatique de texte permet de questionner les structures de cohérence de la littérature et les moyens de les reproduire ...

16

Génération automatique de réseaux en bibliométrie

Génération automatique de réseaux en bibliométrie

... GENERATION AUTOMATIQUE DE RESEAUX EN BIBLIOMETRIE E. BOUTIN, P DUMAS, L. QUONIAM, H. ROSTAING, H. DOU Laboratoire Le Pont Université de Toulon et du Var. BP 132. 83957 LA GARDE Cedex: CRRM. Université ...

3

Architecture de génération automatique de scénarios pédagogiques de jeux sérieux éducatifs

Architecture de génération automatique de scénarios pédagogiques de jeux sérieux éducatifs

... peuvent être utiles au formateur. Notre architecture pourrait être mise en œuvre dans d'autres JSÉ de simulation et donc s' appliquer à d' autres domaines d'expe1iise. Mots-clefs :[r] ...

291

Approche sémantique de génération automatique d’applications agiles en environnement pervasif

Approche sémantique de génération automatique d’applications agiles en environnement pervasif

... la génération automatiquement des actions de reconfigurations en fonction du profil de l'utilisateur, de ses besoins et situations ...reconfiguration automatique des applications ...

201

Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP

Génération automatique de tests unitaires avec Praspel, un langage de spécification pour PHP

... À partir d’un contrat écrit en Praspel, nous pouvons faire du Contract-based Testing, c’est à dire exploiter les contrats pour générer automatiquement des tests unitaires.. La deuxième c[r] ...

195

Génération automatique de configurations et de scénarios d'utilisation d'outils de visualisation à partir de spécifications de tâches d'analyse de logiciels

Génération automatique de configurations et de scénarios d'utilisation d'outils de visualisation à partir de spécifications de tâches d'analyse de logiciels

... selon ces dernières, il construit la vue la plus appropriée. Quand un utilisateur ajoute une métrique dans une vue, cette vue sera remplacée automatiquement par une autre qui permet de visualiser les nouvelles et les ...

65

Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests

Exploration concrétisée et pertinente de systèmes d'événements abstraits en vue de la génération automatique de tests

... C ONCLUSION Nos travaux proposent plusieurs m ´ethodes de g ´en ´eration automatique de tests `a partir d’abstraction de mod `eles de syst `emes ´ev ´enementiels. L’objectif principal de nos m ´ethodes est ...

170

Génération automatique d'interfaces Web à partir de spécifications l'outil DCI-Web

Génération automatique d'interfaces Web à partir de spécifications l'outil DCI-Web

... Les fichiers generes sont: le fichier de configuration de Struts (struts_config.xml), les fichiers de configuration pour les Struts Validators, les fichiers de configuration de Papplic[r] ...

141

2018 — Génération automatique de cartes de profondeur relative par utilisation des occlusions dynamiques

2018 — Génération automatique de cartes de profondeur relative par utilisation des occlusions dynamiques

... Ces figures contiennent, pour chaque séquence : la trame traitée, la vérité terrain de la seg- mentation et de la carte de profondeur, la carte obtenue en considérant la vérité terrain de[r] ...

107

La plate-forme RAMSES pour un triple écran interactif : application à la génération automatique de télévision interactive

La plate-forme RAMSES pour un triple écran interactif : application à la génération automatique de télévision interactive

... 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] ...

177

Show all 1533 documents...

Sujets connexes