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

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