公开(公告)号：US20160269270A1

公开(公告)日：2016-09-15

申请号：US15034409

申请日：2014-11-04

Applicant: INSTITUT MINES-TELECOM/TELECOM SUDPARIS

Inventor： Stéphane MAAG ,  Xiaoping CHE

IPC: H04L12/26

CPC classification number: H04L43/18 ,  H04L43/12 ,  H04L43/50 ,  H04L63/1408 ,  H04L63/1425

Abstract: System for testing a protocol, which is active on an item of equipment, testing system including a monitor to continuously capture traces, corresponding to sequences of messages of protocol under test, a filter of the traces captured using formalized properties of the demands of protocol under test, to separate the traces into data and control parts, a temporary storage, and transfer module to transfer the filtered traces to a tester so as to emit verdicts by verifying whether the traces satisfy the demands of the formalized properties of the protocol under test, in the event of saturation of the tester leading to the emission of a notification of load, the transfer module interrupts the transfer of filtered traces to the tester and stores the traces at least partially in the temporary storage, particularly only their control parts, before resuming the transfer of filtered traces when the tester is again available.

Abstract translation: 用于测试在设备项目上活动的协议的系统，包括监视器的测试系统，用于连续捕获跟踪，对应于待测协议的消息序列，使用协议要求的形式化属性捕获的跟踪过滤器 测试，将轨迹分离成数据和控制部件，临时存储和传输模块，以将过滤的轨迹传送到测试仪，以便通过验证跟踪是否满足被测协议的形式化属性的要求来发出判决， 在测试仪饱和以致发出负载通知的情况下，传输模块将过滤的迹线中断传输给测试仪，并且将痕迹至少部分地存储在临时存储器中，特别是仅在其控制部件中，然后再恢复 当测试仪再次可用时，过滤痕迹的传输。