标准号：MZ/T 093-2017 标准名称：中国福利彩票系统彩票随机数检验规范 英文名称：Specification for welfare-lottery system lottery-random-number-test 标准格式：PDF 发布时间：2017-10-18 实施时间：2017-10-18 标准大小：837K 标准介绍：本标准规定了中国福利彩票系统彩票随机数字序列随机性的检验方法、检验过程和检验结果的判本标准适用于中国福利彩票系统彩票随机数序列检验的测试机构和测试人员。 2规范性引用文件 下列文件中的条款通过本规范的引用而成为本规范的条款。凡是注日期的引用文件，其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本规范，但提倡使用本规范的各方探讨使用其最新版本的可能性，凡是不注日期的引用文件，其最新版本适用于本规范 M/T079-2017中国福利彩票系统软件測试规范 M/T0005-2012随机性检测规范 3术语和定义 彩票随机数字序列 lottery random number sequence 在中国福利彩票系统中所使用到的二进制随机数字序列，组成序列的自然数由0和1构成，连续排3.2 彩票随机数字序列随机性 randomness of lottery random number sequence 彩票随机数字序列的随机性表示其具有不可预见性、均一性、可测量性。 3 不可预见性 unpredictability 无论彩票随机数字序列具有多少位，已经产生的数字是什么，下一个产生的数字应是不可预测的同时，利用己经生成的数字也无法推算出种子。 均一性 uniformity 在彩票随机数字序列的任何一位上，出现0或1的概率是相等的，都是1/2 3.5 可测量性 scalability 在彩票随机数字序列上通过的检验应该在序列的子序列中得到同样的验证
本标准规定了中国福利彩票系统彩票随机数字序列随机性的检验方法、检验过程和检验结果的判定。 本标准适用于中国福利彩票系统彩票随机数序列检验的测试机构和测试人员。
本标准按照GB/T 1.1-2009给出的规则起草。
本标准由中国福利彩票发行管理中心提出。
本标准由民政部社会福利和慈善事业促进司归口管理。
本标准起草单位：中国福利彩票发行管理中心。
本标准主要起草人：王素英、栗演兵、张彤、朱志新、戈维周、何天琼、张积涛、韩毅、程良辉、方捷、付小兵、李英华、杜莉婷。
下列文件中的条款通过本规范的引用而成为本规范的条款。凡是注日期的引用文件，其随后所有的修改单（不包括勘误的内容）或修订版均不适用于本规范，但提倡使用本规范的各方探讨使用其最新版本的可能性。凡是不注日期的引用文件，其最新版本适用于本规范。
MZ/T 079-2017 中国福利彩票系统软件测试规范
GM/T 0005-2012 随机性检测规范

