基于TA的等级转换场景变异测试方法研究

Research on Mutation Test Method of Level Conversion Scenario Based on TA

针对等级转换场景下的变异测试集不完备问题,提出基于时间自动机(Time Automata,TA)的等级转换场景变异测试研究方法。该方法结合时间自动机理论和等级转换操作流程建立TA模型,同时设计15种变异算子对模型进行变异测试,通过计算加权变异分数评估测试案例集的完备性,并对加权变异分数较低的算子进一步修改补充,最终得到了较为完备的变异测试案例集。

Aiming at the incompleteness of the mutation test set in the level conversion scenario,a TA-based research method for the mutation test of the level conversion scenario was proposed.This method combined the theory of time automata and the operation process of level conversion to establish a TA model.At the same time,15 kinds of mutation operators were designed to perform mutation test on the model.The completeness of the test case set was evaluated by calculating the weighted mutation score,and the operators with lower weighted mutation score were further modified and supplemented.Finally,a relatively complete variation test case set was obtained.