From patrick.schouller@inria.fr Thu Feb 22 09:20:02 2001
To: (Suppression de la liste des destinataires)
From: Patrick Schouller 
Subject: Seminaire CNAM / Systemes logiciels complexes validation
  verification / 3-4 avril 2001 / PARIS

SEMINAIRE  : VALIDATION et VÉRIFICATION des SYSTÈMES et LOGICIELS COMPLEXES 
La non fiabilité est-elle inéluctable?

3-4 avril 2001 
CNAM-CMSL, Paris

L’évolution actuelle de l’architecture des logiciels et celle des
technologies  employées pour leur conception et mise en œuvre exigent de
repenser les  approches de la validation et du test des systèmes à logiciel
prépondérant. En  particulier, c’est le cas de ceux reposant sur
l’utilisation de composants ou  sur celle de l’Internet tout autant que des
systèmes embarqués, des systèmes 
enfouis ou des systèmes répartis rencontrés dans de nombreux domaines comme
la  “e-informatique” et l’informatique mobile.
Pour ces différents types de logiciels développeurs et chefs de projets se
posent aujourd’hui plusieurs questions de fond comme celles de savoir quels
 sont les problèmes les plus importants, quelles sont les approches
d’intérêt  pratique ou quelles sont les techniques manquantes.
Organisé par le Centre pour la Maîtrise des Systèmes et des Logiciels
(CMSL) du  Conservatoire National des Arts et Métiers (CNAM), le présent
séminaire  d’étude, d’une durée de deux jours, a pour ambition d’offrir une
réflexion sur  ces différents points au travers d’un ensemble d’exposés
didactiques et de  descriptions de retours d’expérience du terrain donnés
par des praticiens 
issus  d’entreprises.

La première journée (3 avril 2001) sera consacrée à un tutorial sur le test
et  la validation des systèmes et du logiciel. La seconde journée (4 avril
2001)  sera agencée en deux parties: d’une part, une analyse critique des
techniques  et méthodes en usage et, d’autre part, un éclairage sur la
pratique dans les  entreprises. L’inscription pourra se faire, au choix du
participant, pour une 
journée ou pour l’ensemble des deux journées. 
PROGRAMME PROVISOIRE 
Le programme détaillé de la conférence sera fourni sur demande
Mardi 3 avril, 9h00 à 17h00: Tutorial 
Test et validation des systèmes et du logiciel
Mercredi 4 avril, 9h00 à 18h00: Conférence 
Matin 
Partie 1: Panorama critique des outils, techniques et démarches 
Table ronde 1: Les outils et techniques en usage sont-ils pertinents?
Après-midi 
Partie 2: Retours d’expérience 
Table ronde 2: La pratique est-elle en accord avec les besoins réels? 
TUTORIAL
TEST ET VALIDATION DES SYSTÈMES ET DU LOGICIEL 
Mardi 3 avril 2001
Animateurs: Jacques Thibault Synesys & Frédérique Vallée Directeur  Général
de  la société Mathix
Avec le progrès continu des technologies matérielles, le logiciel est
considéré  aujourd'hui comme le principal facteur de risque de défaillance
des systèmes  informatisés. Toutes les méthodes de conception et de
programmation concourent  à faciliter la création d'applications de très
grande complexité, sans  vraiment  se soucier de la façon dont ces
dernières seront vérifiées et validées. La 
mise  en œuvre des nouvelles architectures matérielles et logicielles
rendent le  diagnostic des défaillances particulièrement difficile.
Face à l'énormité du nombre de cas d'emploi qu'un logiciel peut prendre, il
 est  indispensable d'avoir une ligne directrice si l'on ne veut pas que
l'effort de  test soit dépensé en vain. Il est indispensable de détecter
les seuils à  partir  desquels une méthode de test devient inefficace. Il
est indispensable de  connaître les différentes méthodes aujourd'hui
disponibles et de savoir les  combiner pour trouver le meilleur compromis
compte tenu des conditions  d'emploi  du logiciel.
L'effort de test, tout compris, consomme entre 50 et 70% de l'effort total
d'un  projet informatique. Il faut rentabiliser au mieux cet effort de
façon à ce  que  les phases de test produisent exactement ce que l’on
attend d’elles. Gérer  correctement les compromis économiques qui
accompagnent cette stratégie est un  enjeu de management très important
pour les maîtres d'ouvrage et les maîtres  d'œuvre de projets informatiques
quelle qu'en soit la taille.

