[发明专利]一种解压缩芯片验证方法、装置、设备及可读存储介质

权利要求书

1.一种解压缩芯片验证方法，其特征在于，包括：

确定与解压缩芯片中的解压缩运算匹配的无损压缩算法，并确定基于所述无损压缩算法压缩得到的一个压缩块的各个组成部分；

按照预设的随机约束条件生成每个组成部分分别对应的随机值；所述随机约束条件用于约束压缩数据的码长出现概率呈正态分布或均衡分布；

按照所述无损压缩算法的压缩数据格式和各个随机值生成目标压缩块，并利用所述目标压缩块对所述解压缩芯片进行验证；

其中，所述按照所述无损压缩算法的压缩数据格式和各个随机值生成目标压缩块，包括：

按照各个随机值确定各个压缩片段；

按照所述压缩数据格式拼接各个压缩片段中的有效比特，得到目标压缩块；

其中，所述按照所述压缩数据格式拼接各个压缩片段中的有效比特，得到目标压缩块，包括：

按照所述压缩数据格式将各个压缩片段按序排列，得到目标序列；

设定可扩展字节数的压缩数据流，该压缩数据流在初始状态下不包括任何有效比特；

从所述目标序列的首位置开始，针对每个压缩片段执行下述步骤：确定当前压缩片段中的有效比特数及当前压缩数据流中的空比特数，若所述有效比特数不大于所述空比特数，则用当前压缩片段中的有效比特填充当前压缩数据流中的空比特；否则，控制当前压缩数据流的字节数递增，并用当前压缩片段中的有效比特填充当前压缩数据流中的空比特；

将最终得到的压缩数据流作为所述目标压缩块。

2.根据权利要求1所述的方法，其特征在于，所述利用所述目标压缩块对所述解压缩芯片进行验证，包括：

将所述目标压缩块输入所述解压缩芯片，以使所述解压缩芯片输出第一解压缩数据；

利用与所述解压缩芯片中的解压缩运算相同的解压缩算法对所述目标压缩块解压缩，得到第二解压缩数据；

若所述第一解压缩数据和所述第二解压缩数据一致，则确定所述解压缩芯片对所述目标压缩块解压缩正确；否则，确定所述解压缩芯片对所述目标压缩块解压缩错误。

3.根据权利要求1至2任一项所述的方法，其特征在于，还包括：

若有至少两个随机约束条件，则得到至少两个目标压缩块；

相应地，所述利用所述目标压缩块对所述解压缩芯片进行验证，包括：

拼接所述至少两个目标压缩块，并利用拼接得到的压缩数据对所述解压缩芯片进行验证。

4.根据权利要求3所述的方法，其特征在于，任一目标压缩块的类型为：未压缩、动态压缩或静态压缩。

5.一种解压缩芯片验证装置，其特征在于，包括：

确定模块，用于确定与解压缩芯片中的解压缩运算匹配的无损压缩算法，并确定基于所述无损压缩算法压缩得到的一个压缩块的各个组成部分；

生成模块，用于按照预设的随机约束条件生成每个组成部分分别对应的随机值；所述随机约束条件用于约束压缩数据的码长出现概率呈正态分布或均衡分布；

验证模块，用于按照所述无损压缩算法的压缩数据格式和各个随机值生成目标压缩块，并利用所述目标压缩块对所述解压缩芯片进行验证；

其中，验证模块包括：

确定单元，用于按照各个随机值确定各个压缩片段；

拼接单元，用于按照所述压缩数据格式拼接各个压缩片段中的有效比特，得到目标压缩块；

其中，拼接单元具体用于：

按照所述压缩数据格式将各个压缩片段按序排列，得到目标序列；设定可扩展字节数的压缩数据流，该压缩数据流在初始状态下不包括任何有效比特；从所述目标序列的首位置开始，针对每个压缩片段执行下述步骤：确定当前压缩片段中的有效比特数及当前压缩数据流中的空比特数，若所述有效比特数不大于所述空比特数，则用当前压缩片段中的有效比特填充当前压缩数据流中的空比特；否则，控制当前压缩数据流的字节数递增，并用当前压缩片段中的有效比特填充当前压缩数据流中的空比特；将最终得到的压缩数据流作为所述目标压缩块。

6.一种电子设备，其特征在于，包括：

存储器，用于存储计算机程序；

处理器，用于执行所述计算机程序，以实现如权利要求1至4任一项所述的方法。

7.一种可读存储介质，其特征在于，用于保存计算机程序，其中，所述计算机程序被处理器执行时实现如权利要求1至4任一项所述的方法。