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

宋莉; 李飞; 赵瑜; 赵健

doi:10.13319/j.cnki.sjztddxxbzrb.20210243

石家庄铁道大学学报（自然科学版） ›› 2022, Vol. 35 ›› Issue (01) : 57 -63. DOI: 10.13319/j.cnki.sjztddxxbzrb.20210243

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

宋莉, 李飞, 赵瑜, 赵健

作者信息 +

Author information +

文章历史 +

摘要

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