基于模型转换的协议正确性验证和测试方法

    公开(公告)号:CN100512157C

    公开(公告)日:2009-07-08

    申请号:CN200510002613.X

    申请日:2005-01-24

    Abstract: 本发明涉及一种基于模型转换的协议正确性验证和测试方法,该方法主要包括:利用至少两种形式化模型对协议进行形式化描述;分别将所述至少两种形式化模型转换成同一种的形式化模型;通过比较所述同一种的形式化模型间的差异获得验证后的协议形式化模型,并基于所述的验证后的协议形式化模型进行所述协议的正确性验证及测试。利用本发明所述方法不但可以实现在协议开发的前期对协议进行正确性认证,而且可以开发出针对具体协议的测试系统工具,为后续的协议测试提供了高层次的完备性保证。

    对IPv6主协议进行一致性测试的方法和装置

    公开(公告)号:CN100382516C

    公开(公告)日:2008-04-16

    申请号:CN200510053504.0

    申请日:2005-03-08

    Abstract: 本发明提供了一种对IPv6主协议进行一致性测试的方法,所述方法包括:建立互联网协议第6版IPv6主协议的工具命令语言扩展命令;根据所述工具命令语言扩展命令,生成IPv6协议测试需要的工具命令语言脚本;执行所述工具命令语言脚本,并根据执行的结果判断IPv6主协议的一致性。所述装置包括:工具命令语言脚本模块、被测实现、测试结果判别模块。利用本发明所述方法,使得对IPv6主协议进行一致性测试的测试脚本的描述简单化,大大缩短了测试时间,并且能够实现对IPv6主协议自动地进行一致性测试。

    一种无线传感器网络及其通信和建立方法

    公开(公告)号:CN1984048A

    公开(公告)日:2007-06-20

    申请号:CN200610072691.1

    申请日:2006-04-11

    CPC classification number: Y02D70/00

    Abstract: 本发明公开了一种无线传感器网络,其特征在于,该网络是异构二层网络,分为组间层和组内层,该网络包括:多天线传感器节点,用于在组内层中担任组长节点,与组员节点通信以建立组,并且在组间层中与除自身外其他作为组长的多天线传感器节点和基站通信;单天线传感器节点,用于在组内层中担任组员节点,负责将通过自身传感器采集到的信息发送给组长节点。本发明还公开了所述异构二层无线传感器网络的通信方法和建立方法。采用本发明所提供的技术方案,可以在无线传感器网络成本增加不大的前提下,既降低了网络的功耗,提高了网络的稳定性和寿命,又提高了通信的可靠性。此外,在本发明所提供的技术方案中,网络的分组更加迅速。

    扩展巴克斯范式字符串模式匹配和解析的方法及装置

    公开(公告)号:CN1842081A

    公开(公告)日:2006-10-04

    申请号:CN200510059650.4

    申请日:2005-03-30

    CPC classification number: G06F8/427

    Abstract: 本发明涉及一种基于ABNF(扩展巴克斯范式)文法的字符串模式匹配和解析的方法及装置。本发明主要包括:(1)定义了一套适合描述字符串模式规则的指令集;(2)设计了一个编译器,可以直接将ABNF文法描述的协议规则生成用指令集描述的协议规则以及目标代码;(3)根据指令集特点设计硬件解析器,解析器包含专用硬件实现的模块支持相应的指令,可以实现高速字符串模式匹配和解析。采用本发明进行字符串模式匹配和解析的效率大大提高;开发人员可以直接使用ABNF文法来描述协议规则,然后使用编译器生成机器码下载到解析器的内存里,不必用指令集来描述协议规则,这样大大地缩短了开发周期,降低了开发成本。

    协议解析器评测的实现方法及装置

    公开(公告)号:CN1809002A

    公开(公告)日:2006-07-26

    申请号:CN200510002555.0

    申请日:2005-01-21

    Abstract: 本发明涉及一种协议解析器评测的实现方法及装置。本发明中,首先,配置进行解析测试需要的待测试的消息及解析参数,然后,将各种文本编码类协议解析器在统一的测试环境中根据解析参数对待测试的消息进行测试,从而确定各种文本编码类协议解析器的性能参数,便于对各个协议解析器进行综合性能的评测。由于本发明对各种文本编码类协议解析器是在统一的环境下进行性能参数的评测,从而增加了针对各解析器的比较和选择结果的可信度;而且,由于待解析的消息文本和各种评测参数可以根据需要灵活配置,因此,本发明可以对消息解析器进行全面的测试。

    实现SDH逻辑测试的系统及其方法

    公开(公告)号:CN1791033A

    公开(公告)日:2006-06-21

    申请号:CN200410098743.3

    申请日:2004-12-15

    Abstract: 本发明涉及一种实现SDH逻辑测试的系统及其方法。本发明主要包括:测试控制器,成帧器和分析器,当需要进行SDH逻辑测试时,由测试控制器通知成帧器生成相应的SDH数据帧,并发送给被测试SDH逻辑,由被测试SDH逻辑输出的SDH数据帧发送给分析器进行分析获得测试结果。本发明中,发送到被测试SDH逻辑的激励数据为SDH数据帧,而且,还可以对接收的SDH数据帧采用相同的体系结构对其进行分析获得测试结果,因此,本发明大大简化了SDH逻辑测试的处理过程。同时,本发明中还采用了特征匹配的参数管理方法对测试过程中需要的参数进行管理,从而方便了对所述参数的维护管理,且便于扩展。

    扩展巴克斯范式字符串模式匹配和解析的方法及装置

    公开(公告)号:CN1842081B

    公开(公告)日:2010-06-02

    申请号:CN200510059650.4

    申请日:2005-03-30

    CPC classification number: G06F8/427

    Abstract: 本发明涉及一种基于ABNF(扩展巴克斯范式)文法的字符串模式匹配和解析的方法及装置。本发明主要包括:(1)定义了一套适合描述字符串模式规则的指令集;(2)设计了一个编译器,可以直接将ABNF文法描述的协议规则生成用指令集描述的协议规则以及目标代码;(3)根据指令集特点设计硬件解析器,解析器包含专用硬件实现的模块支持相应的指令,可以实现高速字符串模式匹配和解析。采用本发明进行字符串模式匹配和解析的效率大大提高;开发人员可以直接使用ABNF文法来描述协议规则,然后使用编译器生成机器码下载到解析器的内存里,不必用指令集来描述协议规则,这样大大地缩短了开发周期,降低了开发成本。

    一种控制无线传感器网络中节点密度的方法

    公开(公告)号:CN100592699C

    公开(公告)日:2010-02-24

    申请号:CN200610092621.2

    申请日:2006-06-26

    Abstract: 本发明公开了一种控制无线传感器网络中节点密度的方法,设定网络的工作周期,在每个工作周期的竞争阶段,该方法包括:处于判断状态的传感器节点,计算自身如果转为激活状态会产生的总冗余覆盖,并且根据计算结果,判断是否需要进入等待状态,如果需要则进入等待状态,否则进一步判断竞争阶段是否结束,如果结束则进入休眠状态,如果未结束则继续判断是否需要进入等待状态;处于等待状态的传感器节点,根据所述计算结果,判断激活自身后会产生的总冗余覆盖是否最小,如果是则进入激活状态,否则返回判断状态。采用本发明所提供的技术方案,可以在传感器节点的监测区域为任意形状的情况下,尽可能的延长无线传感器网络的工作寿命。

    一种无线传感器网络及其通信和建立方法

    公开(公告)号:CN100591041C

    公开(公告)日:2010-02-17

    申请号:CN200610072691.1

    申请日:2006-04-11

    CPC classification number: Y02D70/00

    Abstract: 本发明公开了一种无线传感器网络,其特征在于,该网络是异构二层网络,分为组间层和组内层,该网络包括:多天线传感器节点,用于在组内层中担任组长节点,与组员节点通信以建立组,并且在组间层中与除自身外其他作为组长的多天线传感器节点和基站通信;单天线传感器节点,用于在组内层中担任组员节点,负责将通过自身传感器采集到的信息发送给组长节点。本发明还公开了所述异构二层无线传感器网络的通信方法和建立方法。采用本发明所提供的技术方案,可以在无线传感器网络成本增加不大的前提下,既降低了网络的功耗,提高了网络的稳定性和寿命,又提高了通信的可靠性。此外,在本发明所提供的技术方案中,网络的分组更加迅速。

Patent Agency Ranking