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.
关键词
矩阵乘法/蜕变关系/随机测试用例/特殊测试用例
Key words
matrix multiplication/metamorphic relation/random test case/special test case
维普
万方数据