专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20060161508A1 System verification test using a behavior model 有权
公开(公告)号：US20060161508A1
公开(公告)日：2006-07-20
申请号：US11040348
申请日：2005-01-20
申请人： Paul Duffie , Patrick Hornberger , Carl Hubbard , Satomi Okazaki , Pawan Singh
发明人： Paul Duffie , Patrick Hornberger , Carl Hubbard , Satomi Okazaki , Pawan Singh
IPC分类号： G06F17/00
CPC分类号： G06F11/263
摘要： The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected reactions corresponding to those actions. In this regard, the system verification system obtains a set of actions and individual reactions corresponding to the actions from a plurality of runs of a test case for the system under test, and automatically generates the behavior model representing the system under test in terms of the set of actions and a range of expected reactions each range corresponding one of the actions. The range of expected reactions generalizes and includes all or most of the individual reactions corresponding to said one of the actions.

2. 发明授权

US07480602B2 System verification test using a behavior model 有权
标题翻译：使用行为模型进行系统验证测试
公开(公告)号：US07480602B2
公开(公告)日：2009-01-20
申请号：US11040348
申请日：2005-01-20
申请人： Paul Kingston Duffie , Patrick Hornberger , Carl Hubbard , Satomi Okazaki , Pawan Singh
发明人： Paul Kingston Duffie , Patrick Hornberger , Carl Hubbard , Satomi Okazaki , Pawan Singh
IPC分类号： G06F17/50
CPC分类号： G06F11/263
摘要： The present invention provides a system verification system that automatically generates a behavior model modeling the system under test in terms of actions of a test case and a range of expected reactions corresponding to those actions. In this regard, the system verification system obtains a set of actions and individual reactions corresponding to the actions from a plurality of runs of a test case for the system under test, and automatically generates the behavior model representing the system under test in terms of the set of actions and a range of expected reactions each range corresponding one of the actions. The range of expected reactions generalizes and includes all or most of the individual reactions corresponding to said one of the actions.
摘要翻译：本发明提供了一种系统验证系统，其根据测试用例的动作和对应于这些动作的预期反应范围，自动生成建模被测系统的行为模型。在这方面，系统验证系统从被测系统的测试用例的多个运行中获得与动作相对应的一组动作和单独的反应，并且根据被测系统的自动生成表示被测系统的行为模型一组动作和一系列预期反应，每个范围对应一个动作。预期反应的范围概括并且包括对应于所述一个动作的所有或大部分个别反应。

3. 发明授权

US07577425B2 Method for securing access to mobile IP network 有权
标题翻译：确保移动IP网络访问的方法
公开(公告)号：US07577425B2
公开(公告)日：2009-08-18
申请号：US10146548
申请日：2002-05-15
申请人： Satomi Okazaki , Atsushi Takeshita , Yiqun Yin , Aki Yokote
发明人： Satomi Okazaki , Atsushi Takeshita , Yiqun Yin , Aki Yokote
IPC分类号： H04M1/66
CPC分类号： H04L63/12 , H04L63/0823 , H04L63/0892 , H04L63/14 , H04W12/06 , H04W12/10 , H04W36/12 , H04W48/08 , H04W74/00 , H04W80/04 , H04W88/14
摘要： Networks consist of administrative domains each including an administrative server and at least one mobility agent deployed therein. The mobility agents offer connectivity to a mobile node via Advertisement messages in a form verifiable by the mobile node. Each Advertisement message is signed by a private key of the advertising mobility agent and accompanied by a certificate that contains a public key of the advertising mobility agent and is signed by a private key of the administrative server of the advertising mobility agent. Thus, if the mobile node has the public key of the administrative server, it can authenticate the Advertisement message. If the mobile node does not have the public key, it requests the public key when it registers with the mobility agent. The public key of the administrative server is sent in a certificate signed by the private key of the administrative server ultimately responsible for authentication of the mobile node.
摘要翻译：网络由管理域组成，每个管理域包括管理服务器和部署在其中的至少一个移动性代理。移动代理通过可由移动节点验证的形式的广告消息提供与移动节点的连接。每个广告消息由广告移动代理的私钥签名，并伴随着包含广告移动代理的公钥的证书，并且由广告移动代理的管理服务器的私钥进行签名。因此，如果移动节点具有管理服务器的公共密钥，则它可以认证广告消息。如果移动节点没有公共密钥，则在向移动代理注册时请求公钥。管理服务器的公共密钥由最终负责移动节点认证的管理服务器的私钥签发的证书中发送。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式