ICS35.240
中华人民共和国民政行业标准　MZ/T093—2017
中国福利彩票系统彩票随机数检验规范Specificationfor welfare-lottery system lottery-random-number-tes行业标准信息服务平台
2017-10-18发布
中华人民共和国民政部
2017-10-18实施
行业标准信息服务平台
本标准按照GB/T1.1-2009给出的规则起草。本标准由中国福利彩票发行管理中心提出。本标准由民政部社会福利和慈善事业促进司归口管理。本标准起草单位：中国福利彩票发行管理中心。MZ/T0932017
本标准主要起草人：王素英、栗演兵、张彤、朱志新、戈维周、何天琼、张积涛、韩毅、程良辉、方捷、付小兵、李英华、杜莉婷。行业标准信息服务平台
行业标准信息服务平台
1范围
中国福利彩票系统彩票随机数检验规范MZ/T093—2017
本标准规定了中国福利彩票系统彩票随机数字序列随机性的检验方法、检验过程和检验结果的判定。
本标准适用于中国福利彩票系统彩票随机数序列检验的测试机构和测试人员。2规范性引用文件
下列文件中的条款通过本规范的引用而成为本规范的条款。凡是注日期的引用文件，其随后所有的修改单（不包括勘误的内容）或修订版均不适用于本规范，但提倡使用本规范的各方探讨使用其最新版本的可能性。凡是不注日期的引用文件，其最新版本适用于本规范MZ/T079-2017中国福利彩票系统软件测试规范GM/T0005-2012随机性检测规范
3术语和定义
彩票随机数字序列lotteryrandomnumbersequence在中国福利彩票系统中所使用到的二进制随机数字序列，组成序列的自然数由0和1构成，连续排列。
彩票随机数字序列随机/trandamnessoflotteryrandomnumbersequence彩票随机数字序列的随机性表示真具有不可预见性、均一性、可测量性。3.3
不可预见性unpredictability
同时，利用已经生成的数字也无法推算出种子。3.4
均一性uniformity
在彩票随机数字序列的任何一位上，出现0或1的概率是相等的，都是1/2。3.5
可测量性scalability
在彩票随机数字序列上通过的检验应该在序列的子序列中得到同样的验证。1
块block
彩票随机数字序列中从某一位起，连续的一段二进制数。游程runs
MZ/T0932017
具有同样值的连续的位的序列，在游程前面的位和后面的位则是不同的值或者没有内容。模板template
遵循一定规则建立的具有一定长度的二进制数序列。线性反馈移位寄存器Iinearfeedback shiftregister，LFSR是一组固定长度的数字序列，其中每一位的数字是通过该数字的左一位或右一位数字进行右移或者左移产生，第一位或最后一位的数字则循环进入到最后一位或第一位。3.10
显著性水平significance level随机性检验中错误地判断某一个随机序列为非随机序列的概率。4彩票随机数字序列随机性检验方法集4.1概述
彩票随机数字序列随机性检验方法包括比例检验、块中比例检验、游程总数检验、游程分布检验、块内最长游程检验、二进制矩阵检验、离散傅里叶变换检验、扑克检验、重叠模板匹配检验、通用统计检验、线性复杂度检验斤似验、累积和检验、二元推导检验和自相关检验共十五个检验方法4.2比例检验
检验彩票随机数字序列中0和1出现的次数和所占的比例。检验的目的是确定在被测随机数字序列中，每个数字出现的次数比例应接近于1/2。检验方法是将被测随机数字序列的0和1分别转换成-1和，计算结果并和显著性水平进行比较，4.3块中比例检验
检验彩票随机数字序列的每一块中0和1出现的次数所占的比例。检验的目的是确定在被测随机数字序列的子序列中，0和1出现的次数比例应接近于1/2。检验方法是将被测随机数字序列分成多个非重叠子序列，统计每个子序列中1所占的比列，计算结果并和显著性水平进行比较。
4.4游程总数检验
检验彩票随机数字序列中游程的总数是否服从随机性要求。2
MZ/T093-2017
检验方法是统计被测随机数字序列游程的总数量，统计数字序列中1出现的次数比例，计算结果并和显著性水平进行比较。
4.5游程分布检验
检验彩票随机数字序列中每个游程出现的次数。检验的目的是确定在被测随机数字序列中不同长度的游程的总数符合随机序列的期望值的程度检验方法是统计被测随机数字序列中每一个游程的长度，记录游程的数目，计算结果并和显著性水平进行比较。
4.6块内最长游程检验
检验彩票随机数字序列中在M位区域块中“1”的最长游程。检验的目的是确定在被测随机数字序列中“1”的最长游程的长度和一个随机序列中期望的“1”的最长游程的长度期望值符合的程度。检验方法是将被测随机数字序列分成多个子序列，统计每一个子序列中最大的“1”游程的长度，计算结果并和显著性水平进行比较。4.7二进制矩阵检验
检验彩票随机数字序列的子矩阵的秩。检验的目的是确定在被测随机数字序列中，原始序列的固定长度子串的线性相关。
检验方法是将被测随机数字序列分成子序列，将每一个子序列组成一个矩阵，统计每一个矩阵的秩，计算结果并和显著性水平进行比较4.8离散傅里叶变换检验
检验彩票随机数字序列的离散傅里叶变换的峰值大小。检验的目的是确定在被测随机数字序列中周期性的特征（即相邻的重复样式），和预期的随机数序列的特征相符合的程度。检验方法是将被测随机数字序列的0和1分别转换成-1和1，对得到的新序列进行傅里叶变换，计算结果并和显著性水平进行比较。4.9扑克检验
检验彩票随机数字序列顶先定的目标模板出现的次数。检验的目的是确定在被测随机数字序列中能够多次出现指定的非周期模板们情况与期望的随机数序列的特征值符合的程度。检验中应在数字序列中搜索指定的m位模板，如果这种模没有找到，将往下移动一位开始继续搜索；如果找到了这种模板，将从被发现模板之后的位上开始继续搜素检验方法是将被测随机数字序列划分成多个非重叠列，统计子序列模板出现的频数，计算结您服务
果并和显著性水平进行比较。
4.10重叠模板匹配检验
检验彩票随机数字序列中预先指定的目标模板出现的次数。检验的目的是确定在被测随机数字序列中能够多次出现指定的非周期模板的情况与期望的随机数序列的特征值符合的程度检验中应在数字序列中搜索指定的m位模板，如果这种模板没有找到，将往下移动一位开始继续搜索；如果找到了这种模板，也将往下移动一位开始继续搜索。检验方法是将被测随机数字序列开始的一些位数据添加到序列结尾得到新序列，统计每一种子序列模板出现的频数，计算结果并和显著性水平进行比较。3
4.11通用统计检验
MZ/T093-2017
检验彩票随机数字序列中匹配模板之间相距的位数（这是与压缩过的序列长度相关的一种度量）。检验的目的是确定在被测随机数字序列中能否在没有信息丢失的前提下能够压缩的程度。检验方法是将被测随机数字序列分成初始序列和检验序列，针对初始序列创建一个表，统计表中元素的值，计算结果并和显著性水平进行比较。4.12线性复杂度检验
检验彩票随机数字序列中LFSR的长度。检验的目的是根据被测随机数字序列的复杂度判断其随机性，好的随机序列有较长的LFSR，较短的LFSR表示非随机性。检验方法是将被测随机数字序列划分为多个非重叠子序列，统计每一个子序列的线性复杂度，计算结果并和显著性水平进行比较。4.13近似检验
检验彩票随机数字序列中整个序列的所有可能的重叠的m位模板的概率。检验的目的是在被测随机数学字序列中，把两个连续相邻的长度为（m和m+1）的重叠数据块的概率和期望的结果进行比较，以判断和期望的随机数序列特征值符合的程度。检验方法是将被测随机数字序列开始的部分位数据添加到序列的结尾得到新序列，统计新序列中所有的2m个m位子序列模式的出现频数，计算结果并和显著性水平进行比较。4.14累积和检验
检验彩票随机数字序列中由序列中调整过的（-1，+1）数字进行累积求和得到的最大范围内的随机游程距离。检验的目的是确定在被测随机数字序列中的一部分序列进行累积求和相对于期望的随机序列中一部分序列的累积求和的结果相符合的程度。检验方法是将被测随机数字序列的0和1分别转换为-1和1，统计和，计算结果并和显著性水平进行比较。
4.15二元推导检验
检验彩票随机数字序列中由二元推导生成的一个新的序列，它是通过依次将初始序列中相邻两位0或1作异或操作所得的结果。二元推导检验的目的是判定第k次二元推导序列中0和1的数量是否接近一致。
检验方法是对被测随机数字序列依次将初始序列中目邻两位0或1作异或操作得到新序列，并重复操作，将新序列中的0和1分别转换成-1和1，然后对英累加丈利，计算结果并和显著性水平进行比较。4.16自相关检验
检验彩票随机数字序列与将其逻辑左移d 位后所得新序列的关联程度子检验方法是对被测随机数字序列进行统计，计算结果并和显著性水平进行比5彩票随机数字序列随机性检验的过程5.1样本准备wwW.bzxz.Net
检验样本为在中国福利彩票系统中所使用到的二进制随机数字序列，宜采用二进制文件采集和存储。文件名以采集日期和时间组合方式命名。4
5.2计划
MZ/T093—2017
检验前应制定检验计划，并对计划进行评审。计划及评审的要求应符合MZ/T079-2017《中国福利彩票系统软件测试规范》中有关测试计划的要求。5.3设计
应进行检验的设计，并对设计进行评审。设计及评审的要求应符合MZ/T079-2017《中国福利彩票系统软件测试规范》中有关测试设计的要求。5.4执行
使用第4章所列出的全部方法，按照检验设计对彩票随机数字序列样本进行检验。执行检验的要求应符合MZ/T079-2017《中国福利彩票系统软件测试规范》中有关测试执行的要求。检验结果的计算方法应符合GM/T0005-2012《随机性检测规范》的要求。5.5总结
检验完毕后应对检验进行总结，并对总结进行评审。总结及评审的要求应符合MZ/T079-2017《中国福利彩票系统软件测试规范》中有关测试总结的要求。彩票随机数字序列随机性的判定5
对于本标准第4章中的每一个随机性检验方法，若一个样本的计算结果不小于显著性水平，则表示该样本通过该方法检验。
s(1-a-3
若样本数量为s，显著性水平为，则通过检验的样本个数应不小于a(1-a)
显著性水平取值宜在[0.001，0.01]之间。行业标准信息服务平台
若通过的样本个数不小于上述值，则彩票随机数字序列通过此方法检验；否则，未通过此方法检验。
参考文献
MZ/T0932017
[1]NIST SP800-22 revl,A Statistical Test Suite for Random and Pseudorandom Number Generators forCryptographicApplications
行业标准信息服务平台
小提示：此标准内容仅展示完整标准里的部分截取内容，若需要完整标准请到上方自行免费下载完整标准文档。