| 摘要 |
Le procédé de l'invention consiste à faire envoyer, par un calculateur de bo rd (1), d'abord placé hors conditions fonctionnelles, à son initialisation, son fichier de symboles à un banc de validation (6) qui constitue ainsi un dictionnaire de symboles pour chaque calculateur pouvant être utilisé. En mo de opérationnel, le calculateur auquel est relié le banc lui envoie son identit é, ce qui permet au banc de lui associer le dictionnaire de données correspondant. Application: validation de logiciels exécutables pour un système FMS ("Flight Management System").
|
