CAJ | 학술논문

提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.
제출료기우세변측시방법적집성측시배경MTest,진이위검험세변측시방법적능력화효솔,이희소구진승법정서위례설계료일조실험.해실험기우변이분석기술,분별이mutation score화착오발현솔위도량지표,정량지분석화대비료특수용례측시,이특수측시용례화수궤측시용례위원측시용례적세변측시저3충방법적측시능력화효솔.해실험가재MTest측시배경하자동완성.실험결과표명,세변측시여특수용례측시지간시호보적,이차취세변측시적원측시용례이언,수궤측시용례재측시능력화효솔상우우특수측시용례.
This paper presents an integrated metamorphic testing environment MTest and reports an experimental analysis of the effectiveness of metamorphic testing, which is carried out using MTest with a real program of sparse matrix multiplication. Quantitative evaluation and comparison of special case testing, metamorphic testing with special and random test cases are illustrated with two measurements: mutation score and fault detection ratio. The case study shows that metamorphic testing and special case testing are complementary to each other, and with respect to source test case for metamorphic testing, random test cases are preferred to special test cases.