FR 2918759 A1 20090116 FR 0705084 A 20070713 Procédé de test d'un système électronique La présente invention est relative à un système et à un procédé de test d'un système électronique. Le domaine technique de l'invention est celui de la fabrication d'hélicoptères. La présente invention est en particulier relative à un système de test d'un système électronique comportant plusieurs équipements électroniques et une ou plusieurs structure(s) d'interconnexion reliant ces équipements. L'invention s'applique notamment au cas où l'interconnexion est réalisée par un ou plusieurs bus/liaison(s) de communication qui est(sont) conforme(s) à une ou plusieurs normes choisies parmi les normes MILSTD-1553 (A ou B), STANAG 3350, STANAG 3838, STANAG 3910, ARINC 429, ARINC 453, ARINC 629, ARINC 636, MIL-STD-1773, AFDX, ASCB, CSDB, IEEE P1014, RS232, RS422, RS485. Les systèmes électroniques embarqués à bord d'avions ou giravions comportent généralement plusieurs calculateurs reliés à des capteurs, à des actionneurs, et à des afficheurs notamment. Les tests de bon fonctionnement de tels systèmes sont complexes, longs, et par conséquent coûteux. La préparation et la réalisation de ces tests sont rendues difficile du fait, notamment, du grand nombre de signaux et données échangés par les équipements lors de leur fonctionnement, et du grand nombre de configurations possibles des équipements constituant ce système électronique selon, par exemple, que le système électronique est prévu pour équiper un aéronef dénué de système d'arme ou au contraire pour équiper un aéronef doté d'un système d'arme. Le brevet EP-532017 décrit un système de test d'un équipement électronique qui comporte un contrôleur d'essais générique GTC ainsi qu'une unité d'interface fonctionnelle FIU û spécifique à un système d'arme particulier û qui sont chacun reliés à un panneau d'interface avec les appareils en cours de test et qui communiquent par l'intermédiaire d'un bus IFEE-488. Le contrôleur générique GTC et l'unité spécifique FIU sont chacun reliés à des cartes û ou instruments û d'entrée/sortie analogique et numérique, par l'intermédiaire d'un bus IEEE-796. Le contrôleur GTC comporte des cartes d'interface avec le bus 1553 qui peuvent fonctionner comme contrôleur de bus, comme terminal, ou comme moniteur de bus. Des programmes de test peuvent être modifiés et compilés par un ordinateur central, par l'intermédiaire d'une liaison RS232, et enregistrés sur une unité de stockage reliée, ainsi qu'une interface opérateur, à l'unité à microprocesseur du contrôleur GTC. Le brevet EP-827608 décrit un procédé de test de circuits électriques dans lequel le programme de test est scindé en un élément relatif à la séquence de test qui fait appel à des données contenues dans un champ de données textuelles, et un élément relatif à la commande du dispositif de test. Le brevet EP-985155 décrit un procédé de test dans lequel un opérateur saisit des informations pour définir une séquence de commandes qui sera appliquée à un dispositif de test relié à un equipement a tester. Pour chaque commande de la séquence de commandes, l'opérateur saisit un numéro de commande, un type de commande, des paramètres ou variables de la commande, et un résultat attendu pour le test correspondant à cette commande. L'opérateur est assisté pour ce faire d'un dictionnaire des différents types de commande applicables à l'équipement à tester, ainsi que d'une base de données regroupant les variables contenues dans les arguments des commandes ainsi que les valeurs que chaque variable peut prendre. L'opérateur peut ensuite faire exécuter par le dispositif de test la ou les commandes saisie(s) et peut archiver les résultats du test. Le dispositif de test peut réaliser une analyse pour vérifier qu'un type de commande saisi appartient au dictionnaire, que les arguments ont une syntaxe correspondant à celle du dictionnaire, et que les variables saisies appartiennent à la base de données de variables. Le brevet EP-1583289 décrit un système de simulation et de test d'un réseau AFDX qui permet de simuler un ou plusieurs équipements à partir de produits sur étagères . Les procédés et systèmes de simulation et/ou de test connus sont généralement conçus pour tester un nombre restreint d'équipements. Le test d'un système électronique de bord (avionique) a pour objet de vérifier que les fonctions assignées au système sont effectivement remplies. Ces fonctions sont généralement définies de façon informelle. A partir d'une telle définition, un humain, opérateur de test, peut élaborer une séquence de commandes d'un dispositif (ou banc ) de test, par exemple comme décrit dans le brevet EP-985155. Compte tenu de la complexité d'un système à tester, une séquence complète de commandes suffisante pour tester une fonction déterminée du système peut comporter un ou plusieurs milliers de commandes. L'élaboration des séquences de commandes à appliquer à l'appareil de test nécessite de faire appel à un opérateur hautement qualifié. Du fait de la diversité des équipements faisant partie du système avionique, il est difficile, sinon impossible, de disposer d'un opérateur parfaitement qualifié pour tous les équipements du système et pour toutes les fonctions à remplir par le système dans son ensemble. Il est donc généralement nécessaire de faire appel à plusieurs opérateurs choisis en fonction de leur haute qualification pour une partie seulement des équipements et/ou des fonctions à tester. La mise au point d'un système électronique de bord nécessite souvent de tester successivement, à plusieurs reprises, l'adéquation du système avec une fonction à remplir déterminée. 4 En raison notamment du caractère informel de la définition d'une fonction à remplir par un tel système électronique, deux opérateurs distincts peuvent élaborer deux séquences de commandes différentes, et l'exécution de ces deux séquences de commandes produira deux comptes-rendus de test différents. En outre, pour une commande déterminée, deux opérateurs distincts peuvent choisir deux valeurs distinctes pour un paramètre ou une variable de cette commande, ce qui aboutira également à deux comptes-rendus de test différents. La comparaison de ces deux comptes-rendus peut être dénuée de sens ou peut aboutir à une conclusion erronée. Un objectif de l'invention est de proposer un procédé et/ou un système de test et de simulation d'un système électronique complexe qui soi(en)t amélioré(s) et/ou qui remédie(nt), en partie au moins, aux lacunes ou inconvénients des procédés et systèmes connus de test. Selon un aspect de l'invention, il est proposé un procédé de préparation d'un test d'un système électronique comportant plusieurs équipements reliés par au moins une liaison de communication, dans lequel, pour effectuer le test : - on utilise un banc de test adapté au système électronique à tester que l'on connecte au système à tester, et - on commande le banc de test selon une séquence de commandes (Scenario_text_file) établie à partir d'au moins une spécification informelle de fonction (Functionnal_chain) à remplir par le système à tester ; au cours de la préparation du test : - on crée la séquence de commandes (Scenario_text_file) à partir d'une procédure de test (ATP, Test_Procedure) contenant une séquence d'objets dotés d'attributs, au moins un des objet étant doté d'un attribut de trame déterminant un émetteur et un récepteur parmi les équipements du système SE, et permettant de déterminer un format de transfert de données entre l'émetteur et le récepteur, et on enregistre la spécification fonctionnelle informelle (Functionnal_chain), la séquence de commandes (Scenario_text_file), ainsi qu'au moins un lien (Link) identifiant une spécification fonctionnelle informelle (Functionnal_chain) à partir de laquelle une partie au moins de la séquence de commandes a été établie, de sorte qu'après exécution de la séquence de commandes et enregistrement des résultats de test, on peut lire le lien (Link) et identifier de façon univoque la ou les spécification(s) informelle(s) fonctionnelle(s) (Functionnal_chain) correspondant aux résultats de test obtenus. Selon des caracteristiques préférentielles d'un procédé selon l'invention : - la spécification fonctionnelle informelle (Functionnal_chain) peut être enregistrée sous forme d'un fichier texte ; la séquence de commandes (Scenario_text_file) peut être enregistrée sous forme d'un fichier texte ; - le lien (Link) peut comporter l'adresse d'une partie au moins de la séquence de commandes (Scenario_text_file) ou l'adresse d'un fichier contenant une partie au moins de cette séquence û ainsi que l'adresse de la spécification fonctionnelle informelle (Functionnal_chain) û ou l'adresse d'un fichier contenant cette spécification û; - on crée la séquence de commandes (Scenario_text_file) à partir d'une procédure de test (ATP, Test_Procedure) contenant une séquence d'objets dotés d'attributs ; - la procédure de test (ATP, Test_Procedure) peut contenir des objets de simulation (TestSimu), des objets d'observation (TestSpy), des objets de contrôle (TestCheck), des objets de fonction à tester (TestFunct) ; - la procédure de test (ATP, Test_Procedure) contient des données d'organisation hiérarchique des objets, en particulier des données d'organisation hiérarchique des objets de fonction à tester (TestFunct) ; - au cours de la création d'une séquence de commandes (Scenario_text_file) à partir d'une procédure de test (ATP, Test_Procedure) contenant des objets de simulation (TestSimu), des objets d'observation (TestSpy), et/ou des objets de contrôle (TestCheck), on choisit ces objets parmi des objets (POIL_BAR) enregistrés dans une base de données (Interf_DB) de configuration des équipements ù et des échanges de données entre les équipements - du système à tester. Dans cette base de données, un objet est défini par un nom unique ; parmi ces objets, des objets impliquant un transfert de données par une des liaisons/bus du système à tester présentent un attribut de trame qui détermine un unique équipement émetteur et un unique équipement récepteur. Cette base contient en outre les informations nécessaires à la définition du signal physique échangé entre cet émetteur et ce récepteur du système à tester, notamment la période et le format de trame. Selon un autre aspect de l'invention, il est proposé un procédé de test d'un système électronique comportant plusieurs équipements reliés par au moins une liaison de communication, dans lequel on prépare le test par un procédé selon l'invention, puis : -on connecte un banc de test au système électronique à tester, on lit une séquence de commandes (Scenario_text_file) et on commande le banc de test selon la séquence de commandes (Scenario_text_file), - on enregistre des résultats de test dans un fichier (Res_File), et - on associe aux résultats de test une spécification fonctionnelle informelle (Functionnal_chain) liée à la séquence de commandes (Scenario_text_file) par le lien (Link) préalablement enregistré. 7 Selon un autre aspect de l'invention, il est proposé un procédé d'un test d'un système électronique comportant plusieurs équipements reliés par au moins une liaison de communication, dans lequel : - on prépare une procédure de test formelle (ATP, Test_Procedure) que l'on relie par un ou plusieurs liens (Link) à une ou plusieurs définition(s) fonctionnelle(s) (Functionnal_chain) d'exigences pour le système, on produit automatiquement un scénario de test (Scenarioùtext_file) permettant de piloter un banc de test adapté et connecté au système à tester, en utilisant une base de données (lnterf_DB) contenant une définition de tous les signaux susceptibles d'être échangés par les équipements du système à tester, - on exécute le scénario de test (Scenario_text_file) sur le banc de test en contrôlant et en enregistrant dans un rapport d'exécution (ResùFile) l'état du système à tester par rapport à la description fournie dans le scénario de test, et - on reporte automatiquement les résultats du rapport d'exécution dans la procédure de test (ATP, Test_Procedure, ATR), le(s) lien(s) permettant d'identifier de façon univoque l'ensemble des exigences du système à tester qui ont été testées par l'exécution du scénario de test et qui correspondent aux résultats obtenus. L'invention permet de produire des rapports de traçabilité automatique entre les résultats de test (Res_File, ATR) et les exigences fonctionnelles du système, et permet de garantir l'adéquation parfaite entre la description des tests ù par la procédure ATP, Test_Procedure ù et leur exécution sur le système à tester. Certaines au moins des opérations de la phase préparatoire et/ou de la phase de test des procédés selon l'invention peuvent être mises en oeuvre par une unité électronique de traitement de données, telle qu'un calculateur, fonctionnant sous la commande d'un programme. Ainsi, selon un autre aspect de l'invention, il est proposé un programme comportant un code fixé sur un support û tel qu'une mémoire û ou matérialisé par un signal, le code étant lisible et/ou exécutable par au moins une unité de traitement de données -telle qu'un processeur, pour stimuler et tester le fonctionnement (bon ou mauvais) d'un système électronique complexe, le code comportant des segments de code pour effectuer des opérations d'un procédé selon l'invention. Selon un autre aspect de l'invention, il est proposé un système de test d'un système électronique complexe, qui est programmé pour exécuter des opérations d'un procédé selon l'invention. D'autres aspects, caractéristiques, et avantages de l'invention apparaissent dans la description suivante, qui se réfère aux dessins annexés et qui illustre, sans aucun caractère limitatif, des modes préférés de réalisation de l'invention. La figure 1 illustre schématiquement un système de test relié aux bus d'un système électronique d'un giravion comportant des calculateurs redondants interconnectés par un bus redondant. La figure 2 illustre schématiquement l'enchaînement d'étapes d'un procédé de préparation de test et d'un procédé de test selon l'invention. La figure 3 illustre schématiquement l'enchaînement d'étapes pour l'établissement d'une procédure de test dans un procédé de préparation de test selon l'invention. La figure 4 illustre schématiquement l'enchaînement d'étapes pour l'établissement d'une séquence de commandes de test à partir d'une procédure de test dans un procédé de préparation de test selon l'invention. 9 La figure 5 illustre schématiquement l'enchaînement d'étapes pour l'exécution d'une procédure de test dans un procédé de test selon l'invention. La figure 6 illustre schématiquement des modules d'un système de test selon l'invention. La figure 7 illustre un exemple de structure d'une procédure de test d'un procédé selon l'invention et son lien avec une spécification fonctionnelle informelle. La figure 8 illustre l'utilisation de la procédure de test de la figure 7 l0 pour élaborer automatiquement une séquence de commandes de test conformément à un aspect de l'invention. La figure 9 est un graphe illustrant schématiquement un exemple d'interface graphique présentée à un opérateur exécutant un test préparé conformément à l'invention. 15 La figure 10 illustre schématiquement l'élaboration d'un rapport de test en fonction de résultats de test et de la procédure de test correspondante. Par référence à la figure 1 en particulier, l'invention s'applique à un système électronique SE d'un giravion, qui comporte deux calculateurs 20 redondants CALC1 et CALC2 dont la fonction est de gérer le système SE. Le système SE comporte en outre deux calculateurs redondants CALC3 et CALC4 dont la fonction est de gérer le fonctionnement du ou des moteurs du giravion. Pour ne pas nuire à la clarté de la figure, d'autres calculateurs et 25 équipements électroniques faisant habituellement partie de l'avionique SE d'un giravion, tels que les équipements de navigation et de communication, ne sont pas représentés sur cette figure. Le système SE comporte également deux afficheurs multifonction DISPI et DISP2. Les calculateurs du système SE sont reliés à un bus redondant BUS, par exemple un bus MIL-STD-1553. Les calculateurs sont en outre reliés entre eux par une ou plusieurs liaisons point à point LIA, telles que des liaisons RS485 ou ARINC 429. Chaque calculateur est également relié par une liaison LIA à chacun des deux afficheurs. Comme illustré figures 1 et 6, pour le test du système SE et/ou la simulation du fonctionnement d'un ou plusieurs de ses équipements, un banc de test BT est relié aux bus BUS du système SE. Par référence à la figure 6, le banc BT peut comporter un ordinateur BTI utilisable par un opérateur réalisant un test, et une baie de test BT2 pilotée par l'ordinateur BTI. La baie BT2 est reliée au bus du système SE à tester pour simuler un équipement du système SE tel que le calculateur CALCX illustré en pointillé figure 6, et pour surveiller/enregistrer les signaux/données échangé(e)s par les équipements du système SE pendant un test. La baie 13T2 peut comporter une unité de commande à microprocesseur, des unités d'entrée/sortie analogiques et numériques, et comporte des interfaces appropriées pour sa connexion aux bus BUS d'une part, et aux liaisons LIA d'autre part. Les composants de la baie BT2 peuvent être eux-mêmes interconnectés par un bus VME par exemple. Pour le test et/ou la simulation du système SE, le banc de test BT est relié à ù et piloté par - un système de test SYST conforme à l'invention qui délivre à cet effet au banc BT des signaux et/ou données correspondant aux séquences de commandes de test, et qui reçoit ensuite du banc BT des signaux et/ou données correspondant aux résultats de l'exécution de ces commandes. Le système de test SYST inclue (cf. figure 6) une base de données documentaire B3D comportant des procédures de test ATP, des procédures de test ATR affectées des résultats de test correspondant, des spécifications fonctionnelles l"unctionnal_chain contenant des exigences fonctionnelles de tout ou partie du système à tester, ainsi qu'une base de données Interf_DB contenant les spécifications des échanges de signaux/données ù par les bus et liaisons BUS, LIA - entre les équipements CALCA, CALCB, CALCC, CALCX du système SE. Selon un aspect de l'invention, une procédure de test formalisée est définie sous la forme d'un ensemble d'objets d'une base de données et est liée aux documents de spécifications des exigences du système à tester. Un scénario de test ù ou séquence de commandes de test - est automatiquement généré à partir de la procédure de test puis est exécuté sur le banc de test temps réel avec enregistrement automatique des résultats ; l'invention permet d'assurer une traçabilité complète, de la spécification système jusqu'aux résultats de test. Des classes d'objet sont créées dans la base de données afin de formaliser la description intégrale de toutes les opérations à effectuer lors de l'exécution d'un test. Ces opérations peuvent être de type manuelle (vérification par l'ingénieur d'essai du comportement d'un équipement du système) ou automatique (simulation ou espionnage d'une valeur de données circulant dans le flot de données du système). Les tests sont découpés en tests élémentaires (plus petite partie de la procédure exécutable individuellement). La préparation et l'exécution d'une séquence de commandes de test, sous le contrôle du système SYST, peuvent comporter les étapes successives suivantes dont l'enchaînement est schématiquement représenté figures 2 à 5 : dans une base de données d'objets dotés d'attributs, une procédure de test est créée par saisie d'informations (étape 13) et/ou par importation (étape 11) de données informelles de spécification de fonctions à remplir 12 par le système SE, qui sont contenues dans un texte ou un tableau par exemple, suivie d'une mise en forme (étape 12) des données informelles au format de la base de données d'objets; - on définit ensuite (étape 14), pour la procédure de test ou pour au moins un objet de cette procédure, un lien entre l'objet (respectivement la procédure) et une spécification informelle de fonction ; - pour l'exécution du test (étape 16), on génère au moins une séquence de commandes à partir de la procédure de test, on délivre les commandes au banc de test, on enregistre les résultats de test transmis au système SYST par le banc BT, et on modifie automatiquement des attributs des objets TestCheck en fonction de ces résultats ; - on établit (étape 18) un rapport de synthèse des tests effectués que l'on exporte (étape 19) le cas échéant vers une application différente. Par référence aux figures 3 et 7 à 10 notamment, une procédure de test comporte au moins une séquence hiérarchisée d'objets appartenant à différentes classes d'objet telles que, par exemple : - une classe d'objets TestFunct contenant chacun un intitulé relatif à une partie de la procédure, tel que 1.1 engine t 700 status monitoring ou 1.1.1 engine oil pressure bar-chart ; - une classe d'objets Testldent contenant chacun un identifiant de test élémentaire tel que [engl_oil_pressure_bar_chart] qui est présenté (dans la fenêtre SELECT figure 9) à un opérateur exécutant la procédure ; - une classe d'objets TestDesc contenant chacun une description de la partie concernée de la procédure telle que simulate oil pressure from 0 to 25 bar and then going below 3 bar for checking displayed warnings and cautions ; cette description est également présentée dans la fenêtre SELECT figure 9 ; - une classe d'objets TestProc contenant chacun un message d'instruction tel que power on PMC and check NIFD oil pressure display according to simulated value destiné à indiquer à un opérateur exécutant la procédure, l'action qu'il doit effectuer sur le système SE à tester; cc message peut être présenté à l'opérateur dans une fenêtre similaire à la fenêtre EXEC figure 9 ; - une classe d'objets TestSimu contenant chacun une commande du banc de test, telle que POIL_BAR=LIST(0 0.1,1.2 1.3,1.4,2.1,1.2,6.8,6.9,8.2,8.3,25) , destinée à provoquer l'envoi par le banc de test, à au moins un équipement du système testé SE, via le bus BUS ou une des liaisons LIA, de données simulant par exemple un signal délivré par un capteur, pour simuler ce dernier; - une classe d'objets TestSpv contenant chacun une commande du banc de test, telle que POIL_BAR , destinée à provoquer l'envoi au banc de test, par au moins un équipement du système testé SE, via le bus BUS ou une des liaisons LIA, de données délivrées par cet équipement, pour surveiller ce dernier; cette donnée est présentée à l'opérateur au moment du test dans la fenêtre SPY figure 9 ; -une classe d'objets TestCheck contenant chacun une instruction de vérification de l'état du système testé SE à effectuer par l'opérateur, telle que Check VMD main ... of digital value at 3 bar. , destinée à provoquer l'enregistrement d'une donnée de constatation de succès passed ou d'échec failed qui peut être saisie par l'opérateur au cours du test, dans la fenêtre EXEC figure 9. Dans le mode de réalisation correspondant à la figure 3, on importe le cas échéant des données de définition d'objets à partir d'un tableur (opérations 110, 120) ou d'un fichier texte (opérations 111, 121) ; on procède à la saisie, sélection, extraction, ou mise en forme d'objets TestFunc, TestIdent, TestDesc, et/ou TestProc (opération 130). 14 On procède à la même opération de saisie/importation pour les objets TestSimu et TestSpy (opérations 131 et 133 respectivement), dont on vérifie le format et le contenu (opérations 132 et 134 respectivement) par comparaison avec des données de la base Interf_DB. On saisit également le contenu des objets TestCheck (opération 135) et on modifie ou on ajoute des attributs (opération 136) à tout ou partie de ces objets. On peut ensuite créer et enregistrer un lien (opération 137) entre la procédure définie par une séquence de ces objets et une ou plusieurs spécifications fonctionnelles en langage naturel correspondant à ces objets, et enregistrer (opération 138) la procédure ainsi définie ATP, Test_Proecdure. D'autres classes d'objets peuvent être prévues, par exemple une classe d'objets contenant chacun une description ou identification d'un moyen de test déterminé devant être inclus dans le banc de test pour réaliser un test déterminé. Les figures 7, 8 et 10 donnent un aperçu du contenu de la base de données documentaire de définition de tests, sous la forme d'un tableau dans lequel les données correspondant à un objet forment une ligne. La classe de l'objet apparaît dans une première colonne (colonne de gauche figures 7 et 8), le contenu de l'objet apparaît dans une seconde colonne, et les attributs de l'objet apparaissent dans d'autres colonnes. Parmi ces attributs, il est notamment prévu un attribut de trame pour les objets de la classe d'objet TestSimu et TestSpy notamment. Lors de la génération automatique d'une séquence de commandes de test à partir d'une procédure incluant un objet présentant cet attribut, cet attribut est utilisé pour adapter la commande de test à un protocole - ou format d'échange de données ù adapté au protocole utilisé par des équipements du système SE pour communiquer. L'attribut de trame est utilisé pour spécifier le routage physique défini sur le banc de test. A titre d'exemple, comme illustré figure 8, un tel attribut de trame associé à l'objet TestSimu contenant la commande POIL_BAR=LIST(0,0.1,1.2,1.3,1.4,2.1,1.2,6.8,6.9,8.2,8.3,25) , provoque, lors de la création d'un fichier de commande au format texte illustré dans le cadre inférieur de cette figure, la modification du contenu de cette commande qui devient POIL_BAR.O_T7_1_PMMC_N=/LIST(0,0.1,12,1.3,1.4,2.1,1.2,6.8,6.9,8.2,8 .3,25) . Parmi ces attributs, il est également prévu un attribut de résultat pour les objets de la classe d'objets TestCheck notamment. Cet attribut peut être modifié, lors de la génération automatique d'un rapport de test, pour inclure le résultat, tel que le résultat failed figure 10, d'une vérification effectuée par l'opérateur au cours du test. Par référence aux figures 4 et 8, un fichier texte avec une syntaxe particulière est généré par extraction dans le texte de la procédure de l'ensemble des instructions à utiliser sur le banc de test temps réel. A cet effet, on peut procéder successivement à une lecture (étape 40) d'une procédure de test ATP, Test_Procedure, à une lecture (étape 41) d'une configuration du banc de test, à une lecture (étape 42) d'une configuration du système à tester, pour la création (étape 43) et l'enregistrement d'une séquence de commandes correspondant à cette procédure et à ces configurations. Pour l'exécution du test illustrée figure 5, un scénario générique peut lire/interpréter (étape 50) le fichier texte des instructions de test. Il permet d'exécuter (étape 51) - séquentiellement ou non - l'ensemble des tests élémentaires décrit dans la procédure associée et effectue (étape 52) l'enregistrement des résultats en cours de test dans un autre fichier texte. Par référence aux figures 6 et 10 notamment, le fichier texte Res_File (fig. 6) contenant les résultats de test est ensuite utilisé pour mettre à jour automatiquement le rapport de test dans la base de données documentaire. Celle-ci est ensuite utilisée pour produire un document final d'acceptation ATR ( Acceptance Test Report ) combinant la procédure de test A"l'P utilisée et les résultats obtenus lors de l'exécution de la séquence de commandes correspondant à cette procédure ATP. Par référence à la figure 9, lors de l'exécution d'un test, des fenêtres de dialogue et de saisie SELECT, SPA', et EXEC sont présentées à l'opérateur sur l'écran de l'ordinateur BT1 du banc BT, dont l'existence et le contenu résultent respectivement de l'existence et du contenu des objets de classe Testldent, TestDesc, et TestProc décrits ci avant. La gestion de ces fenêtres est pilotée par la séquence de commandes, et les résultats de test sont enregistrés dans le fichier Results, Res_File (fig. 6). L'invention permet d'assurer que les essais sont effectués strictement comme définis dans la procédure. L'exécution des tests de non régression est facilitée. L'exécution des tests peut être effectué par un opérateur n'ayant pas une connaissance approfondie du système à tester SE. L'invention permet une traçabilité complète du processus dès l'application de la procédure : elle est assurée entre les spécifications systèmes et les résultats des procédures de validation par l'intermédiaire de la base de données documentaire et des scénarios de test automatiques. REVENDICATIONS 1. Procédé de préparation d'un test d'un système électronique (SE) comportant plusieurs équipements (CALC1, CALC2, DISP1, DISP2, CALC3, CALC4) reliés par au moins une liaison de communication (LIA, BUS), dans lequel, pour effectuer le test : - on utilise un banc de test (BT) adapté au système électronique (SE) à tester que l'on connecte au système à tester, et - on commande le banc de test selon une séquence de commandes (Scenario_text_file) établie à partir d'au moins une spécification fonctionnelle informelle (Functionnal_chain), le procédé de préparation de test étant caractérisé en ce que : - on crée la séquence de commandes (Scenario_text_file) à partir d'une procédure de test (ATP, Test_Proccdure) contenant une séquence d'objets dotés d'attributs, au moins un des objet étant doté d'un attribut de trame déterminant un émetteur et un récepteur parmi les équipements du système SE, et permettant de déterminer un format de transfert de données entre l'émetteur et le récepteur, et on enregistre la spécification fonctionnelle informelle (Functionnal_chain), la séquence de commandes (Scenario_text_file), ainsi qu'au moins un lien (Link) identifiant une spécification fonctionnelle informelle (Functionnal_chain) à partir de laquelle une partie au moins de la séquence de commandes a été établie, de sorte qu'après exécution de la séquence de commande et enregistrement des résultats de test, on peut lire le lien (Link) et identifier de façon univoque la ou les spécification(s) fonctionnelle(s) informelle(s) (Functionnal_chain) correspondant aux résultats de test obtenus. 2. Procédé selon la revendication 1 dans lequel la spécification fonctionnelle informelle (Functionnal_chain) est enregistrée sous forme d'un fichier texte. 3. Procédé selon la revendication 1 ou 2 dans lequel la séquence de commandes (Scenario_text_file) est enregistrée sous forme d'un fichier texte. 4. Procédé selon l'une quelconque des revendications 1 à 3 dans lequel le lien (Link) comporte l'adresse d'une séquence de commandes (Scenario_text_file) et l'adresse d'une spécification fonctionnelle informelle (Functionnal_chain). 5. Procédé selon l'une quelconque des revendications 1 à 4 dans lequel la procédure de test (ÀTP, Test_Procedure) contient des objets de simulation (TestSimu), des objets d'observation (TestSpy), et des objets de contrôle (TestCheck). 6. Procédé selon l'une quelconque des revendications 1 à 5 dans lequel la procédure de test (ATP, Test_Procedure) contient des objets de fonction à tester (TestFunct). 7. Procédé selon l'une quelconque des revendications 1 à 6 dans lequel la procédure de test (ATP, Test_Procedure) contient des données d'organisation hiérarchique des objets de fonction à tester (TestFunct). 8. Procédé selon l'une quelconque des revendications 1 à 7 dans lequel, pour créer la séquence de commandes (Scenario_text_file) à partir d'une procédure de test (ATP, Test_Procedure) contenant des objets de simulation (TestSimu), des objets d'observation (TestSpy), et/ou des objets de contrôle (TestCheck), on choisit ces objets parmi des objets enregistrés dans une base de données (Interf_DB) de configuration des équipements ù et des échanges de données entre les équipements - du système à tester. 9. Procédé d'un test d'un système électronique (SE) comportant plusieurs équipements (CALC1, CALC2, DISP1, DISP2, CALC3, CALC4) 19 reliés par au moins une liaison de communication (LIA, BUS), dans lequel on prépare le test par un procédé selon l'une quelconque des revendications 1 à 8, puis - on connecte un banc de test (BT) au système électronique à tester, - on lit une séquence de commandes (Scenario_text_file) et on commande le banc de test selon la séquence de commandes (Scenario_text_file), - on enregistre des résultats de test, et on associe aux résultats de test au moins une spécification fonctionnelle (Functionnal_chain) liée à la séquence de commandes (Scenario_text_file) par un lien (Link) préalablement enregistré. 10. Procédé d'un test d'un système électronique (SE) comportant plusieurs équipements (CAI_,C1, CALC2, DISP1, DISP2, CALC3, CALC4) reliés par au moins une liaison de communication (LIA, BUS), dans lequel : - on prépare une procédure de test formelle (ATP, Test_Procedure) que l'on relie par un ou plusieurs liens (Link) à une ou plusieurs définition(s) fonc:tionnelle(s) (Functionnal_chain) d'exigences pour le système (SE), on produit automatiquement un scénario de test (Scenario_text_file) permettant de piloter un banc de test (BT) adapté et connecté au système (SE) à tester, en utilisant une base de données (Interf_DB) contenant une définition de tous les signaux susceptibles d'être échangés par les équipements du système (SE), - on exécute le scénario de test (Scenario_text_file) sur le banc de test en contrôlant et en enregistrant dans un rapport d'exécution (Res_File) l'état du système (SE) par rapport à la description fournie dans le scénario de test, et- on reporte automatiquement les résultats du rapport d'exécution dans la procédure de test (ATP, Test_Procedure, ATR), le(s) lien(s) permettant d'identifier de façon univoque l'ensemble des exigences du système (SE) qui ont été testées par l'exécution du scénario de test et qui correspondent aux résultats obtenus. 11. Programme comportant un code fixé sur un support ou matérialisé par un signal, le code étant lisible et/ou exécutable par au moins une unité de traitement de données pour stimuler et tester le fonctionnement d'un système électronique (SE), le code comportant des segments de code pour effectuer des opérations d'un procédé selon l'une quelconque des revendications 1 à 8. 12. Système (SYST, BT) de test d'un système électronique (SE), qui est programmé pour exécuter des opérations d'un procédé selon l'une quelconque des revendications 1 à 8.15