安全传输层协议模块验证系统技术方案

本申请提供了一种安全传输层协议模块验证系统

【技术实现步骤摘要】
安全传输层协议模块验证系统、方法、设备以及存储介质


[0001]本专利技术涉及芯片领域，尤其涉及一种安全传输层协议模块验证系统
、
方法
、
设备以及存储介质
。

技术介绍

[0002]在生成芯片之前，对写入芯片的代码模块进行验证是非常重要的
。
一旦代码出错，则很可能导致量产的芯片全部报废
。
但是，对芯片的验证是非常困难的，因为，需要对各种可能的场景都验证过了，才能确保生产出来的芯片是没问题的
。
目前，在大多数的芯片验证中，大多数的使用
verilog
，
systemverilog
去进行验证工作
。
但是，采用这些框架进行验证是非常古板，对不同的场景的验证都必须重新编写代码进行验证，导致开发人员的工作量非常大，而且，没法对各种场景都进行验证
。

技术实现思路

[0003]本专利技术实施例提供了一种安全传输层协议模块验证系统
、
方法
、
设备以及存储介质，能够便利地对安全传输层协议模块进行验证
。
[0004]第一方面，提供了一种安全传输层协议模块验证系统，包括：
[0005]顺序控制器，用于基于输入的测试用例生成事务序列，其中，所述测试用例包括多个激励报文以及所述多个激励报文的预期结果，所述事务序列包括对多个激励报文分别进行测试的多个测试事务，所述多个激励报文是基于同一个报文原型采用不同的报文约束生成的，所述报文约束包括会话标识，所述会话标识是会话的唯一标识，用于表示会话标识所在的激励报文所属的会话；
[0006]驱动器，用于将事务序列转化为输入电信号发送给安全传输层协议模块；
[0007]监视器，用于对所述安全传输层协议模块的输出电信号进行采样，得到多个输出报文，其中，所述输出报文是所述安全传输层协议模块按照与对应的激励报文所采用的报文约束对应的操作进行处理得到的；
[0008]比对模块，用于将所述多个输出报文分别按照对应的激励报文所采用的报文约束从多种比对方式中选择对应的比对方式和从所述安全传输层协议模块的输入端口采样得到的多个激励报文的预期结果进行比对，从而确定所述安全传输层协议模块是否正确
。
[0009]在一些可能的设计中，所述报文约束包括描述符，所述描述符用于表征对应的激励报文是安全传输层协议报文还是非安全传输层协议报文
。
[0010]在一些可能的设计中，所述描述符对应的激励报文是安全传输层协议报文；
[0011]所述监视器用于对所述安全传输层协议模块进行采样，得到对所述安全传输层协议报文采用对称加密的方式进行加密得到加密报文；
[0012]所述比对模块用于将所述加密报文按照其选择的加密方式对应的解密方式解密得到解密报文，并将所述解密报文和从所述安全传输层协议模块的输入端口采样得到的所述安全传输层协议报文的预期结果进行比对
。
[0013]在一些可能的设计中，所述测试用例包括为安全传输层协议报文中的至少两个安全传输层协议报文分别设置不同的密钥表项；
[0014]所述监视器用于对所述安全传输层协议模块进行采样，得到对所述安全传输层协议报文中的至少两个安全传输层协议报文结合不同的密钥表项以及对称加密的方式进行加密得到加密报文
。
[0015]在一些可能的设计中，所述描述符对应的激励报文是非安全传输层协议报文；
[0016]监视器还用于对所述安全传输层协议模块进行采样，得到采样的非安全传输层协议报文；
[0017]比对模块还用于将所述非安全传输层协议报文和从所述安全传输层协议模块的输入端口采样得到的所述非安全传输层协议报文的预期结果进行比对
。
[0018]在一些可能的设计中，所述多个激励报文包括安全传输层协议报文以及非安全传输层协议报文，其中，不同的安全传输层协议报文各自对应的报文约束中至少会话标识不同，不同的非安全传输层协议报文的各自对应的报文约束中至少会话标识不同，安全传输层协议报文和非安全传输层协议报文各自对应的报文约束中至少会话标识以及描述符不同
。
[0019]在一些可能的设计中，所述报文约束还包括报文长度
、
负载内容中的一种或者多种
。
[0020]在一些可能的设计中，所述多个激励报文，包括：第一激励报文，其中，所述第一激励报文的会话标识为第一会话标识，描述符为第一描述符，报文长度为第一报文长度，负载内容为第一负载内容；第二激励报文，其中，所述第二激励报文的会话标识为第二会话标识，描述符为第一描述符，报文长度为第二报文长度，负载内容为第二负载内容；第三激励报文，其中，所述第三激励报文的会话标识为第三会话标识，描述符为第二描述符，报文长度为第一报文长度，负载内容为第二负载内容；第四激励报文，其中，所述第四激励报文的会话标识为第四会话标识，描述符为第二描述符，报文长度为第二报文长度，负载内容为第一负载内容
。
[0021]在一些可能的设计中，所述多个激励报文的会话标识覆盖所有可能的会话标识，所述多个激励报文的所述报文长度覆盖所有可能的报文长度
。
[0022]在一些可能的设计中，所述安全传输层协议模块用于烧入现场可编程门阵列芯片或者专用集成电路芯片中
。
[0023]第二方面，提供了一种安全传输层协议模块验证方法，包括如下步骤：
[0024]通过顺序控制器基于输入的测试用例生成事务序列，其中，所述测试用例包括多个激励报文以及所述多个激励报文的预期结果，所述事务序列包括对多个激励报文分别进行测试的多个测试事务，所述多个激励报文是基于同一个报文原型采用不同的报文约束生成的，所述报文约束包括会话标识，所述会话标识是会话的唯一标识，用于表示会话标识所在的激励报文所属的会话；
[0025]通过驱动器将事务序列转化为输入电信号发送给安全传输层协议模块；
[0026]通过监视器对所述安全传输层协议模块的输出电信号进行采样，得到多个输出报文，其中，所述输出报文是所述安全传输层协议模块按照与对应的激励报文所采用的报文约束对应的操作进行处理得到的；
[0027]通过比对模块将所述多个输出报文分别按照对应的激励报文所采用的报文约束从多种比对方式中选择对应的比对方式和从所述安全传输层协议模块的输入端口采样得到的多个激励报文的预期结果进行比对，从而确定所述安全传输层协议模块是否正确
。
[0028]第三方面，提供了一种计算机设备，所述计算机设备包括存储器
、
处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序，所述处理器执行所述计算机程序时实现根据第二方面所述的方法
。
[0029]第四方面，提供了一种计算机可读存储介质，所述计算机可读存储介质存储有计算机指令，当所述计算机指令在计算机设备上运行时使得所述计算机设备本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.
一种安全传输层协议模块验证系统，其特征在于，包括：顺序控制器，用于基于输入的测试用例生成事务序列，其中，所述测试用例包括多个激励报文以及所述多个激励报文的预期结果，所述事务序列包括对多个激励报文分别进行测试的多个测试事务，所述多个激励报文是基于同一个报文原型采用不同的报文约束生成的，所述报文约束包括会话标识，所述会话标识是会话的唯一标识，用于表示会话标识所在的激励报文所属的会话；驱动器，用于将事务序列转化为输入电信号发送给安全传输层协议模块；监视器，用于对所述安全传输层协议模块的输出电信号进行采样，得到多个输出报文，其中，所述输出报文是所述安全传输层协议模块按照与对应的激励报文所采用的报文约束对应的操作进行处理得到的；比对模块，用于将所述多个输出报文分别按照对应的激励报文所采用的报文约束从多种比对方式中选择对应的比对方式和从所述安全传输层协议模块的输入端口采样得到的多个激励报文的预期结果进行比对，从而确定所述安全传输层协议模块是否正确
。2.
根据权利要求1所述的系统，其特征在于，所述报文约束包括描述符，所述描述符用于表征对应的激励报文是安全传输层协议报文还是非安全传输层协议报文
。3.
根据权利要求2所述的系统，其特征在于，所述描述符对应的激励报文是安全传输层协议报文；所述监视器用于对所述安全传输层协议模块进行采样，得到对所述安全传输层协议报文采用对称加密的方式进行加密得到加密报文；所述比对模块用于将所述加密报文按照其选择的加密方式对应的解密方式解密得到解密报文，并将所述解密报文和从所述安全传输层协议模块的输入端口采样得到的所述安全传输层协议报文的预期结果进行比对
。4.
根据权利要求3所述的系统，其特征在于，所述测试用例包括为安全传输层协议报文中的至少两个安全传输层协议报文分别设置不同的密钥表项；所述监视器用于对所述安全传输层协议模块进行采样，得到对所述安全传输层协议报文中的至少两个安全传输层协议报文结合不同的密钥表项以及对称加密的方式进行加密得到加密报文
。5.
根据权利要求2所述的系统，其特征在于，所述描述符对应的激励报文是非安全传输层协议报文；监视器还用于对所述安全传输层协议模块进行采样，得到采样的非安全传输层协议报文；比对模块还用于将所述非安全传输层协议报文和从所述安全传输层协议模块的输入端口采样得到的所述非安全传输层协议报文的预期结果进行比对
。6.
根据权利要求2‑4任一项所述的系统，其特征在于，所述多个激励报文包括安全传输层协议报文以及非安全传输层协议报文，其中，不同的安全传输层协议报文各自对应的报文约束中至少会话标识不同，不同的非安全传输层协议报文的各自对应的报文约束中至少会话标识不同，安全传输层协议报文和非安全传输层协议报文各自对应的报文约束中至少会话标识以及描述符不同
。...

【专利技术属性】
技术研发人员：谢日昌，
申请(专利权)人：珠海星云智联科技有限公司，
类型：发明
国别省市：