Research on Error Detection Efficiency of Metamorphic Relations in Matrix Multiplication Program
In order to improve the error detection efficiency of aircraft procedures and to guarantee the telemetry data process-ing 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 pro-gram 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.
matrix multiplicationmetamorphic relationrandom test casespecial test case
万方数据
维普
