[发明专利]分布式包交换芯片模型验证系统及验证方法

权利要求书

1.一种分布式包交换芯片模型验证系统，其特征在于：包括核心控制模块、命令行接口模块、SDK代理接口模块、虚拟网络测试仪表模块、虚拟芯片配置模块和C模型封装模块，其中，核心控制模块属于服务端程序模块，命令行接口模块、SDK代理接口模块、虚拟网络测试仪表模块、虚拟芯片配置模块和C模型封装模块属于客户端程序模块，该验证系统属于客户端-服务端-客户端C/S/C结构的分布式系统，同时支持3种应用场景：系统功能模型验证、软硬协同仿真验证、原型验证，不同的应用场景下所需模块不同；

核心控制模块，用于：管理与之相连的命令行接口模块、SDK代理接口模块、虚拟网络测试仪表模块之间传递的消息，完成全局配置文件和程序模块间专有消息的转发、复制、广播、分类、保存、统计，同时维护消息通道的连接；

命令行接口模块，用于：读取由用户定制的全局配置文件，根据读取的应用场景配置参数启动当前应用场景所需的程序模块，待C/S/C的连接初始化后，为芯片开发人员提供命令行接口，完成测试用例的定制和编辑；

SDK代理接口模块，用于：接收核心控制模块发来的待测包交换芯片配置，根据待测包交换芯片配置调用SDK软件，驱动待测包交换芯片的模型/原型正常运行；

虚拟网络测试仪表模块，用于：模拟真实的网络测试仪表，根据核心控制模块转发的待测包交换芯片测试激励配置消息和响应检查配置消息，完成数据包的发送、接收、校验和统计；

虚拟芯片配置模块，仅用在系统功能模型验证应用场景下，用于保存、更新、查询待测包交换芯片的寄存器配置和包处理协议表项；

C模型封装模块，用于：读取虚拟芯片配置模块中的待测包交换芯片配置，接收测试模块发来的测试激励，将待测包交换芯片配置和测试激励送给封装在其内部的包交换芯片模型处理，将该包交换芯片模型处理后的结果发送到测试模块；C模型封装模块仅在系统功能模型验证应用场景下启用，使包交换芯片模型连接到本分布式系统中。

2.如权利要求1所述的分布式包交换芯片模型验证系统，其特征在于：所述全局配置文件包括应用场景、模型类型、服务端进程配置信息和若干客户端进程配置信息，应用场景设置为系统功能模型验证、软硬协同仿真验证、原型验证中的一种，用于控制不同的应用场景中所需程序模块的使能及运行方式；模型类型根据待测芯片的不同模块的模型被设置成不同标识，仅用在系统功能模型验证应用场景下，C模型封装模块根据模型标识动态链接对应的C模型的目标文件；服务端进程配置信息包括IP地址、端口号、进程类型和设备号，客户端进程配置信息包括进程类型和设备号，IP地址和端口号用于创建服务器端程序模块和客户端程序模块之间的网络套接字连接，构建程序模块间的消息通道；进程类型被设置成不同的进程标识，用于区分不同的模块类型；在非组网测试中，核心控制模块将按照进程类型来进行对应的操作；设备号用于区分程序模块测试的待测芯片，在组网测试中，每个待测芯片都存在唯一的设备号，在组网测试中，核心控制模块将按照设备号、进程类型来进行对应的操作，在非组网测试中，设备号被系统忽略。

3.如权利要求1所述的分布式包交换芯片模型验证系统，其特征在于：所述程序模块间专有消息包括6个消息域：设备号、来源进程类型、目标进程类型、命令状态、消息号、消息内容，其中，设备号用于区分程序模块测试的待测芯片，在组网测试中，每个待测芯片都存在唯一的设备号，在组网测试中，核心控制模块将按照设备号、进程类型来进行对应的操作，在非组网测试中，设备号被系统忽略；来源进程类型和目标进程类型用于表示一个消息的来源和目标，便于核心控制模块将按照进程类型进行转发，同时用于和消息号一同计算得出全局消息号；命令状态用于表示一个消息的基本返回状态；消息号用于区分同一类程序模块内不同的消息，核心控制模块根据全局消息号进行操作；消息内容是各个消息号对应的具体消息内容。

4.如权利要求3所述的分布式包交换芯片模型验证系统，其特征在于：所述命令状态包括正确返回、命令错误和命令超时3种状态。

5.如权利要求3所述的分布式包交换芯片模型验证系统，其特征在于：所述具体消息内容包括子消息、字符串信息和协议报文。

6.如权利要求3所述的分布式包交换芯片模型验证系统，其特征在于：每一类程序模块内部的消息号是独立编号的，对于整个分布式系统而言，全局消息号=目标进程类型的全局起始消息编号+消息号。