[发明专利]一种主次峰值比计算算法的蜕变测试系统

权利要求书

1.一种主次峰值比计算算法的蜕变测试系统，其特征在于，所述主次峰值比计算算法的蜕变测试系统包括：蜕变关系提取模块、附加测试用例生成模块以及验证模块；

所述蜕变关系提取模块用于基于主次峰值比计算算法输入区域图像及邻域图像，并依据主次峰值比计算算法的几何属性、数值属性、算法特性提取蜕变关系；

所述附加测试用例生成模块用于将原始测试用例结合所述蜕变关系生成附加测试用例，将附加测试用例输出至验证模块；

所述验证模块用于将原始测试用例和附加测试用例输入被测程序，验证被测程序是否存在缺陷；

所述几何属性包括：图像几何旋转特点；

所述蜕变关系提取模块包括：横纵坐标系构建单元、X轴水平镜像变换单元、Y轴水平镜像变换单元、Y＝X轴对称镜像变换单元；

在所述蜕变关系提取模块依据图像几何旋转特点提取蜕变关系的过程中，

所述横纵坐标系构建单元用于以区域图像和邻域图像中心为原点，构建横纵坐标系；

所述X轴水平镜像变换单元用于将区域图像和邻域图像绕X轴做水平镜像变换，对应曲面的相关系数矩阵应当保持关于X轴的水平镜像对称关系，主次峰值比计算结果应当保持一致，记为蜕变关系1；

所述Y轴水平镜像变换单元用于将区域图像和邻域图像绕Y轴做水平镜像变换，对应曲面的相关系数矩阵应当保持关于Y轴的水平镜像对称关系，主次峰值比计算结果应当保持一致，记为蜕变关系2；

所述Y＝X轴对称镜像变换单元用于将区域图像和邻域图像绕Y＝X轴做对称变换，对应曲面的相关系数矩阵应当保持关于Y＝X轴的水平镜像对称关系，主次峰值比计算结果应当保持一致，记为蜕变关系3；

所述数值属性包括：输入区域图像和邻域图像的像素值；

所述蜕变关系提取模块还包括线性变换单元；

所述线性变换单元用于对区域图像和邻域图像的像素值分别做出相同线性变换，变换前后的主次峰值比计算结果应当保持一致，记为蜕变关系4；

所述算法特性为对输入的区域图像和邻域图像做降低分辨率处理；

所述蜕变关系提取模块还包括像素点提取单元；

所述像素点提取单元用于将输入的区域图像和邻域图像每行和每列隔一个取一个像素点，使得处理后的图像大小缩小为原图像大小的四分之一；

记区域图像及邻域图像的奇数行奇数列为A11、B11，区域图像及邻域图像的奇数行偶数列为A12、B12，区域图像及邻域图像的偶数行奇数列为A21、B21，区域图像及邻域图像的偶数行偶数列为A22、B22，相应的主次峰值比计算结果依次为MSR11、MSR12、MSR21、MSR22，那么这四个计算结果，应当在设定的差值范围内，记其差值为δ，记为蜕变关系5；

所述附加测试用例生成模块生成附加测试用例时分别通过计算多个候选原始测试用例到它们对应的附加测试用例像素点之间的距离，优先选择距离最大的用例作为下一个测试用例，若有多个候选用例的距离最大，再比较它们到已执行测试用例集合的距离，选择距离最大的作为下一个测试用例，即附加测试用例；所述验证模块用于针对每一对原始测试用例和附加测试用例，输入到被测程序中，查看原始测试输出和附加测试输出是否满足蜕变关系对于输出的要求；

若用例不通过，则说明主次峰值比计算程序存在软件缺陷；

记录当前用例现象后，继续执行其他用例，直至所有用例实施完毕；

依据不通过用例判断主次峰值比计算程序存在软件缺陷位置。