矩阵乘法程序的蜕变关系检错效率研究  

Research on Error Detection Efficiency of Metamorphic Relations in Matrix Multiplication Program

作　　者：邱舒婷 张志国[1] 王万金[1] QIU Shuting;ZHANG Zhiguo;WANG Wanjin(No.91550 Troops of PLA,Dalian 116021)

机构地区：[1]中国人民解放军91550部队,大连116021

出　　处：《计算机与数字工程》2024年第8期2425-2429,共5页Computer & Digital Engineering

摘　　要：为了提高飞行器程序的检错效率,更高效地保障遥测数据处理程序,论文在已有的研究基础上,分别以随机测试用例和特殊测试用例作为原始测试用例进行蜕变测试。首先选取一个一般的矩阵乘法程序,在程序中植入五个变异,全面地构造出包含了矩阵乘法所有属性的10条蜕变关系,并用这些蜕变关系对程序进行检错效率分析。实验结果表明,用一般的测试用例与特殊测试用例进行的蜕变测试结果是互补的,并且总体而言选取一般的测试用例作为原始测试用例的测试效果要优于用特殊测试用例进行蜕变测试。In order to improve the error detection efficiency of aircraft procedures and to guarantee the telemetry data processing program more efficiently,the random test cases and special test cases are both used as the original test cases for metamorphic testing which based on the existing research.Firstly,five mutants are implanted in a selected matrix multiplication program and ten metamorphic relations containing all of the attributes of matrix multiplication are constructed comprehensively,and then the program is analyzed by these relations.Experimental results show that the results of metamorphic test with general test cases and special test cases are complementary,and in general,the test effect of selecting general test cases as original test cases is better than that of special test cases for metamorphic testing.

关 键 词：矩阵乘法 蜕变关系 随机测试用例 特殊测试用例 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]