Objectif: Offrir aux maîtrises d'ouvrage et aux maîtrises d'œuvre les
moyens de  mettre en œuvre dans leurs équipes les différentes méthodes de
test en  fonction  de critères de qualité de service et des
caractéristiques de leurs projets:

Public visé: Maîtrises d’ouvrage; maîtrises d’œuvre; chefs de projets;
ingénieurs de développement et concepteurs de logiciels; ingénieurs et
responsables qualité.

Programme résumé: 
La nature combinatoire des tests; cycle de vie des erreurs. 
Métrologie et courbes de maturité. 
Réduire et contrôler la complexité des architectures. 
Méthodes et outils de test externes aux produits (graphes de contrôle,
couvertures, domaines de données) 
Méthodes et outils de test intégrés au produit (interfaces, modes
commandes,  traces, auto-contrôles, etc.) 
Les enjeux du test 
Les services rendus par les différentes techniques de test 
Prise en compte de la sûreté de fonctionnement et de la fiabilité 
Maîtrise du processus de test par la mesure.
L’exposé s’appuiera en partie sur l’ouvrage de Jacques Printz “Puissance et
 limites des systèmes informatisés” 
RENSEIGNEMENTS PRATIQUES 
Dates:  3 et 4 avril 2001 

Lieu: 
Conservatoire National des Arts et Métiers 
292, rue Saint-Martin 
75003 Paris 

Transports
Métro 
Ligne 3: Réaumur Sébastopol ou Arts et Métiers 
Ligne 4: Réaumur Sébastopol ou Strasbourg Saint-Denis 
Lignes 8 & 9: Strasbourg Saint-Denis

Autobus: Lignes 20, 38, 39, 47 et 75
Droits d’inscription
Industriels 2 jours: 3500 FF TTC 1 jour: 2000 FF TTC 
Universitaires 2 jours: 2000 FF TTC 1 jour: 1200 FF TTC 
Étudiants 2 jours: 400 FF TTC 1 jour: 300 FF TTC

Déjeuner
Les déjeuners ne sont pas compris dans les droits d’inscription (100 FF TTC
 par  déjeuner)
____________________________________________________________________________ 

DEMANDE DE RENSEIGNEMENTS 
à adresser à 
CNAM/CMSL 
Conservatoire des Arts et Métiers 
c/o Chaire d’Intégration de Systèmes 
292, rue Saint-Martin 
75141 Paris Cedex 3
Télécopie: 01 40 27 23 77 
Tél.: 01 40 27 22 58 ou 01 40 27 23 83 
Mél: rault@cnam.fr
Nom: ……………………………………………………. 
Prénom: …………………………….…………………… 
Organisme/Société: ………………………….………….. 
…………………………………………………………….
Adresse: ………………………………………………… 
……………………………………………………………. 
……………………………………………………………. 
Ville: ……………………………………………………. 
Code postal: …………………………….………………..
Téléphone: ………………………….…………………… 
Télécopie: …………………….………………………….
Mél: …………………………………………………….. 
[] envisage de participer au séminaire 
“VALIDATION et VÉRIFICATION des SYSTÈMES et LOGICIELS COMPLEXES” 
[] mardi 3 avril 2001 
[] mercredi 4 avril 2001 
[] mardi 3 avril et mercredi 4 avril 2001
[] souhaite recevoir le programme détaillé de la conférence


Ministère de l'Economie, des Finances et de l'Industrie
Secrétariat d'Etat à l'Industrie
Direction générale de l'Industrie, des Technologies de l'Information et de la
Poste
Service des Technologies et de la Société de l'Information
Sous Direction des Programmes et de la Prospective
le BERVIL - 12 rue Villiot  - 75572 PARIS CEDEX 12
Téléphone : 01 53 44 94 25 - Télécopie 01 53 44 98 51 
                                http://www.evariste.org/actu/schouller/