发明名称 Appareil de simulation de protocole permettant de vérifier dynamiquement un protocole de communication, et procédé associé.
摘要 <P>Un diagramme relationnel de processus (5), un diagramme d'environnement de simulation (10) et un protocole de communication sont introduits dans l'appareil de simulation de protocole selon l'invention. En fonction du protocole de communication, un diagramme de transitions d'états (8) est produit pour chaque processus. Selon ce diagramme de transition d'états, une simulation (11) est exécutée. Avant l'exécution de la simulation, l'environnement de simulation est soumis à un contrôle. De plus, les erreurs apparaissant pendant la simulation sont détectées. Le résultat d'exécution de la simulation est affiché (12) sur le diagramme d'environnement de simulation et le diagramme de transitions d'états.</P>
申请公布号 FR2690803(A1) 申请公布日期 1993.11.05
申请号 FR19930005138 申请日期 1993.04.30
申请人 TOSHIBA KK 发明人 KANAJI KATSUYUKI;KAGAYA AKIRA
分类号 G06F9/46;G06F9/48;G06F11/28;G06F13/00;H04L29/06 主分类号 G06F9/46
代理机构 代理人
主权项
地址