-
1.发明授权公开(公告)号：US07035747B2
公开(公告)日：2006-04-25
申请号：US10689553
申请日：2003-10-21
申请人： Takanori Mori , Hirotaka Otsuka , Nobuo Funabiki , Akio Nakata , Teruo Higashino
发明人： Takanori Mori , Hirotaka Otsuka , Nobuo Funabiki , Akio Nakata , Teruo Higashino
CPC分类号： H04L43/50
摘要： A method and apparatus for generating test sequences for communication protocols that inputs data of finite state machines (FSM) representing the specification of the communication protocols, converts the test sequence generation problem to the satisfiability problem (SAT problem), and generates test sequences for communication protocols by solving the SAT problem. The method converts the test sequence generation problem to the SAT problem by modifying the FSM and describing the test sequence generation problem using a conjunctive normal form formula based on the modified FSIM. By considering multiple input/output (UID) sequences and overlapping sequences, the method generates minimum length test sequence to check whether the states described in the specification of the protocol exist in the implementation of the FSM.
摘要翻译： 用于生成表示通信协议规范的有限状态机（FSM）的数据的通信协议的测试序列的方法和装置将测试序列生成问题转换为可满足性问题（SAT问题），并生成用于通信的测试序列 协议通过解决SAT问题。 该方法通过修改FSM并使用基于修改的FSIM的连续正态表达式描述测试序列生成问题，将测试序列生成问题转换为SAT问题。 通过考虑多个输入/输出（UID）序列和重叠序列，该方法生成最小长度测试序列，以检查协议规范中描述的状态是否存在于FSM的实现中。
-
2.发明申请公开(公告)号：US20050086020A1
公开(公告)日：2005-04-21
申请号：US10689553
申请日：2003-10-21
申请人： Takanori Mori , Hirotaka Otsuka , Nobuo Funabiki , Akio Nakata , Teruo Higashino
发明人： Takanori Mori , Hirotaka Otsuka , Nobuo Funabiki , Akio Nakata , Teruo Higashino
CPC分类号： H04L43/50
摘要： The present invention's method and apparatus to generate test sequences for communication protocols input the data of the finite state machines (FSM) representing the specification of the communication protocols, and convert the test sequence generation problem to the SAT problem, and generate test sequences for communication protocols by solving the SAT problem. In addition, the present invention converts the test sequence generation problem to the SAT problem by modifying the FSM and describing the test sequence generation problem by using a conjunctive normal form formula based on the modified FSM. According to the present invention, by considering the multiple UIO sequences and the overlapping of the UIO sequences, the minimum length test sequence to check whether the states described in the specification of the protocol exist in the implementation of the FSM can be generated. According to the present invention, by considering the overlapping of the subsequences, the minimum length test sequences to check whether the state transitions described in the specification of the protocol is correctly implemented in the implementation of the FSM can be generated.
摘要翻译： 本发明的生成用于通信协议的测试序列的方法和装置输入表示通信协议规范的有限状态机（FSM）的数据，并将测试序列生成问题转换为SAT问题，并生成用于通信的测试序列 协议通过解决SAT问题。 另外，本发明通过修改FSM并通过使用基于修改后的FSM的连接正态形式公式来描述测试序列生成问题，将测试序列生成问题转换为SAT问题。 根据本发明，通过考虑多个UIO序列和UIO序列的重叠，可以生成最小长度测试序列，以检查在实施FSM中是否存在协议规范中描述的状态。 根据本发明，通过考虑子序列的重叠，可以生成用于检查协议规范中描述的状态转换的最小长度测试序列是否在FSM的实现中正确实现。
-
公开(公告)号：US20090216510A1
公开(公告)日：2009-08-27
申请号：US11574425
申请日：2005-08-30
IPC分类号： G06F19/00
CPC分类号： H04W24/06 , G08G1/0104
摘要： A mobile node simulator (100) includes: a behavior simulator section (140) for simulating behaviors of a plurality of mobile nodes in accordance with a behavior model, the behavior model being definable by a user; and a network simulator section (120) for simulating a communication on a network including the plurality of mobile nodes. A network application (180) targeted for an evaluation of a simulation is implemented on the network simulator section (120). The network simulator section (120) is configured to output an output from the network application (180) to the behavior simulator section (140) at each simulation time t. The behavior simulator section (140) is configured to be capable of changing a behavior of at least one of the plurality of mobile nodes in accordance with the behavior model in response to the output from the network application (180).
摘要翻译： 移动节点模拟器（100）包括：行为模拟器部分（140），用于根据行为模型模拟多个移动节点的行为，所述行为模型可由用户定义; 以及用于模拟包括所述多个移动节点的网络上的通信的网络模拟器部分（120）。 在网络模拟器部分（120）上实现用于评估仿真的网络应用（180）。 网络模拟器部分（120）被配置为在每个模拟时间t将来自网络应用（180）的输出输出到行为模拟器部分（140）。 行为模拟器部分（140）被配置为响应于来自网络应用（180）的输出，能够根据行为模型改变多个移动节点中的至少一个的行为。
-
-
搜索结果
3 条记录 (耗时 0.02 秒)
