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

摘要

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