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

    公开(公告)号:CN100382516C

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

    申请号:CN200510053504.0

    申请日:2005-03-08

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

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

    公开(公告)号:CN1832435A

    公开(公告)日:2006-09-13

    申请号:CN200510053504.0

    申请日:2005-03-08

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

    基于构造类别代数的协议描述及其测试序列生成方法

    公开(公告)号:CN1761216A

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

    申请号:CN200410064946.0

    申请日:2004-10-14

    Abstract: 基于构造类别代数的协议描述及其测试序列生成方法是一种用于通信协议一致性测试的方法,通信协议描述方法为:确定协议文本中的数据部分和控制部分,将其作为待描述的实体对象;对某个实体对象,根据协议文本的描述,对某个实体对象,协议中描述了该对象的生成操作,对某个实体对象,协议中定义了对该对象的各种操作,对某个实体对象,协议中定义了对该对象的限制和要求,测试序列产生方法为:根据测试环境中对被测体的操作和观察接口,将其在协议描述中的对应部分确定为可观察函数;对类别代数规范中的各个等式公理,按照规则匹配的方式进行重写;将其中构造函数替换为对被测体执行的操作,将可观察函数替换为进行的观察操作,从而生成测试序列。

Patent Agency Ranking