发明名称 Method and apparatus for testing protocols
摘要 A method and apparatus is disclosed for conformance testing of protocols specified as a collection of communicating finite state machines (FSMs). A guided random walk procedure is advantageously used to cover a substantial number of transitions in the component FSMs to determine if the FSM output corresponds to the protocol as specified.
申请公布号 US5659555(A) 申请公布日期 1997.08.19
申请号 US19960738586 申请日期 1996.10.29
申请人 LUCENT TECHNOLOGIES INC. 发明人 LEE, DAVID;SABNANI, KRISHAN KUMAR;UYAR, MUHARREM UMIT
分类号 G06F17/50;H04L29/06;(IPC1-7):G06F11/263;G06F11/277 主分类号 G06F17/50
代理机构 代理人
主权项
地址