Model-checking et génération de tests avec Object Geode et TestComposer
|
|
- Justin Larochelle
- il y a 6 ans
- Total affichages :
Transcription
1 Paris-Sud ISI M2PRO IICI année Année Model-checking et génération de tests avec Object Geode et TestComposer Figure 1 Spécification SDL du Simple Connection Protocol 1
2 1 Model-checking 1.1 GOAL observers Un observer est une machine à états qui est exécutée en parallèle d un modèle SDL et qui permet d observer un ensemble de comportements choisis. Un observer est donc associé à un modèle SDL particulier. La syntaxe des observers diffère du langage SDL utilisé pour construire les spécifications. Il faut déclarer un ensemble de probes(sondes) qui définissent des chemins d accès aux parties du modèle SDL à observer (système, bloc, processus). Ensuite, un observer est une machine à états dont les INPUT sont remplacés par des WHEN qui réagissent aux événements qui se produisent dans le modèle. Enfin, certains états de l observer sont étiquetés par error ou success pour la vérification de propriétés. Création d un observer. On crée un observer grâce à File > New GOAL observer. Il doit porter le même nom que le modèle auquel il est associé. Un observer est composé de deux parties : la déclaration des probes PR declaration et l observer lui-même. On déclare un probe en donnant un nom au chemin menant à l élément du système SDL qu on veut observer. Ici, on nomme pr scp le probe menant un processus SCP du bloc Protocol du système SimpleConnexionProtocol. Pour définir un observer, on déclare ses états de succès et d erreur et on construit une machine à états correspondant à la propriété que l on veut observer sur le système. Ici, on cherche à montrer que si la connexion est acceptée (ConnexionOK), elle finira par prendre fin (FinConnexion). Observations. Un observer permet de suivre les événements qui se produisent dans le modèle en se synchronisant sur les événements communs. Il est possible d observer des envois 2
3 ou des réceptions de signaux comme dans l exemple précédent, grâce aux mots clés input et output (il est possible de préciser to ou from suivi du nom du probe). On peut également observer la valeur d une variable du modèle ou le nom d un état. Il faut pour cela déclarer une variable dans l observer, qui permettra de stocker la valeur de la variable ou de l état au moment voulu puis de vérifier l adéquation entre la valeur observée et la valeur attendue. Dans cet exemple, on cherche à observer l état atteint après la réception du signal Accepte. On déclare une variable particulière etat de type nom probe!state sort dans laquelle on stocke le nom de l état nom probe!state. On vérifie ensuite que le nom de l état atteint est bien connexionok : si c est le cas, on atteint l état de succès s ok, sinon on atteint l état d erreur 3
4 s erreur. 1.2 Model-checking Pour effectuer la vérification de la propriété décrite par l observer sur le modèle SDL, il faut charger dans l éditeur le modèle et l observer correspondant puis lancer le simulateur. Après avoir chargé les feed du modèle (source scp.feed) et déclaré l environnement raisonnable (define reasonable feed true), la vérification se lance avec Execute > Verify. Les différents paramètres permettent de contrôler le nombre de scénarios de succès et d erreur qu on veut que l outil génère en cas de succès ou d erreur. Lorsque des succès ou des erreurs sont trouvés, les scénarios correspondant sont stockés dans des fichiers dont le nom termine par e*.scn pour les erreurs et par s*.scn pour les succès. Il est possible de jouer ces scénarios en chargeant un de ces fichiers (ne pas oublier de remettre le modèle dans l état initial et de démarrer la visualisation du MSC) : source scp.connexiondata.s1.scn. 2 TestComposer TestComposer est un outil de génération de tests de conformité. Il est conçu pour produire, automatiquement ou interactivement, des suites de tests complètes à partir d une spécification donnée et de son environnement de test. TestComposer prend en entrée une spécification SDL, un environnement de test donné par l ensemble des messages provenant de l environnement (feed) et un ensemble d objectifs de test. Ceux-ci peuvent être décrits par des MSC ou des GOAL observers. Le moteur de génération de tests produit ensuite une suite de tests, composée des tests générés pour chaque objectif de test. 2.1 Description des objectifs de test MSC Un objectif de test sous la forme d un MSC décrit les échanges de messages principaux que l on doit observer pour conclure au succès du test. Il doit décrire les interactions attendues entre le système et l environnement, où le système est considéré comme une boîte noire. Les interactions internes au système ne sont pas décrites. Concrètement, le MSC sera constitué uniquement d une instance du système, comme dans les exemples de la figure 2. Cette instance doit nommer l objet SDL qu elle représente, c est-à-dire ici le système Simple- ConnexionProtocol. Elle doit de plus porter un nom, ici inst scp. Les messages du MSC sont les signaux portés par les canaux entre le système et l environnement, dont les paramètres doivent être instanciés. Différents niveaux d abstraction sont possibles. Un objectif de test est complet s il décrit exactement tous les échanges de messages vers et depuis le système sous test (Fig. 2(a)). Il est complet en entrées s il décrit toutes les entrées à envoyer au système mais pas forcément toutes les sorties du système attendues (Fig. 2(b)). 4
5 (a) (b) Figure 2 Exemples d objectifs de test MSC (a) complet (b) complet en entrées Pour chaque objectif de test, il faut préciser à l outil l abstraction choisie pour sa description. Dans l éditeur, il est possible de préciser que l objectif de test est complet ou complet en entrée dans le menu Edit > MSC simulation properties. Préciser également que le temps est global. GOAL Observers Un objectif de test sous la forme d un observer est une machine à états finis munie d états particuliers étiquetés accept et reject. Un état est étiqueté par accept s il correspond à la fin d une séquence d actions visée par l objectif de test. L étiquette reject est donnée aux états qui correspondent à des déviations d une séquence visée et qui ne font pas partie de l objectif. Les états étiquetés par accept ou reject sont des états puits (pas de transition sortante). Figure 3 Exemple d objectif de test décrit par un GOAL observer Lorsqu on déclare un observer, il faut préciser sur quels objets du système SDL portent 5
6 les observations. Ce sont les probe (sondes) qui sont déclarées dans PR declaration. Dans la figure 3, on appelle scp la sonde qui permet d observer le processus SCP du bloc Protocol du système SimpleConnexionProtocol. 2.2 Génération des cas de test Pour générer des cas de tests à partir d un objectif de test (MSC ou observer), il faut tout d abord ouvrir dans l éditeur le système SDL et l objectif de test, puis lancer TestComposer (dans le menu Tools). Une fenêtre s ouvre, il faut alors lancer la vérification des fichiers chargés avec Check, puis lancer Build, puis Execute. Le simulateur s affiche avec des menus propres à TestComposer. Il faut commencer par charger le fichier feed pour que l outil connaissent les entrées possibles de l environnement: source scp.feed. Ensuite, la génération des tests pour l objectif de test choisi s effectue dans le menu Test Suite : Generate > Generate current, puis Publish pour que l outil écrive les tests générés dans le fichier contenant la suite de tests, et enfin Visualize pour ouvrir ce fichier. Reset sert à réinitialiser la suite de tests. 6
AP1.1 : Montages électroniques élémentaires. Électricité et électronique
STI2D Option SIN Terminale AP1.1 : Montages électroniques élémentaires Électricité et électronique Durée prévue : 3h. Problématique : connaître les composants élémentaires de l'électronique Compétences
Plus en détailRTDS G3. Emmanuel Gaudin emmanuel.gaudin@pragmadev.com
RTDS G3 Emmanuel Gaudin emmanuel.gaudin@pragmadev.com PragmaDev Dédiée au développement d un AGL pour le développement des applications temps réel et embarquées. Réseau de partenaires: Formations, Service,
Plus en détailCSI351 Systèmes d exploitation Instructions pour rouler Linux avec Virtual PC dans la salle de labo 2052
CSI351 Systèmes d exploitation Instructions pour rouler Linux avec Virtual PC dans la salle de labo 2052 Une machine virtuelle Linux, appelé SiteDev (version 9 de Redhat) peut être roulé avec Virtual PC
Plus en détailCOURS AUTOCAD. Création et utilisation des blocs. b leclerc. ERP Jean Moulin METZ
COURS AUTOCAD Création et utilisation des blocs QU EST-CE QU UN BLOC? C est un élément de dessin, auquel peut être associé du texte (des attributs ). Un bloc constitue un élément de bibliothèque. Il peut
Plus en détailMANUEL D UTILISATION DE LA SALLE DES MARCHES APPEL D OFFRES OUVERT ACCES ENTREPRISES. Version 8.2
MANUEL D UTILISATION DE LA SALLE DES MARCHES APPEL D OFFRES OUVERT ACCES ENTREPRISES Version 8.2 Vous allez utiliser les services en ligne de la plate forme de dématérialisation de la Salle des Marchés
Plus en détailGuide d installation des licences Solid Edge-NB RB-18-09-2012
Ce document vous guide dans la gestion, l installation et la mise à jour des licences Solid Edge. Contenu Les types de licences...2 Le site GTAC : support.ugs.com...3 Création d un compte GTAC...3 Identifiant
Plus en détailGUIDE MEMBRE ESPACE COLLABORATIF. Février 2012
GUIDE MEMBRE ESPACE COLLABORATIF Février 2012 Ce document est disponible sur le site WEB de l Agence de la santé et des services sociaux de la Montérégie, à l adresse suivante : http://extranet.santemonteregie.qc.ca/userfiles/file/espace-collabo/2012-02-04guide-membre-espace-collaboratif.pdf
Plus en détailSélection du contrôleur
Démo CoDeSys - 1 - 1. Configuration de l environnement de travail : Lancer le logiciel CoDeSys Fichier Nouveau Lors de la première utilisation, une boîte de dialogue apparaît permettant la sélection du
Plus en détailConfigurer et sécuriser son réseau sans fil domestique
Configurer et sécuriser son réseau sans fil domestique Présentateur: Christian Desrochers Baccalauréat en informatique Clé informatique, 22 mars 2007 1 Avant de débuter Qui suis-je? À qui s adresse cette
Plus en détailSite Internet d inscriptions en ligne
Site Internet d inscriptions en ligne 1 Veuillez aller sur notre site Internet au www.loisirsactifamille.com Sur la page d accueil, vous verrez des images défiler. À droite de ces images, vous avez plusieurs
Plus en détailGestion de la Relation Client
Gestion de la Relation Client Guillaume Ansel & Ulrich Duvent 2010 Rapport d étude de conception d un module de Gestion de la Relation Client (Customer Relationship Management) pour un ERP à but pédagogique
Plus en détailTD/TP 1 Introduction au SDK d Android
TD/TP 1 Introduction au SDK d Android Romain Raveaux 1 Introduction Android est un système d'exploitation pour téléphone portable de nouvelle génération développé par Google. Celui-ci met à disposition
Plus en détailEn choisissant l option Créer une ligne du temps, vous accédez à la page à partir de laquelle vous construirez une nouvelle ligne du temps.
TUTORIEL DE L APPLICATION WEB DE LA LIGNE DU TEMPS L application Web de la Ligne du temps du Service national du RÉCIT de l univers social permet de créer une ligne de temps ou un scénario, ou encore d
Plus en détailUtilisation de Sarbacane 3 Sarbacane Software
Tutorial par Anthony Da Cruz Utilisation de Sarbacane 3 Sarbacane Software Ambiance Soleil 17 Rue Royale 74000, Annecy Sommaire 1. Présentation générale 2. Guide étape par étape 3. Astuces de l éditeur
Plus en détailMicrosoft Excel : tables de données
UNIVERSITE DE LA SORBONNE NOUVELLE - PARIS 3 Année universitaire 2000-2001 2ème SESSION SLMD2 Informatique Les explications sur la réalisation des exercices seront fournies sous forme de fichiers informatiques.
Plus en détailGUIDE ISAN: 7 Création d un ISAN In-Dev 1
GUIDE ISAN: 7 Création d un ISAN In-Dev 1 ISAN In-Dev : Un ISAN In-Dev, ou ISAN pour œuvre en Développement, est un ISAN alloué à un déclarant avant que l œuvre puisse être complètement décrite. Il n est
Plus en détailGuide de l utilisateur Communauté virtuelle de pratique en gestion intégrée des risques
Guide de l utilisateur Communauté virtuelle de pratique en gestion intégrée des risques Mars 2012 Table des matières Introduction... 2 Prérequis... 3 Connexion à Alfresco... 3 Authentification... 3 Déconnexion...
Plus en détailProjet audio. Analyse des Signaux ELE2700
ÉCOLE POLYTECHNIQUE DE MONTRÉAL Département de Génie Électrique Projet audio Analyse des Signaux ELE2700 Saad Chidami - 2014 Table des matières Objectif du laboratoire... 4 Caractérisation du bruit...
Plus en détailSupport de TD ArcGIS 10.1. Introduction à l automatisation et au développement avec ArcGIS 10.1 JEAN-MARC GILLIOT 2014-2015. 3 e année ingénieur
JEAN-MARC GILLIOT 2014-2015 Durée 1,5 heures Introduction à l automatisation et au développement avec ArcGIS 10.1 3 e année ingénieur Support de TD ArcGIS 10.1 Grande école européenne d'ingénieurs et de
Plus en détailDatabase Manager Guide de l utilisateur DMAN-FR-01/01/12
Database Manager Guide de l utilisateur DMAN-FR-01/01/12 Les informations contenues dans le présent manuel de documentation ne sont pas contractuelles et peuvent faire l objet de modifications sans préavis.
Plus en détailRX3041. Guide d'installation rapide
RX3041 Guide d'installation rapide Guide d'installation rapide du routeur RX3041 1 Introduction Félicitations pour votre achat d'un routeur RX3041 ASUS. Ce routeur, est un dispositif fiable et de haute
Plus en détailREPETEUR SANS FIL N 300MBPS
REPETEUR SANS FIL N 300MBPS Guide d installation rapide DN-70181 Introduction : Le DN-70181 est un répéteur Wi-Fi permettant une connexion réseau filaire/sans fil conçu spécialement pour les besoins des
Plus en détailArchivage de courriels avec Outlook (2007-2010-2013)
Archivage de courriels avec Outlook (2007-2010-2013) Introduction: Si vous utilisez le protocole IMAP ou directement l interface web de Smartermail pour accéder à vos courriels, vous devez savoir que ceux-ci
Plus en détailSCOLARITE Services. Guide pour les Parents et les Elèves. Version 15.1. Dernière Mise à jour 26 Juin 2015. Scolarité services guide de l utilisateur
SCOLARITE Services Guide pour les Parents et les Elèves Version 15.1 Dernière Mise à jour 26 Juin 2015 1/18 Table des matières 1. Généralités...3 2. Création du compte...4 1- Première Connexion...5 2-
Plus en détailModule Com231A - Web et Bases de Données Notion 5 : Formulaires et utilisation des Bases de Données avec PHP
Module Com231A - Web et Bases de Données Notion 5 : Formulaires et utilisation des Bases de Données avec PHP Au cours de ce TP, vous allez voir comment PHP permet aux utilisateurs, une interaction avec
Plus en détailSe connecter en WiFi à une Freebox
Se connecter en WiFi à une Freebox L opération décrite se décompose en 3 parties : - La vérification des pré-requis : disposition des matériels, paramétrage et configuration des éléments réseaux - Récupération
Plus en détailCréer une base de données vidéo sans programmation (avec Drupal)
Créer une base de données vidéo sans programmation (avec Drupal) 10.10.2013 Nicolas Bugnon (nicolas.bugnon@alliancesud.ch) Centre de documentation Alliance Sud www.alliancesud.ch Résultat de l atelier
Plus en détailV 8.2. Vous allez utiliser les services en ligne de la plate forme de dématérialisation de la Salle des Marchés achatpublic.com.
MANUEL D UTILISATION DE LA SALLE DES MARCHES ACCES ENTREPRISES V 8.2 APPEL D OFFRES RESTREINT Vous allez utiliser les services en ligne de la plate forme de dématérialisation de la Salle des Marchés achatpublic.com.
Plus en détailLES TOUT PREMIERS PAS
DESMODO, un logiciel de gestion d idées http://www.desmodo.net/ LES TOUT PREMIERS PAS Desmodo est un logiciel (libre) qui permet, entre autre, de visualiser et de synthétiser, de manière organisée, sous
Plus en détailLes solutions de paiement CyberMUT (Crédit Mutuel) et P@iement CIC. Qui contacter pour commencer la mise en place d une configuration de test?
Les solutions de paiement CyberMUT (Crédit Mutuel) et P@iement CIC Qui contacter pour commencer la mise en place d une configuration de test? CyberMUT Paiement - Paiement CIC Commerce Electronique mailto:centrecom@e-i.com
Plus en détailInstallation et configuration du logiciel BauBit
Installation et configuration du logiciel BauBit Version Windows 2013 Version Date Description 1.0 11.2011 Gabriel Python 2.0 01.2013 Gabriel Python 3.0 09.2013 Gabriel Python 1 1 Configuration avant installation
Plus en détailLe routeur de la Freebox explications et configuration
Le routeur de la Freebox explications et configuration Source : journal du freenaute «http://www.journaldufreenaute.fr/05/03/2008/tuto-le-routeur-de-la-freeboxexplications-et-configuration.html» Publiée
Plus en détailINFORM :: DEMARRAGE RAPIDE A service by KIS
- Création d'un formulaire Ce petit mémo a pour but de donner une vue d'ensemble des étapes menant à la création d'un formulaire avec in- Form. Bien que générique ce document fournit également les informations
Plus en détailComment installer le gestionnaire de licence avec une nouvelle version de Arche / Effel / Melody?
Comment installer le gestionnaire de licence avec une nouvelle version de Arche / Effel / Melody? Cette question ne concerne que les utilisateurs des versions réseaux des logiciels. Nous vous invitons
Plus en détailAGASC / BUREAU INFORMATION JEUNESSE 06700 Saint Laurent du Var - E mail : bij@agasc.fr / Tel : 04.93.07.00.66 CONSIGNE N 1 :
CONSIGNE N 1 : Rédiger puis envoyer un nouveau message La fenêtre de la boîte de messagerie s affiche Cliquer sur «Ecrire» ou «Nouveau message» pour ouvrir cette nouvelle fenêtre. Ensuite, suivre cette
Plus en détailLimeSurvey Editeur de Questionnaire
Sommaire I. OBJECTIFS...1 1 adresse de la plateforme de questionnaire en ligne...1 2 identifier vous...1 II. PRATIQUE:...1 1 Le Principe...1 2 Créer le Questionnaire...3 3 Les Groupes...3 4 Les Questions...4
Plus en détailFORMATION MULTIMÉDIA LVE
Format Factory est un logiciel libre, gratuit et multiplateforme pour la conversion de formats de fichiers multimédia. Ce logiciel permet de convertir des fichiers audio et vidéo, et d extraire l audio
Plus en détailLe langage C. Séance n 4
Université Paris-Sud 11 Institut de Formation des Ingénieurs Remise à niveau INFORMATIQUE Année 2007-2008 Travaux pratiques d informatique Le langage C Séance n 4 But : Vous devez maîtriser à la fin de
Plus en détailSimulation en santé. Outil de gestion des risques. Avril 2014. Dr MC Moll 1
C E N T R E H O S P I T A L I E R U N I V E R S I T A I R E D ' A N G E R S Simulation en santé Outil de gestion des risques 1 La Simulation : définition 2 Le terme «simulation en santé» correspond à l
Plus en détailProjet Active Object
Projet Active Object TAO Livrable de conception et validation Romain GAIDIER Enseignant : M. Noël PLOUZEAU, ISTIC / IRISA Pierre-François LEFRANC Master 2 Informatique parcours MIAGE Méthodes Informatiques
Plus en détailALLIANZ MODE OPERATOIRE DE MIGRATION D UNE AGENCE WINDOWS 7. 29 Août 2014. Version du document : 010
ALLIANZ MODE OPERATOIRE DE MIGRATION D UNE AGENCE WINDOWS 7 29 Août 2014 Version du document : 010 0/31 Version du document : 010 29 Août 2014 HISTORIQUE DES EVOLUTIONS Version date paragraphe action nature
Plus en détailPRISE MAIN DE GOOGLE MAP ET GOOGLE EARTH DANS LE CADRE DE LA PREPARATION ET L EXPLOITATION D UNE JOURNEE DE TERRAIN
Stage CeFEG-TICE EL 2009 PRISE MAIN DE GOOGLE MAP ET GOOGLE EARTH DANS LE CADRE DE LA PREPARATION ET L EXPLOITATION D UNE JOURNEE DE TERRAIN PRESENTATION Objectif technique : Produire un fichier exportable
Plus en détailSupport pour les langues s écrivant de droite à gauche
Documentation EMu Support pour les langues s écrivant de droite à gauche Version 1.0 Version EMu 4.0 www.kesoftware.com 2010 KE Software. All rights reserved. Contents SECTION 1 Résumé 1 SECTION 2 Changer
Plus en détailBASE. Vous avez alors accès à un ensemble de fonctionnalités explicitées ci-dessous :
BASE BioArray Software Environment (BASE) est une base de données permettant de gérer l importante quantité de données générées par des analyses de bio-puces. BASE gère les informations biologiques, les
Plus en détailDéfinitions. Numéro à préciser. (Durée : )
Numéro à préciser (Durée : ) On étudie dans ce problème l ordre lexicographique pour les mots sur un alphabet fini et plusieurs constructions des cycles de De Bruijn. Les trois parties sont largement indépendantes.
Plus en détailConnexion à SQL server
Micromedia International Etude technique Auteur : Pierre Chevrier Nombre de pages : 18 Société : Date : 12/09/2012 Réf. : ETT_20110624_000001.docx Connexion à SQL server Ce document précise les modalités
Plus en détailExporter des écritures. Importer des écritures. Depuis EBP Comptabilité. www.ebp.com
Coala Comptabilité (Ecritures) Depuis EBP Comptabilité Accédez à l option du Sélectionnez Transmettre des données à votre expert comptable (ou à votre client). Cochez la case Dossier complet si vous souhaitez
Plus en détailVIDEO SURVEILLANCE SV82400 SV82500 SV82600 Type de panne cause Que faire? VIDEO SURVEILLANCE IPSV87050 VIDEO SURVEILLANCE IPSV87050 SERR1
VIDEO SURVEILLANCE SV82400 SV82500 SV82600 Le moniteur ne s allume pas (SV82400 - Pas d alimentation - Vérifier le branchement de l adaptateur 82500) Le récepteur ne s allume pas (SV82600) Pas d image
Plus en détailCréer des documents interactifs
Créer des documents interactifs 14 Au cours de cette leçon, vous apprendrez à : créer un document en ligne de base ; ajouter des boutons, des transitions de page et des hyperliens ; exporter au format
Plus en détailConfiguration email de tous les systèmes d exploitations
Configuration email de tous les systèmes d exploitations INDEX Configuration d un compte email (Outlook XP)...2 Configuration d un compte email (Netscape)...3 Configuration d un compte email (Outlook Express)...5
Plus en détailAccès distant Freebox v6 Configuration
2014 Accès distant Freebox v6 Configuration Micrologiciel Freebox version 2.0.7 Stéphane Corny V 3.1 11/02/2014 Table des matières 1. Préparation de la Freebox depuis le PC (en local)... 2 2. Configuration
Plus en détail1 Démarrer... 3 1.1 L écran Isis...3 1.2 La boite à outils...3 1.2.1 Mode principal... 4 1.2.2 Mode gadget...4 1.2.3 Mode graphique...
1 Démarrer... 3 1.1 L écran Isis...3 1.2 La boite à outils...3 1.2.1 Mode principal... 4 1.2.2 Mode gadget...4 1.2.3 Mode graphique... 4 2 Quelques actions... 5 2.1 Ouvrir un document existant...5 2.2
Plus en détailLadibug TM 2.0 Logiciel de présentation visuel d'image Manuel de l utilisateur - Français
Ladibug TM 2.0 Logiciel de présentation visuel d'image Manuel de l utilisateur - Français Table des Matières 1. Introduction... 2 2. Spécifications du Système... 2 3. Installer Ladibug... 3 4. Connexion
Plus en détailMODE D EMPLOI DU GESTIONNAIRE DE L ESPACE PERSO DES MEMBRES DE LA SLIAI
1 MODE D EMPLOI DU GESTIONNAIRE DE L ESPACE PERSO DES MEMBRES DE LA SLIAI SOMMAIRE : I - Création de compte personnel - 2 II - Connection au compte - 3 III - Gestion de la fiche personnelle d inventeur
Plus en détailBusiness Talk IP Centrex. guide. web utilisateur. pour. les services standards
guide web utilisateur pour les services standards 1/22 version 03 décembre 2013 table des matières Accès au web utilisateur... 3 Onglet accueil... 5 Onglet services téléphoniques... 7 services standards...
Plus en détailInstallation et utilisation de Cobian Backup 8
Installation et utilisation de Cobian Backup 8 Dernière mise à jour le 25/09/2007 Version utilisée : 8.4.0.198 Version du document : 1.0 Page 1 sur 12 SOMMAIRE 1. Téléchargement 2. Installation 3. Mise
Plus en détailCours Langage C/C++ Programmation modulaire
Cours Langage C/C++ Programmation modulaire Thierry Vaira BTS IRIS Avignon tvaira@free.fr «v0.1 Rappel Programmation modulaire (1/2) Le découpage d'un programme en sous-programmes est appelée programmation
Plus en détailApproche Contract First
Exemple HelpDesk Approche Contract First Développement d un premier web service en utilisant l approche contract first (ou WSDL First) Écriture du wsdl avant d écrire le code java Autre possibilité implementation
Plus en détailprogecad NLM Guide de l'utilisateur
progecad NLM Guide de l'utilisateur Rev. 11.1 Table des matières Table des matières...2 Introduction...3 Comment démarrer...3 Installation de progecad NLM server...3 Enregistrement de progecad NLM server...3
Plus en détailGuide d installation du serveur vidéo
Page 13 Guide d installation du serveur vidéo Ce guide d installation vous explique comment installer le serveur vidéo sur votre réseau. Les instructions concerment les modèles dans la liste ci-dessous.
Plus en détailREX gros projets Drupal. Drupal Camp Toulouse Novembre 2011 quentin.delance@gmail.com @qdelance - +qdelance
REX gros projets Drupal Drupal Camp Toulouse Novembre 2011 quentin.delance@gmail.com @qdelance - +qdelance Gros projet? Projet #1 1 an ½ D6 Equipe 8-10 pers. en moyenne Multilingue Multi domaine (Domain
Plus en détailCONFIGURATION DES DÉPÔTS LOCAUX GÉRÉS AGENCE DE LA SANTÉ ET DES SERVICES SOCIAUX DE L OUTAOUAIS MARTINE LESTAGE, CHARGÉE DE PROJET RÉGIONAL
CONFIGURATION DES DÉPÔTS LOCAUX GÉRÉS AGENCE DE LA SANTÉ ET DES SERVICES SOCIAUX DE L OUTAOUAIS MARTINE LESTAGE, CHARGÉE DE PROJET RÉGIONAL Mise à jour mars 2014 TABLE DES MATIÈRES ONGLET ACCÉDER À SI-PMI
Plus en détailCONFIGURATION DE BASE. 6, Rue de l'industrie BP130 SOULTZ 68503 GUEBWILLER Cedex. Fax.: 03 89 62 13 31 Tel.: 08.92.56.68.69 support@telmatweb.
Educ@Box Configuration de base 6, Rue de l'industrie BP130 SOULTZ 68503 GUEBWILLER Cedex Fax.: 03 89 62 13 31 Tel.: 08.92.56.68.69 support@telmatweb.com Page: 1 Sommaire 1 CONTENU DE VOTRE PACKAGE EDUC@BOX...
Plus en détailSciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION
Sciences de Gestion Spécialité : SYSTÈMES D INFORMATION DE GESTION Classe de terminale de la série Sciences et Technologie du Management et de la Gestion Préambule Présentation Les technologies de l information
Plus en détailDirectives d installation
Directives d installation Partie 1: Installation Table des matières Partie 1: Installation...1 A1 Configuration requise...2 A1.1 Système d exploitation...2 A1.2 Base de données...2 A1.3. Réseaux Peer2Peer
Plus en détailDE CENTRALISE FACTURE CRE ATION
DE CENTRALISE FACTURE CRE ATION Cliquer sur «facturation décentralisée» Double cliquer sur «facture» Page 1 sur 24 Cliquer sur «nouveau» Page 2 sur 24 À noter : Les champs qui sont en jaune doivent obligatoirement
Plus en détailData Tier Application avec SQL Server 2008 R2
Data Tier Application avec SQL Server 2008 R2 Article par David BARBARIN (MVP SQL Server) David BARBARIN est actuellement consultant en bases de données pour une entreprise Suisse GOLD Partner Microsoft
Plus en détailModule 24 : Analyse de scénarios
Module 24 : Analyse de scénarios 24.0 Introduction Ce module enseigne un sous-ensemble de techniques de création de modèle qui, dans Excel 2007, constitue l «analyse de scénarios». Ces techniques sont
Plus en détail(Fig. 1 :assistant connexion Internet)
MAIL > configuration de OUTLOOK EXPRESS > SOMMAIRE Qu'est ce que Outlook Express? Configuration Installation d'un compte POP Installation d'un compte IMAP Configuration du serveur SMTP En cas de problème
Plus en détailSe repérer dans l écran de Foxmail
Se repérer dans l écran de Foxmail Fenêtre des dossiers 4 5 Les noms qui ont été rentrés dans le carnet d adresses apparaissent ici. Un double-clic sur le nom lance la fenêtre «Nouveau Message» pas besoin
Plus en détailManuel Utilisateur. Boticely
Manuel Utilisateur Boticely Auteur : Logica Version : 1.4 Droit d auteur Ce texte est disponible sous contrat Creative Commons Paternité - Pas d'utilisation Commerciale - Partage des Conditions Initiales
Plus en détailPROJET 1 : BASE DE DONNÉES REPARTIES
PROJET 1 : BASE DE DONNÉES REPARTIES GESTION D UNE BANQUE Elèves : David Bréchet Frédéric Jacot Charles Secrétan DONNÉES DU PROJET SSC - Bases de Données II Laboratoire de Bases de Données BD réparties
Plus en détailCalibrage du moniteur avec Monitor Profiler de Little CMS
Calibrage du moniteur avec Monitor Profiler de Little CMS Introduction : Ce petit utilitaire permet donc de créer un profil dédié au moniteur afin d'améliorer le rendu des couleurs. On verra comment charger
Plus en détailInstaller et configurer un réseau local Ethernet commuté. Généralités 1 Utilisation d un Switch administrable D-Link DES-3226
Installer et configurer un réseau local Ethernet commuté. Généralités 1 Utilisation d un Switch administrable D-Link DES-3226 Sommaire 1. Objectifs de ce TP... 2 2. Infrastructure du réseau... 2 3. Chargement
Plus en détailRAPPORT DE CONCEPTION UML :
Carlo Abi Chahine Sylvain Archenault Yves Houpert Martine Wang RAPPORT DE CONCEPTION UML : Bamboo Ch@t Projet GM4 Juin 2006 Table des matières 1 Introduction 2 2 Présentation du logiciel 3 2.1 Précisions
Plus en détailConvertisseur BBAN/IBAN
Convertisseur BBAN/IBAN 1 TABLE DES MATIÈRES 1 TABLE DES MATIÈRES 2 2 GÉNÉRALITÉS 3 2.1 Description 3 2.2 Configuration nécessaire 3 3 UTILISATION DE L APPLICATION 4 3.1 Selection du fichier de d input
Plus en détailFormula Negator, Outil de négation de formule.
Formula Negator, Outil de négation de formule. Aymerick Savary 1,2, Mathieu Lassale 1,2, Jean-Louis Lanet 1 et Marc Frappier 2 1 Université de Limoges 2 Université de Sherbrooke Résumé. Cet article présente
Plus en détailAlgorithmique des Systèmes Répartis Protocoles de Communications
Algorithmique des Systèmes Répartis Protocoles de Communications Master Informatique Dominique Méry Université de Lorraine 1 er avril 2014 1 / 70 Plan Communications entre processus Observation et modélisation
Plus en détailCONDITIONS GENERALES D UTILISATION DU PROGRAMME SEAT CONNECTED PEOPLE A DESTINATION DES INTERNAUTES
! CONDITIONS GENERALES D UTILISATION DU PROGRAMME SEAT CONNECTED PEOPLE A DESTINATION DES INTERNAUTES Septembre 2011 Les présentes Conditions Générales d Utilisation («CGU») sont conclues entre SEAT FRANCE
Plus en détailTABLEAU CROISE DYNAMIQUE
TABLEAU CROISE DYNAMIQUE Cours Excel 3 ème Partie LEA3 Page 1 Cours Excel 3 ème Partie LEA3 Page 2 FILTRER UN CHAMP Il y a des moments ou vous ne voulez pas avoir une vision globale des données mais plutôt
Plus en détailGuide d installation rapide
Guide d installation rapide Ce produit peut s installe r à l aide de n importe quel navigate ur du marché, par exemple Internet Explorer 6 ou Netscape Navigator 6.2.3. DSL-G604T Routeur ADSL sans fil Avant
Plus en détailKM2 W1 EVC1 M3~ Manuel AUTOMSIM API 24V. BP Dcy 1MINI 1MAXI. www.irai.com
L1 L2 L3 F1 M1 KM2 0V U1 V1 M3~ W1 EVC1 Manuel AUTOMSIM 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 API 24V 0 1 2 C1MINI BP Dcy C1MAXI 1MAXI 1MINI EVC1 www.irai.com INTRODUCTION... 5 INSTALLATION... 6 PRISE EN
Plus en détailWindows Server 2008 R2
Installation de SQL Server 2008 R2 Express Bouron Dimitri 31/01/2015 Ce document sert de démonstration concise pour l installation et quelques bonnes pratiques pour un Windows SQL Server 2008 R2 Express.
Plus en détailComment insérer une image de fond?
COMMUNICATION VISUELLE Mise en page à l aide d un traitement de texte Comment insérer une image de fond? Image Plein papier ou au Format utile qu est-ce que cela veut dire? La mise en page d un document
Plus en détailGuide de l utilisateur
Guide de l utilisateur BGFIONLINE Votre Banque en ligne Page 1 sur 17 Chère cliente, cher client, Bienvenue sur www.bgfionline.com! Pour que vous puissiez accéder à vos comptes à toute heure, en vacances,
Plus en détailTsoft et Groupe Eyrolles, 2005, ISBN : 2-212-11623-3
Tsoft et Groupe Eyrolles, 2005, ISBN : 2-212-11623-3 Configuration requise ForestPrep DomainPrep Installation interactive 5 Installation sans surveillance Module 5 : Installation d Exchange Server 2003
Plus en détailMon aide mémoire traitement de texte (Microsoft Word)
. Philippe Ratat Mon aide mémoire traitement de texte (Microsoft Word) Département Ressources, Technologies et Communication Décembre 2006. Sommaire PRÉSENTATION DU DOCUMENT 1 Objectif principal 1 Deux
Plus en détailObjet : Guide d'installation et de maintenance pour "My IC Phone 8082" connecté à un OmniPCX Office R810
Communication Technique TC1619 Ed 01 Date : 17/02/2012 Produit : Alcatel-Lucent OmniPCX Office Nb. de pages: 14 Objet : Guide d'installation et de maintenance pour "My IC Phone 8082" connecté à un OmniPCX
Plus en détailTP 1. Prise en main du langage Python
TP. Prise en main du langage Python Cette année nous travaillerons avec le langage Python version 3. ; nous utiliserons l environnement de développement IDLE. Étape 0. Dans votre espace personnel, créer
Plus en détailBusiness Intelligence simple et efficace
Business Intelligence simple et efficace avec Excel et PowerPivot Jean-Philippe GOUIGOUX Table des matières 1 Chapitre 1 Présentation de PowerPivot A. L analyse de données.....................................................
Plus en détailNiceLabel pour Services Microsoft Windows Terminal Serveur et Citrix MetaFrame
www.nicelabel.fr info@nicelabel.fr NiceLabel pour Services Microsoft Windows Terminal Serveur et Citrix MetaFrame White Paper Version 20051114-06-FR 2005 Euro Plus. Tous droits réservés. http://www.nicelabel.fr
Plus en détailMise en oeuvre d un Serveur de CD AXIS StorPoint
Ministère de l'education Nationale - Académie de Grenoble - Région Rhône-Alpes C entre A cadémique de R essources et de M aintenance I nformatique Le 07/02/03 Equipements - Assistance - Maintenance Code
Plus en détailInstallation du transfert de fichier sécurisé sur le serveur orphanet
Installation du transfert de fichier sécurisé sur le serveur orphanet But du changement de mode de transfert Afin de sécuriser les transferts de données sur la machine orphanet (orphanet.infobiogen.fr),
Plus en détailBusiness Model Generation
Business Model Generation L innovation par le modèle économique Prof Nathalie Nyffeler Unité Innovation, Institut Gestion & Entrepreneuriat Nyffeler / Mars 2013 15 minutes Dans un monde de plus en plus
Plus en détailComment et pourquoi créer des clés d'activation?
Comment et pourquoi créer des clés d'activation? Introduction Cette procédure va vous permettre de créer une clé d'activation. Il s'agit d'une suite de 16 caractères ou chiffres : par exemple : LMF5 NSR9
Plus en détailNotice d Utilisation du logiciel Finite Element Method Magnetics version 3.4 auteur: David Meeker
Notice d Utilisation du logiciel Finite Element Method Magnetics version 3.4 auteur: David Meeker DeCarvalho Adelino adelino.decarvalho@iutc.u-cergy.fr septembre 2005 Table des matières 1 Introduction
Plus en détailODH. Mon Espace. Manuel d utilisation. MON ESPACE ODH Manuel d utilisation. Une question? Contactez le service client au 02 72 68 27 19
Mon Espace ODH Manuel d utilisation Réalisé par Vecteur Plus Janvier 2013 Sommaire Mon Espace ODH Présentation - Accueil - Livraisons ODH - Gestionnaire d information - Accompagnement ODH - Compte Mon
Plus en détailmodèles génériques applicables à la synthèse de contrôleurs discrets pour l Internet des Objets
modèles génériques applicables à la synthèse de contrôleurs discrets pour l Internet des Objets Mengxuan Zhao, Gilles Privat, Orange Labs, Grenoble, France Eric Rutten, INRIA, Grenoble, France Hassane
Plus en détailSYNCHRONISER SA MESSAGERIE OUTLOOK AVEC UN IPHONE
SYNCHRONISER SA MESSAGERIE OUTLOOK AVEC UN IPHONE Ce support montre comment synchroniser un iphone avec le logiciel de gestion de messagerie Outlook 2010 à partir d un compte Gmail. Toutefois, le principe
Plus en détail